P VQ neye denktir?
İki önerme, kendilerini oluşturan bileşenlerinin tüm doğruluk değeri kümesi için aynı doğruluk değerin sahipse bu iki önerme mantıksal eşdeğerdir denir. P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir.
İki önerme, kendilerini oluşturan bileşenlerinin tüm doğruluk değeri kümesi için aynı doğruluk değerin sahipse bu iki önerme mantıksal eşdeğerdir denir. P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir.