Ahoj, mám tu maturitný s ktorým si neviem rady.
Nech výroky A,B sú pravdivé a výrok C nepravdivý. Ktorý z nasledujúcich zložených výrokov je pravdivý?
a, (A∧B)=>C
b, A=>(B∧C)
c, A=>C
d, (A∨B)=>C
e, (B∧C)=>A
Skúšal so mto riešiť vylučovacou metódou, ale asi som robil niekde chybu.
Vychádzal som z tohoto:
P∧P = P
P∧N = N
N∧P = N
N∧N = N
P∨P = P
P∨N = P
N∨P = P
N∨N = N
Že pravdivé ∧ pravdivé je pravdivé, takže a, - zle
Z pravdivého vyplíva pravdivé ∧ nepravdivé, takže ani b, - zle
Z pravdy vyplíva nepravda, takže ani c, - zle
pravda ∨ pravda vyplíva nepravda - to by podla mňa malo byť dobre, ale nie je
pravda ∧ nepravda vyplíva pravda - podla mňa zle, ale malo by to byť správne
Tak ako teda?
Diky.
EDIT: oprava druhého stĺpca, omylom som ho sem zle napísal, už je správne.
Offline
e je spravne, implikace A=>B je pravdiva, pokud jev A je pravdivy a zaroven B je pravdivy nebo pokud jev A je nepravdivy a na jevu B nezalezi.
Chybu mas v:
P∨P = P
P∨N = N
N∨P = N
N∨N = N
Offline
Áno, omylom som ho tu zle napsíal, už som to opravil, vychádzal som z toho správneho, tak nerozumiem kde robím chybu :/
Offline
a uz teda vis, kde mas chybu?
pravda ∨ pravda vyplíva nepravda - to by podla mňa malo byť dobre, ale nie je
Pravda => Nepravda ma pravdivostni hodnotu 0(nepravda)
pravda ∧ nepravda vyplíva pravda - podla mňa zle, ale malo by to byť správne
Nepravda => pravda ma pravdivostni hodnotu 1(pravda)
Offline
Ja naozaj nechápem :/
Šak to e, je (B∧C)=>A
tak presne sedí na to to to: P∧N = N
Zo zadania vieme:
B je pravdivé
C nepravdivé
A pravdivé
tak potom.. pravdivé (B) ∧ nepravdivé (C) => pravdivé (A) a nie nepravdivé
Offline
↑ Zlatohlavok:
Pravdivostni hodnota vyroku
pravdivé (B) ∧ nepravdivé (C) je jak jsi sam dobre urcil Nepravda.
A je pravda.
Cemu se rovna implikace Nepravda => Pravda?
tabulka z wiki:
A B A =>B
0 0 1
0 1 1
1 0 0
1 1 1
http://cs.wikipedia.org/wiki/Implikace
Offline
Jáj, tak už chápem o čo ide. :)
Dobre diky.
Offline