| |
| |
|
p.specht
 | PDF-Merkblatt a
- zweiwertiger Logik después de George Boole,
- Prädikatenlogik el 1. Stufe (Gleichsetzungen, Vereinfachungsregeln etc.)
- Aussagenlogik (Gültige Schlüsse ziehen, Aussagen beweisen)
Descargar
Anmerkungen:
p <==> q .... p es äquivalent a q - y umgekehrt.
p ==> q ...... p impliziert q .... gemeint es folgendes:
Wenn p verdadero es, entonces bedeutet el, daß auch q verdadero es - pero no necesariamente umgekehrt! El Implikation se en XProfan umgesetzt como
(not(p) O q),
porque el el gleiche Wahrheitswerte-Tabla como Implikation ha! |
|
| |
| XProfan 11Computer: Gerät, daß es in Mikrosekunden erlaubt, 50.000 Fehler zu machen, zB 'daß' statt 'das'... | 10.06.2021 ▲ |
|
| |
|
(942)
Deutsch
English
Français
Español
Italia