स्थाई परिस्थितियां
जहां ए और बी चर के बयान हैं (जो भाषा में किसी भी अर्थपूर्ण वाक्य से बदला जा सकता है)। बयान के इस रूप में, पहले शब्द ए, जिसे पूर्व कहा जाता है; दूसरा शब्द यहां बी, जिसे बाद में कहा जाता है पूर्व की सच्चाई पिछली पीठ की सच्ची स्थिति है, और बाद की सच्चाई पूर्व के लिए सच्ची पूर्वापेक्षा है। यह ऑपरेटर सही तीर "→" (कभी-कभी प्रतीक "⇒" या "⊃") का उपयोग करके प्रतीक है, और "अगर एक सच है, तो बी सच है" निम्नानुसार लिखा है: ▪ ▪