- Logische Folgerung
- Formalisierung
- Age 18+
-
level: 1
- German
Author's Instructions
Formalisieren Sie folgendes Argument in Bivalence World. Handelt es sich um eine BW-Folgerung? Warum (nicht)?
a ist größer als b. a ist nämlich ein großer Würfel, und b ein kleines Tetraeder.
Author's Instructions
Formalisieren Sie folgendes Argument in Bivalence World. Handelt es sich um eine BW-Folgerung? Warum (nicht)?
a ist größer als b. a ist nämlich ein großer Würfel, und b ein kleines Tetraeder.
