Импликация: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Gottlebelang (беседа | приноси)
Gottlebelang (беседа | приноси)
Ред 325:
 
Въвеждането на строгата импликация <math>p</math> [[File:Strict implication.jpg|20x13px]] <math> q</math> (<math>p</math> имплицира строго <math> q</math>) е трябвало според Люис да доближи формализма на модерната логика по-близо до интуитивното разбиране за логическо следване (<math> q</math> следва от <math>p</math>), отколкото това става чрез обяснението на логическото следване, което се базира на кондиционала (субюнкцията).
 
== Достатъчно и необходимо условие ==
 
 
== Литература ==