परिणाम की पुष्टि: क्या p→q, q ⊨ p वैध है?

यह भ्रांति है: p → q के साथ q होने पर भी p अनिश्चित रहता है, क्योंकि q ऐसे कारणों से सत्य हो सकता है जिनका p से कोई संबंध नहीं। नीचे की खुली शाखा प्रति-मॉडल देती है।