Praktisches & Grundsätzliches zur Informatik

Logik, Axiom, Grundaxiom

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: Logik1gegreit Grundaxiom1gegreit Axiom1gegreit