| |
| |
|
p.specht
 | PDF-Merkblatt To
- zweiwertiger Logik to George Boole,
- Prädikatenlogik the 1. level (Gleichsetzungen, Vereinfachungsregeln etc.)
- Aussagenlogik (Gültige Schlüsse wander, testify prove)
Download
Notes:
p <==> q .... p is equivalent To q - and inverse.
p ==> q ...... p impliziert q .... meant is the following:
If p true is, then means the, that too q true is - but not absolutely inverse! The Implikation becomes in XProfan umgesetzt as
(hardship(p) OR q),
because the The same Wahrheitswerte-scheduler as Implikation has! |
|
| |
| XProfan 11Computer: Gerät, daß es in Mikrosekunden erlaubt, 50.000 Fehler zu machen, zB 'daß' statt 'das'... | 06/10/21 ▲ |
|
| |
|
(895)
Deutsch
English
Français
Español
Italia