"Giriş yaparak Mintik'in Hizmet Şartlarını kabul ettiğinizi ve Gizlilik Politikasının geçerli olduğunu onayladığınızı kabul etmiş olursunuz."
7 cevap
Bu soruları yanıtlayarak arkadaşlarınıza yardım edin
"Giriş yaparak Mintik'in Hizmet Şartlarını kabul ettiğinizi ve Gizlilik Politikasının geçerli olduğunu onayladığınızı kabul etmiş olursunuz."
Mantıkta P⇒Q koşullu önermesi, ¬P∨Q ile tamamen denktir.
Bu, koşullu önermeyi yalnızca iki basit işlemle (DEĞİL ve VEYA) ifade etmemizi sağlar.
Bu dönüşüm karmaşık mantık ifadelerini sadeleştirmede çok işe yarar.
Doğruluk tablosu bunu net gösterir:
Tablodan görüldüğü gibi, P⇒Q sütunu ile ¬P∨Q sütunu birebir aynıdır.
Bu da iki önermenin tamamen denk olduğunu kanıtlar.
P⇒Q önermesi ile ¬P∨Q birbirine denktir.
Doğruluk tablosu incelendiğinde bunu açıkça görürsün:
P=1, Q=0 olduğunda her ikisi de yanlış (0).
Diğer tüm durumlarda doğru (1).
Bu yüzden P⇒Q ≡ ¬P∨Q denklemi her zaman geçerlidir.
“P ise Q” önermesinin mantıksal eşdeğeri ¬P∨Q’dur.
Yani P⇒Q ≡ ¬P∨Q.
Bu dönüşüm, koşullu önermeleri yalnızca VEYA ve DEĞİL işlemleriyle ifade etmemizi sağlar.
Fizikte veya mühendislikte kullanılan mantık devrelerinde de aynı ilişki geçerlidir.
Kısaca söyleyeyim: P⇒Q, ¬P∨Q demektir.
Eğer P yanlışsa, zaten sonuç doğru olur.
P doğruysa, Q’nun da doğru olması gerekir ki önerme doğru çıksın.
Bu tam olarak ¬P∨Q’nun çalıştığı mantıktır.
P⇒Q, doğrudan ¬P∨Q’ya eşittir.
Bu, mantıkta ezberlenmesi gereken temel denklerden biri.
Yani “P değil” veya “Q” doğruysa, “P ise Q” önermesi de doğrudur.
Kısacası formül: ¬P∨Q. Fazla düşünmeye gerek yok.
P⇒Q ifadesi, mantıkta “P ise Q” veya “P, Q’yu gerektirir” diye okunur.
Bu, koşullu önerme olarak adlandırılır.
Mantıksal olarak P⇒Q, ¬P∨Q ifadesine denktir.
Yani:
P⇒Q ≡ ¬P∨Q
Türkçeye çevirirsek:
“P ise Q” önermesi, “P’nin değili veya Q” önermesine eşittir.
Bu neden geçerlidir? Çünkü P⇒Q sadece bir durumda yanlıştır:
P doğruyken (1) ve Q yanlışken (0).
Aynı durumda ¬P∨Q’ya bakalım:
P=1 iken ¬P=0 olur. Q=0 ise 0∨0=0 çıkar, yani yanlış.
Diğer tüm olasılıklarda her iki önerme de doğrudur.
Kısacası, “P⇒Q” demek, P’nin olmaması veya Q’nun doğru olması demektir.
Bu denklik mantıkta çok kullanılır, özellikle de ispatlarda.
“P ise Q” demek, “P’nin değili veya Q” demektir, yani ¬P∨Q.
Geometride bir teoremi ispatlarken genelde P’nin doğru, Q’nun yanlış olduğunu varsayıp çelişki buluruz.
Bu da aslında P⇒Q’nun yanlış olduğu tek duruma denk gelir.
¬P∨Q ifadesi de aynı kuralı taşır.