2 Suchergebnisse

Aussagen können negiert oder durch aussagenlogische Operationen (Konjunktion, Disjunktion, Alternative, Implikation, Äquivalenz) miteinander verknüpft werden.
Der Wahrheitswert einer negierten oder zusammengesetzten Aussage hängt dabei ausschließlich vom Wahrheitswert der Ausgangsaussage bzw. der verknüpften Teilaussagen ab.

In der Mathematik ist es häufig erforderlich, neue Aussagen aus schon vorhandenen Aussagen zu gewinnen oder auch zu zeigen, dass sich eine bestimmte Aussage zwingend aus bereits als wahr erkannten Aussagen ergibt. Hierbei werden sogenannte Schlussregeln angewandt.
Man versteht darunter logische Strukturen, die unabhängig von ihrem Inhalt bei jeder Belegung mit den Wahrheitswerten „wahr“ oder „falsch“ stets zu einer wahren Aussagenverbindung führen. Solche Strukturen oder Aussagenverbindungen nennt man logische Identitäten oder auch Tautologien. Die Schlussregeln sind so beschaffen, dass man beim Schließen den Inhalt der Ausgangsaussgen, der Prämissen, gar nicht kennen oder berücksichtigen muss.