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 12. 10. 2015 19:01 — Editoval jelena (12. 10. 2015 21:00)
logicky dosledok
Ahoj mam tabulku : T ako tautologia
a lich hodnotz
0 1 1 1 1 1
0 0 1 0 1 1
0 0 0 1 1 1
0 0 0 0 0 1
Jelena: edit TeX
preco je
logickym dosledkom kontradikcie? ved plati ze B je logickym dosledkom A ked v hodnode v(A)=1 je aj v(B)=1 , a kontradikcia ma same nuly. DIk za odpoved Offline
je pravdivý výrok pro libovolné tvrzení #3 13. 10. 2015 12:09
Re: logicky dosledok
↑ Sherlock: A co když 
samotné bude kontradikce? Pak budeme mít implikaci 
a ta neplatí.
Příspěvky psané červenou barvou jsou moderátorské, šedá je offtopic.
Offline
#4 13. 10. 2015 15:31
- Eratosthenes
- Příspěvky: 3111
- Reputace: 140
Re: logicky dosledok
↑ byk7: ↑ ulrich:
Pozor! Kontradikce má hodnotu nula, takže jejím důsledkem ( kontradikce => ....) může být cokoliv:
0 => 0
je pravda a
0 => 1
je taky pravda.
Takže i konjunkce čehokoliv je důsledkem kontradikce.
Budoucnost patří aluminiu.
Offline