स्थूल परिस्थिती
अ आणि ब व्हेरिएबल्सचे स्टेटमेंट आहेत (जी भाषेतील कोणत्याही अर्थपूर्ण वाक्यात बदलले जाऊ शकते). या स्वरूपाच्या वक्त्यात, ए येथे पहिला पद असावा, ज्याला पूर्वीचे नाव देण्यात आले; दुसरे पद जे बी, नंतरचे भूतकाळातील सत्य म्हणजे दुय्यम तुकड्यांची खरी अट आहे आणि नंतरचे सत्य हे पूर्वीच्या पूर्वार्हासाठी खरे पूर्वापेक्षित आहे. हा ऑपरेटर उजव्या बाण "→" (कधीकधी "⇒" किंवा "⊃") वापरुन चिन्हांकित केले आहे, आणि "जर अ सत्य आहे, तर ब सत्य आहे" असे लिहिले आहे: ▪ ▪