Totoloji Belirleme
Yayınlanma:
15. I. $(p' ightarrow q) extbf{ } extbf{ } p'$
II. $(p extbf{ } extbf{ } p extbf{ } extbf{ } p) ext{<=>} (p' extbf{ } extbf{ } p' extbf{ } extbf{ } p') $
III. $(p ightarrow q)' extbf{ } extbf{ } p'$
önermelerinden hangileri totolojidir?
A) Yalnız I B) Yalnız II C) Yalnız III
D) I ve II E) II ve III
Animasyonlu Video Çözüm
İlk yarısı ücretsiz izlenebilir, tamamı uygulamada.
Adım Adım Yazılı Çözüm
Selam İrem, bu soruda verilen önermelerden hangilerinin totoloji, yani her zaman doğru olduğunu bulacağız.
Mantık: Totoloji Analizi
Birinci önermeyle başlayalım: p'nin değili ise q, veya p'nin değili.
İse bağlacını veya bağlacına çevirelim. Birincinin değilini alırız, yani p'nin değilinin değili p olur.
Birleşme özelliğini kullanarak p ve p'nin değilini yan yana getirdiğimizde, p veya p'nin değili her zaman birdir.
Burası bir olduğu için sonuç bir veya q olur, bu da daima birdir. Yani birinci önerme bir totolojidir.
Şimdi ikinci önermeye bakalım. p ve p ve p, ancak ve ancak p'nin değili veya p'nin değili veya p'nin değili.
Tek kuvvet özelliğinden dolayı sol taraf p, sağ taraf ise p'nin değili olur.
Ancak ve ancak bağlacında iki taraf birbirinden farklıysa sonuç daima sıfırdır. Bu bir çelişkidir, totoloji değildir.
Çözümün devamı Solvi’de
8 adım daha kilitli. Tamamını animasyonlu ve sesli anlatımla ücretsiz izle.
Fotoğrafını çek, her soruyu böyle çöz.
Çözümün Devamını Ücretsiz İzleİndirmesi ücretsiz · İlk çözümler hediye