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.