Импликация: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Ред 342:
''<math>p\rightarrow q</math>'', <math>\neg q</math> <math>\Rightarrow</math> <math>\neg p</math>
се нарича законът за необходимото условие: ако ''<math>p\rightarrow q</math>'' е истинно, то истинността на <math> q</math> е необходима за истинността на <math>p</math>, т.е. ако <math> q</math> не е истинно, то и <math>p</math> няма да бъде.<ref>G. Gabriel, ''Einführung in die Logik. Kurzes Lehrbuch mit Übungsaufgaben und Musterlösungen''. Jena: Paideia, 2005,
== Литература ==
| |||