Dvojhodnotová logika

Dvojhodnotová logika je časť logiky, v ktorej sa výrokom a výrokovým formám priraďujú len dve pravdivostné hodnoty, a to pravda a nepravda. Dvojhodnotová logika je najdôležitejšia časť logiky z hľadiska praktického a filozofického.