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 06. 04. 2021 19:00
Výroková logika
Ahoj, mám to správně prosím zapsané ?
Ministr zdravotnictví vydal tuto instrukci:
„Jestliže pacient kašle nebo má vysokou horečku, pak je podezřelý z nákazy Covid-19“.
Jeho náměstek však do pokynu pro nemocnice větu přeformuloval takto:
„Pokud má být osoba považována za nenakaženou Covid-19, pak nesmí kašlat a mít vysokou horečku.“
Je náměstkova formulace ekvivalentní ministrovu prohlášení? Převeďte do formální logiky a dokažte (zda je, nebo není ekvivalentní).
p-kašle
q-teplota
1.výrok: p ∨ q
2.výrok: ¬p ∧ ¬ q
p q p ∨ q ¬p ∧ ¬ q
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
Výrok není pravdivý.
Offline
#3 07. 04. 2021 14:02
- Richard Tuček
- Místo: Liberec
- Příspěvky: 1272
- Reputace: 20
- Web
Re: Výroková logika
Zapíšu to formálně:
Ministr řekl: (p ∨ q) => Cov
Náměstek řekl: non(Cov) => ¬p ∧ ¬ q
Dále platí: ¬(p ∨ q)<=> ¬p ∧ ¬ q (De Morgnovy vzorce)
Je ekvivalentní, ale chce to ověřit pomocí tabulky pravdivostních hodnot.
Offline