Příklady od Vás:
Výroky > Pravdivostní tabulka pro výrokové formule
Ondřej
30. 09. 2020 - 16:19
upraveno:
01. 10. 2020 - 14:03
Dobrý den, sestavil jsem pravdivostní tabulku a k nim zapsal výsledné výrokové formule. Mě to vychází takto, ale ve sbírce úloh má jít v první případě o tautologii a ve druhém o kontradikci. Jsem pitomej nebo jsou výsledky k zadání špatně? Díky
Ondřej 30. 09. 2020 • 17:25
první sloupec s výsledky ---- krok 1 (p v q) --- krok 2 p ^ vysledek (p v q) ----- krok 3 a pak celé toto implikace q = výsledek je v černém obdelníku
druhý sloupec --- (p v q) ---- NEG p ^ vysledek (p v q) ----- a pak celé toto implikace q
Ondřej 01. 10. 2020 • 10:00
Díky!
Dominik Chládek 01. 10. 2020 • 09:19
Máte :)
Ondřej 01. 10. 2020 • 07:38
Dobrý den, děkuji! Zkusil jsem to ještě jednou a lépe. Mě příjde, že postup mám správný.
Dominik Chládek 30. 09. 2020 • 23:47
To je tedy hrozný zápis, ještě když máte obráceně pořadí, tohle kontrolovat je teda mazec :/
JInak ten první sloupec vypadá správně u Vás, takže hádám, že tam budou chyby :)
Dominik Chládek 30. 09. 2020 • 16:43
Dobrý den,
a rozkódujete mi jak to máte rozepsané v tom oranžovém řádku? Měl jsem pocit že vím jak to myslíte, ale podle toho to číselně nesedí :)
Ondřej 30. 09. 2020 • 18:30
Jednoduše, výsledné hodnoty výrokových formulí jsou v černém obdelníku pod zadanou formulí pro příslušný řádek.