Question

$(p \vee q) \vee (p^\prime \vee q^\prime)$ önermesinin olumsuzunu bulunuz.

Answer 1

$p'=\neg p$ dir bu iki sembol de "$p \;değil$" demektir.

$[(p\vee q)\vee(\neg p \vee \neg q)]\equiv k$   ise biz  $\neg k$ önermesini arıyoruz.


$\boxed{\boxed{\neg(a \vee b)\equiv \neg a \wedge \neg b}}$ kuralından ötürü

$\neg k\equiv\underbrace{\neg(p\vee q)}_{\neg p\; \wedge \neg q}\wedge \underbrace{\neg(\neg p \vee \neg q)}_{p\wedge q}$  olur bir daha yazarsak,

$\neg k\equiv(\neg p \wedge \neg q)\wedge(p\wedge q)$ olur aradaki semboller(önerme şeysiler) aynıdır parantezlerin önemi yoktur yani,

$\neg k\equiv (p\wedge \neg p)\wedge(q \wedge \neg q)\equiv 0$ olur

Answer 2

Çözüm 2
tüm önerme yi çözersek


$(p\vee \neg p)\vee(q\vee \neg q)\equiv 1$ deriz

dolayısıyla 1'in değili 0 dır.