Der Folgerungsbegriff

eine Formel F folgt aus einer Formelmenge M:

Beispiele/Übung (beweise!)



2014-07-06