Review Note
Last Update: 01/14/2024 01:50 PM
Current Deck: TU::ADM::ADM: Grundlagen
PublishedCurrently Published Content
FrontText
Tautologie
Kontradiktion
erfüllbar
FrontAudio
BackText
Eine Formel heißt gültig oder Tautologie, wenn sie für jede Belegung wahr ist.
Eine Formel heißt ungültig oder Kontradiktion, wenn sie für jede Belegung falsch ist.
Eine Formel heißt erfüllbar, wenn sie für mindestens eine Belegung wahr ist.
BackAudio
Image
Add Reverse
No published tags.
Pending Suggestions
No pending suggestions for this note.