Matematické Fórum

kitchima · 28. 10. 2009 20:03

Ahojte. Buduci tyzden mame pisomku a budu tam aj taketo priklady. Vedeli by ste mi nejako s nimi pomoct? Ako sa priklady takychto tipov riesia? Dakujem.

Overte správnost nasledujúcich argumentov:
(a)

p ^ q
p => (r ^ q)
r => (s v t)
¬s
---------------
t

(b)

p
p => r
p => (q v ¬r)
¬q v ¬s
-------------------
s

(c)

[[(p ^ q) => r] ^ (¬q v r)] => p

check_drummer · 28. 10. 2009 21:43

Bod a a b asi tak, že vytvoříme implikaci, jejímž předpokladem bude konjunkce předpokladů a závěr bude závěrem celého úsudku. Pak je nuné ukázat, že takto vzniklý výrok je tautologie - první krok se pro bod c vynechá.

gladiator01

Já bych si dosadila 1 nebo 0 (náhodně (poněvadž jestli jsou výroky tatautologie nebo kontradikce, tak vyjde u všech kombinací stejně), ale ve všech 4 výrocích stejně) a když vyjde závěr 0 je výrok nepravdivý, když 1 je pravdivý.

Mě vyšlo, že a, b je nepravdivé a c pravdivé.

kitchima · 29. 10. 2009 11:47

↑ gladiator01:

A robi sa to iba takto? ze dokazem, ze je to, alebo nie je tautologia? Lebo nemam pristup k prednaskam, tak neviem ako to v skole robili. Poculi ste niekedy o dokazovani cez "strom"? To sa tak nejak rozvetvuje.. Neviem presne ako sa to robi

gladiator01 · 29. 10. 2009 18:45

Já to neznám, třeba někdo jiný.

Matematické Fórum

#1 28. 10. 2009 20:03

spravnost argumentov

#2 28. 10. 2009 21:43

Re: spravnost argumentov

#3 28. 10. 2009 21:54 — Editoval gladiator01 (28. 10. 2009 23:23)

Re: spravnost argumentov

#4 29. 10. 2009 11:47

Re: spravnost argumentov

#5 29. 10. 2009 18:45

Re: spravnost argumentov

Zápatí