De Morgan kuralına göre ¬(p ∧ q) ifadesinin eşdeğeri nedir?
Mantıkta, De Morgan kuralları, bir ifadenin olumsuzlamasını (değillemesini) dağıtmamıza yardımcı olan çok önemli iki kuraldır. Bu kurallar, özellikle bileşik önermelerin değillerini alırken kullanılır.
De Morgan kurallarını hatırlayalım:
Şimdi sorumuzdaki ifadeye dikkatlice bakalım: $¬(p \land q)$.
Bu ifade, De Morgan kurallarının Birinci Kuralı ile birebir aynı yapıdadır. Kuralı adım adım uygulayarak ifadenin eşdeğerini bulalım:
Bu adımları birleştirdiğimizde, $¬(p \land q)$ ifadesinin eşdeğeri $¬p \lor ¬q$ olarak bulunur.
Şimdi seçeneklerimizi inceleyelim:
Bulduğumuz sonuç olan $¬p \lor ¬q$, A seçeneğinde yer almaktadır.
Cevap A seçeneğidir.