- Logische Folgerung
- Formalisierung
- Edad 18+
-
level: 1
- German
Instrucciones del autor
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.
Instrucciones del autor
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.
