9.1.1.3 — 9. Sınıf · Mantık

Koşullu önermeyi ve iki yönlü koşullu önermeyi açıklar.

• a) Koşullu önermenin karşıtı, tersi, karşıt tersi verilir.
• b) 𝑝𝑝 ⇒ 𝑞𝑞 ≡ 𝑝𝑝′ ∨ 𝑞𝑞 olduğu doğruluk tablosu yardımıyla gösterilir.
• c) ‘‘ ve, veya, ya da, ise’’ bağlaçları kullanılarak verilen, en fazla üç önerme içeren ve en fazla dört bileşenli bileşik önermelere denk basit önermeler buldurulur.
• ç) 𝑝𝑝 ⇔ 𝑞𝑞 ≡ (𝑝𝑝 ⇒ 𝑞𝑞) ∧ (𝑞𝑞 ⇒ 𝑝𝑝) olduğu doğruluk tablosu ile gösterilir.