Logické protirečenie

Logické protirečenie je tvrdenie výroku A a zároveň tvrdenie výroku nie-A v rámci toho istého systému výrokov.

Externé odkazy 
 

Logika