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 16. 03. 2011 21:02 — Editoval teolog (16. 03. 2011 21:02)
- teolog
- Místo: Praha
- Příspěvky: 3498
- Škola: MFF + PřF UK
- Pozice: Gymnázium Přírodní škola - učitel (M, Z)
- Reputace: 167
Re: výroková logika
↑ roman111:
Víte například, jak závisí na pravdivostních podmínkách například první část výroku, tedy p v q?
Offline
#4 16. 03. 2011 21:28
- teolog
- Místo: Praha
- Příspěvky: 3498
- Škola: MFF + PřF UK
- Pozice: Gymnázium Přírodní škola - učitel (M, Z)
- Reputace: 167
Re: výroková logika
↑ roman111:
Výborně. A co výrok q ˄ ¬ p?
Offline
#6 16. 03. 2011 21:37
- teolog
- Místo: Praha
- Příspěvky: 3498
- Škola: MFF + PřF UK
- Pozice: Gymnázium Přírodní škola - učitel (M, Z)
- Reputace: 167
Re: výroková logika
↑ roman111:
Přesně tak, takže pokud jde o pravdovostní hodnoty p i q, pak musí být q pravda a p nepravda (vzhledem k použité negaci).
Další otázky:
1) a kdy platí ¬ (q ˄ ¬ p)?
2) Kdy platí a => b?
Offline
#8 16. 03. 2011 21:56 — Editoval teolog (16. 03. 2011 22:07)
- teolog
- Místo: Praha
- Příspěvky: 3498
- Škola: MFF + PřF UK
- Pozice: Gymnázium Přírodní škola - učitel (M, Z)
- Reputace: 167
Re: výroková logika
↑ roman111:
1) ano, můžete negovat závorku, tím dostanete konjunkci. Ale já bych to nechal s tou původní disjunkcí, a jen bych v níže popsané tabulce udělal negaci (tedy z nul budou jedničky a z jedniček nuly).
2) ano
Takže jsem si ověřil, že v zásadě znáte pravidla jednotlivých logických spojek, takže má smysl pokračovat dál.
Teď si musíte udělat tabulku pravdivostních hodnot pro celý ten složený výrok.
Ve sloupcích bude p, q, p v q, q ˄ ¬ p, ¬ (q ˄ ¬ p) a na závěr bude poslední finální sloupec (p v q) → ¬ (q ˄ ¬ p).
Vyvsětluje se mi to špatně, kdyžtak se zkuste mrknout sem.
Offline
