Logik

Play Free Games On RosiMosi

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.