Импликация: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Ред 271:
|е логически-истинно
|}
Тъй като изводът ''<math>\neg q \rightarrow \neg p</math>'' от
''<math>\neg q \rightarrow \neg p\Rightarrow p\rightarrow q</math>'',
|