Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

#1 08. 03. 2011 19:02 — Editoval Zlatohlavok (08. 03. 2011 19:11)

Zlatohlavok
Příspěvky: 312
Reputace:   
 

výroky

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

 

#2 08. 03. 2011 19:07

Phate
Příspěvky: 1740
Reputace:   99 
 

Re: výroky

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

viz. http://cs.wikipedia.org/wiki/Disjunkce


Vykonávat věc, které se bojíme, je první krok k úspěchu.

Offline

 

#3 08. 03. 2011 19:14 — Editoval Zlatohlavok (08. 03. 2011 19:15)

Zlatohlavok
Příspěvky: 312
Reputace:   
 

Re: výroky

Á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

 

#4 08. 03. 2011 19:17

Phate
Příspěvky: 1740
Reputace:   99 
 

Re: výroky

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)


Vykonávat věc, které se bojíme, je první krok k úspěchu.

Offline

 

#5 08. 03. 2011 19:33

Zlatohlavok
Příspěvky: 312
Reputace:   
 

Re: výroky

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

 

#6 08. 03. 2011 19:36

Phate
Příspěvky: 1740
Reputace:   99 
 

Re: výroky

↑ 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


Vykonávat věc, které se bojíme, je první krok k úspěchu.

Offline

 

#7 09. 03. 2011 19:19

Zlatohlavok
Příspěvky: 312
Reputace:   
 

Re: výroky

Jáj, tak už chápem o čo ide. :)

Dobre diky.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson