Verilen bileşik önerme \(1 \Rightarrow p\)'dir.

• Önermeler mantığında, bir koşullu önerme olan \(A \Rightarrow B\), \(\neg A \lor B\) önermesine denktir.
• Bu kuralı kullanarak, \(1 \Rightarrow p\) önermesini açalım:

  \(1 \Rightarrow p \equiv \neg 1 \lor p\)

• Burada '1' doğru (True) değeri temsil eder. Dolayısıyla, \(\neg 1\) yanlış (False) değerini temsil eder, yani '0'a denktir.
• Bu bilgiyi yerine koyarsak:

  \(\neg 1 \lor p \equiv 0 \lor p\)

• '0' ile herhangi bir önermenin veya bağlacı (disjunction) her zaman o önermenin kendisine denktir. Çünkü eğer \(p\) doğruysa sonuç doğru, eğer \(p\) yanlışsa sonuç yanlıştır.

  \(0 \lor p \equiv p\)

• Bu durumda, \(1 \Rightarrow p\) bileşik önermesi p önermesine denktir.

Seçeneklere baktığımızda, bu sonuç C seçeneği ile uyuşmaktadır.

Cevap C seçeneğidir.