Praktisches & Grundsätzliches zur Informatik


Das Grundaxiom aller echten Logik





Ist M eine Menge von Aussagen, aus denen sich ein Widerspruch herleiten lässt,

so enthält M wenigstens eine Aussage,

die entweder falsch ist oder über etwas spricht, das gar nicht existieren kann.





Wissenswertes zu "Grundaxiom, Axiom, Logik" zusammengestellt durch Gebhard Greiter.
tags: stw5293LGP: Logikngegreit Grundaxiomngegreit Praktischesngegreit