Soru
(p=>q) =>q onermesinin degili nedir
Çözüm
4.3
(211 Oylar)
Polat
Kıdemli · 9 yıl öğretmeni
Uzman doğrulaması
Cevap
Cevap: (p=>q) =>q önermesinin değili, mantık formülleri doğru mu yanlış mıdır şeklinde incelenebilir. Bu durumda De Morgan's kanunu kullanılır. De Morgan's kanunu iddia edilen bir ifadeyi yeniden yapılandırma prensibidir. Bu formül "(p => q) => q 'değil" olduğu için, ifadeyi değiştirmeliyiz, böylece doğru eşdeğer ifadeyi bulabiliriz. Bu, şöyle özetlenebilir:1. "P => Q" ifadesi "P'nin olmayışının Q'nun varlığına eşit olduğunu" ifade eder.2. "P => Q" ifadesinin değili olan "(P => Q)'nun değil" ifadesi "P'nin olan Q'nun olduğuna eşit değildir" ifade eder.3. Bu da bize "(P ve Q' değil)" ifadesini verir.4. Bu ifadenin değili bize "P ve Q' değil" ifadesini verir.Sonuç olarak, (p=>q) =>q önermesinin değili "P ve Q' değil" ifadesidir.