MatematikTutkusu.com Forumları

Mantık

asigirl460 11:46 15 Kas 2011 #1
C1)= P=1,q=0 ve r=1 olduğuna göre [(p'^q)=>r']v(q'vr) dengini bulunuz?
C2)= [(1v0')^0]v[(1^1)^(1'v0)] dengi nedir? CEvap= 1'^0

C3)= [pvr']'=1
pv(q'^s)=1 ise (p=>q)^(r=>s) dengi nedir? cevap p'=>s

C4)= (pvq)<=>(p^q') en sade şekli ? cevap = q'

C5)= (A(ters)x,x(karesi)<x)=>(E(ters)x,2x-1=2) karşıt tersi=?

gökberk - ait kullanıcı resmi (Avatar) gökberk 19:13 15 Kas 2011 #2
C-1

p=1 ise P'=0
q=0 ise q'=1
r=1 ise r'=0

[(p'^q)=>r']v(q'vr) ≡ [(0^0)=>0]v(1v1)

0^0= 0
0=>0= 1
1v1v1= 1

C-2

(1v0')=1
1^1=1
1'v0=0

[(1v0')^0]=0
[(1^1)^(1'v0)]=0
0v0=0=1'^0

C-3

[pvr']'= p'^r= 1 ise p'=r=1 olmalıdır. Yani p=0, r=1 bulunur.

pv(q'^s)=1 ise p=0 bulmuştuk, 0v(q'^s)=1 olacaktır. Burda da (q'^s)=1 olduğundan q'=1, s=1 olacaktır. q=0, s=1 bulduk. Tüm bulduklarımızı yazalım;

p=0
r=1
q=0
s=1

(0=>0)^(1=>1) = 1^1 = 1 = p'=>s

duygu95 - ait kullanıcı resmi (Avatar) duygu95 19:41 15 Kas 2011 #3
C-4)
* p<=>q=(p=>q)∧(q=>p)

*p→q=p'vq

bunları bilirsek yapabiliriz.

(pvq)<=>(p^q')=((pvq)=>(p∧q'))∧[(p∧q')=>(pvq)]


kırmızı olan önermeye bakalım;

[(pvq)'v(p∧q')]=(p'∧q')v(p∧q')=(pvp')∧q'=1∧q'=q'

diğer önermeye bakalım

(p∧q')'∧(pvq)=(p'vq)∧(pvq)=(p∧p')vq=1vq=1

o halde sonuç 1∧q'=q' bulunur.

duygu95 - ait kullanıcı resmi (Avatar) duygu95 19:45 15 Kas 2011 #4
İncelemek isterseniz mantıkla ilgili burada hazırlamış olduğum bir döküman var.

gökberk - ait kullanıcı resmi (Avatar) gökberk 19:52 15 Kas 2011 #5
C-5

p ⇒ q Koşullu önermesinin karşıt tersi q′⇒ p′ dir. Soruya uygularsak, önce p, q nun yerini değiştirelim.

(E(ters)x,2x-1=2) => (A(ters)x,x(karesi)<x)

Şimdi ikisinin de tersini alalım
(A x, 2x-1≠2) => (E x, x²>x)

asigirl460 02:20 16 Kas 2011 #6
teşşürler C2 'de ovo=0 demişsin sonra nasıl 1'^0 oldu

asigirl460 02:26 16 Kas 2011 #7
c5 Te yanlış cevap (Ex,2x-1=2)v(Ex,x(karesi>(eşittir)x)


Diğer çözümlü sorular alttadır.
Mantık Soruları Mantıkla İlgili Sorular
Tüm Etiketler

Benzer konular

Üst Forum
Anasayfa
Yukarı Standart Görünüm