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