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
$#2 23. 12. 2013 16:35
Re: Logika - negace
Negací výroku
(1) "každá kočka je černá"
je výrok
(2) "existuje kočka, která není černá"
a naopak - negací výroku (2) je výrok (1).
Zkus tuto zásadu zformulovat obecně pomocí formálního jazyka a toto zobecnění použít na Tvoji úlohu.
Offline