Ein logischer Term heißt Tautologie, wenn er stets wahr ist, unabhängig davon welche Aussagen eingesetzt werden.
Ein logischer Term heißt Kontradiktion, wenn er stets falsch ist, egal welche Aussagen eingesetzt werden.
Ein logischer Term heißt Tautologie, wenn er stets wahr ist, unabhängig davon welche Aussagen eingesetzt werden.
Ein logischer Term heißt Kontradiktion, wenn er stets falsch ist, egal welche Aussagen eingesetzt werden.