Контрапозиција — разлика између измена
Садржај обрисан Садржај додат
додавање категорија |
мНема описа измене |
||
Ред 8:
Ово правило се [[Секвент|секвентно]] записује као <math>P \Rightarrow Q \vdash \neg Q \Rightarrow \neg P</math>, односно као
:<math>\frac{P \Rightarrow Q}{\neg Q \Rightarrow \neg P}(K)</math>.
Правило контрапозиције еквивалентно је правилу [[модус толенс]].
| |||