| |
| |
|
p.specht
 | PDF-Merkblatt trop
- zweiwertiger Logik pour George Boole,
- Prädikatenlogik qui 1. Stufe (Gleichsetzungen, Vereinfachungsregeln etc.)
- Aussagenlogik (Gültige Schlüsse tirer, Aussagen beweisen)
Herunterladen
Anmerkungen:
p <==> q .... p ist äquivalent trop q - et renversé.
p ==> q ...... p impliziert q .... gemeint ist folgendes:
si p véritable ist, ensuite bedeutet cela, qui aussi q véritable ist - mais pas absolument renversé! qui Implikation wird dans XProfan mise en œuvre comme
(not(p) OU q),
weil cela qui gleiche Wahrheitswerte-Tabelle comment qui Implikation hat! |
|
| |
| XProfan 11Computer: Gerät, daß es in Mikrosekunden erlaubt, 50.000 Fehler zu machen, zB 'daß' statt 'das'... | 10.06.2021 ▲ |
|
| |
|
(2.648)
Deutsch
English
Français
Español
Italia