Шаблон:Правила трансформације — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
додавање правила |
||
Ред 9:
* ''[[Модус поненс|<span title="A→B, A ⊢ B">Модус поненс</span>]]''
* ''[[Модус толенс|<span title="A→B, ¬B ⊢ ¬A">Модус толенс</span>]]''
* [[Контрапозиција|<span title="A→B ⊢ ¬B→¬A">Контрапозиција</span>]]
* [[Двоусловни увод|<span title="A→B, B→A ⊢ A↔B">Двоусловни увод</span>]]
* [[Двоусловна елиминација]]
| |||