Negace složených výroků
Dobrý den, nevíte, jak se dělají negace složených výroků?
Dělá mi strašný problém to z učebnice pochopit.
Např proč negace konjunkce je disjunkce výroků?
Dikyy
Dělá mi strašný problém to z učebnice pochopit.
Např proč negace konjunkce je disjunkce výroků?
Dikyy
Odpovědi
Diskuze
Znak "/" je negace
/(A konj B) = /A disj /B
/(A disj B) = /A konj /B
--------------------------
Takže když máš třeba /A disj B , tak /(/A disj B) = //A konj /B = A konj /B
(dvojitá negace se vzájemně vyruší)
Jsou to tzv. De Morganovy zákony: https://cs.wikipedia.org/wiki/De_Morganovy_z%C3%A1kony
Anglická Wikipedie https://en.wikipedia.org/wiki/De_Morgan%27s_laws
má hezký obrázek https://en.wikipedia.org/wiki/File:Demorganlaws.svg