1. [(p ^ ( p' => q ) ] => p Bileşik önermesi kaça denktir?

2. [ ( p ^ q ) => ( p ^ q ) ]' Bileşik önermesi aşağıdakilerden hangisine daima denktir? A.p B.q C.1 D.0 E.p'

3. p' => ( q v p )' Önermesinin değili(olumsuzu) aşağıdakilerden hangisidir? A.p' B.p'^q C.p^q' D.qvP E.pvq'

C2)= En dıştaki değili açıyoruz. (p'vq')=>(p'vq')
p'vq'=1'e eşit 1=>1 Den CEvap 1

C-1)

[(p ∧ ( p' → q ) ] → p

önce en içteki parantezi yapalım

*p→q=p'vq

p'→q=pvq

sonra önermede yerine yazalım.

(p∧(pvq)→p

((p∧p)v(p∧q))→p

[1v(p∧q)]→p

1→p=p bulunur.

C-2)

Önce parantez içi yapılırsa;

[(p∧q)→(p∧q)]'

ise işleminin bir özelliği

p→p=1 olduğundan

(p∧q)→(p∧q) işlemi 1'e eşittir.

o halde 1'≡0 bulunur.

C-3)

p'→(qvp)'

(qvp)'=q'∧p'

p'→(q'∧p')

*p→q=p'vq Bu özellikten

pv(q'∧p')=(pvq')∧(pvp')

(pvq')∧1

=(pvq') soruda bunun olumsuzu istenmiş

=(pvq')'=p'∧q bulunur.

Alıntı:

---

asigirl460'den alıntı

C2)= En dıştaki değili açıyoruz. (p'vq')=>(p'vq')
p'vq'=1'e eşit 1=>1 Den CEvap 1

---

En dıştaki değili açmakla hata yapmışsınız en dıştaki değili açmanıza gerek yok çünkü arada ise var. Çözümü bir üstteki yoruma ekledim.
p'vq'=1 bu önerme 1'e eşit değildir. p=1 q=1 için 0v0=0 dır.

ok sağol bende öğrenmiş oldum