Question

Difficulty: MediumKoşullu ve İki Yönlü Koşullu Önermeler

Her pp ve qq önermesi için, pqp \Rightarrow q koşullu önermesinin karşıtı ile tersinin veya bağlacı cinsinden eşdeğerleri her zaman birbirine denktir.

Answer: Answer

Answer

Verilen ifade doğrudur.
Verilen önermenin karşıtı olan qpq \Rightarrow p önermesinin veya bağlacı cinsinden eşdeğeri qpq' \vee p iken; tersi olan pqp' \Rightarrow q' önermesinin veya bağlacı cinsinden eşdeğeri pqp \vee q' şeklindedir. Veya bağlacının değişme özelliği nedeniyle bu iki ifade birbirine her zaman denktir.

Step-by-Step Solution

1
pqp \Rightarrow q koşullu önermesinin karşıtını ve veya bağlacı cinsinden eşdeğerini bulunuz.
pqp \Rightarrow q önermesinin karşıtı qpq \Rightarrow p önermesidir. ababa \Rightarrow b \equiv a' \vee b kuralı uygulandığında bu önermenin eşdeğeri qpq' \vee p olarak elde edilir.
Karşıt önermenin tanımını ve veya bağlacı cinsinden eşdeğerini belirlemek için.
2
pqp \Rightarrow q koşullu önermesinin tersini ve veya bağlacı cinsinden eşdeğerini bulunuz.
pqp \Rightarrow q önermesinin tersi pqp' \Rightarrow q' önermesidir. Eşdeğerlik kuralı uygulandığında bu önermenin eşdeğeri (p)qpq(p')' \vee q' \equiv p \vee q' olarak bulunur.
Ters önermenin tanımını ve veya bağlacı cinsinden eşdeğerini belirlemek için.
3
Elde edilen iki veya bağlaçlı önermeyi karşılaştırarak doğruluk değerlerini ve eşdeğerlik durumlarını inceleyiniz.
qpq' \vee p ile pqp \vee q' önermeleri, veya bağlacının değişme özelliği (abbaa \vee b \equiv b \vee a) gereği birbirine denktir (qppqq' \vee p \equiv p \vee q').
Karşıt ve ters önermelerin veya bağlacı cinsinden ifadelerinin her zaman denk olup olmadığını doğrulamak için.

Key Concept

Koşullu önermenin karşıtı, tersi ve veya bağlacı cinsinden eşdeğeri
Rate this question