Unleserlich! Tautologie |
| 25.04.2023, 20:10 | skl99 | Auf diesen Beitrag antworten » |
| Tautologie Hallo, kann jmd überprüfen ob bei der aufgabe um eine Tautologie handelt ? (p 
q?r)) ?? ((p?¬q)?¬r)habe es mit einer Wahrheitstabelle gemacht und als Ergebnis kam das es keine Tautologie ist aber bin mir nicht sicher ob ich es richtig gemacht habe Meine Ideen: . |
||
| 25.04.2023, 20:15 | skl999 | Auf diesen Beitrag antworten » |
| RE: Tautologie Die aufgabe nochmal: (p -> (q v r)) <-> ((P E ¬ q) -> ¬r ) |
||
| 25.04.2023, 20:23 | Leopold | Auf diesen Beitrag antworten » |
Geht es um ? |
||
| 25.04.2023, 20:54 | Pippen | Auf diesen Beitrag antworten » |
Das beste (mir bekannte) Tool dazu: https://mrieppel.net/prog/truthtable.html Da wird die Frage zum Kinderspiel. Bei der Gelegenheit: kennt jmd. noch mächtigere Logikrechner im Netz, vllt. welche, wo man auch mit Quantoren arbeiten kann? |
||
| 26.04.2023, 01:31 | Finn_ | Auf diesen Beitrag antworten » |
Der Tree Proof Generator von Wolfgang Schwarz erzeugt automatisch Beweise im Tableaukalkül. |
||
| 26.04.2023, 02:01 | Pippen | Auf diesen Beitrag antworten » |
Atemberaubend. Danke. Das Tool ist besser als mein Link, weil es alles kann, was mein Link kann und mehr, nämlich PL1 und Modal-AL/PL. |
||
| Anzeige | ||
|
|
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
|
| Die Neuesten » |
