Mantık Önermesi Sadeleştirme Sorusu
Yayınlanma:
$p \iff (q' \Rightarrow p')$ önermesi aşağıdakilerden hangisine kesinlikle denktir? A) $p \Rightarrow q$ B) $p \wedge q$ C) $p \Rightarrow q$ (not visible in image) D) $p \vee q$ E) $p \veebar q$
Animasyonlu Video Çözüm
İlk yarısı ücretsiz izlenebilir, tamamı uygulamada.
Adım Adım Yazılı Çözüm
Merhaba arkadaşlar. Bugün mantık konusundan, bir önermenin en sade halini bulmamızı isteyen güzel bir soruyu birlikte çözeceğiz.
Mantık: Önerme Sadeleştirme
Bize verilen önermeyi inceleyelim. p ancak ve ancak, parantez içinde q'nun değili ise p'nin değili ifadesini görüyoruz.
İlk adım olarak parantez içindeki ise bağlacını sadeleştirelim. Koşullu önermelerde karşıt tersi kuralını hatırlayalım: q'nun değili ise p'nin değili, p ise q önermesine denktir.
Bulduğumuz bu denkliği ana ifademizde yerine yazalım. Artık önermemiz, p ancak ve ancak, p ise q şekline dönüştü.
Şimdi ise bağlacını veya cinsinden yazalım. p ise q, p'nin değili veya q ifadesine denktir.
Ancak ve ancak bağlacının tanımını kullanarak devam edelim. x ancak ve ancak y ifadesi, her ikisinin de doğru olduğu veya her ikisinin de yanlış olduğu durumlara denktir.
Çözüme Devam Edelim
Bizim durumumuzda x yerine p, y yerine ise p'nin değili veya q yazalım. İlk parça p ve parantez içinde p'nin değili veya q olur.
Bu ifadede dağılma özelliğini uygulayalım. p ve p'nin değili, veya p ve q elde ederiz.
Çözümün devamı Solvi’de
7 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
