Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 28. 12. 2011 14:39 — Editoval guri (28. 12. 2011 17:37)
Tautologicky dusledek
Zdravim, pri priprave na skusku som narazil na tento problem:
Ktery z nasledujicich vyroku neni tautologickym dusledkem prvniho?
Stala se vrazda, prave kdyz zahradnik neni vrahem.
c) Stala se vrazda a zahranik neni vrahem.
d) Zahradnik neni vrahem, prave kdyz se vrazda nestala.
Prepis vyroku: V⇔¬Z
c) V ∧ ¬Z
negacia vyroku: ¬V ∨ Z
a v semantickom strome nevyjde vsade tautologie.
toto ma byt spravna odpoved
d) ¬Z ⇔ ¬V
negacia vyroku: Z ⇔ ¬V
a v semantickom strome mi taktiez vsade nevyjde tautologie. Kde robim chybu? Alebo je chyba v zadani?
Vdaka
Pridavam svoje stromy:
Offline
