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 10. 09. 2015 19:41 — Editoval krofto (10. 09. 2015 19:54)
Výroková logika - tautologie
Dobrý večer, prosím o pomoc, jestli jsem určil tento příklad správně, připadá mi takový zvláštní.
Mé řešení (Myslím si, že se negace neguje negaci, takže se ruší):
A B ¬(¬ A) 
1 1 1 1
1 0 1 1
0 1 0 1
0 0 0 1
Jedná se o tautologii
Offline
