Mantık

Question

(PnQ)(=)p' önermesi hangisine denktir?

A)p   B)PvQ'    C)(PnQ)'   D)(PvQ)'nq    E)(PnQ)'nP

[ "(=)" == Ancak ve ancak bağlacı  "n" == ve bağlacı  "v" == veya bağlacı

Answer 1

İpucu:

$$(p\wedge q)\Leftrightarrow p'$$$$\equiv$$$$ [(p\wedge q)\Rightarrow p']\wedge [p'\Rightarrow(p\wedge q) ]$$

$$\equiv$$

$$[p\Rightarrow (p\wedge q)']\wedge [p'\Rightarrow(p\wedge q) ]$$

$$\equiv$$

$$\ldots$$

Comments

Hocam şu kısmı anlamadım.

[(p∧q)] ⇒ p' ifadesi nasıl p⇒(p∧q)'] ne eşit oldu.Yani ifadenin değilini aldınız sanırsam 

ama ise bağlacında değişme özelliği yoktu.Neden yerleri değişti açıklayabilir misiniz?

Bide 3.satırda yaptığınız işlemin cevabı 0 olmaz mı?Birbirlerinin tam tersi değil mi onlar?

---

Bir koşullu önerme karşıt tersine denktir. Yani

$$p\Rightarrow q\equiv q'\Rightarrow p'$$