Zákon sporu

Zákon sporu je tautológia výrokovej logiky: non-(p ∧ non-p).

Externé odkazy 
 

Logika