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

където колонките под <math>p</math> и <math> q</math> показват във всеки ред съответното разпределение на техните стойности по истинност, а колонката под <math>p\rightarrow q</math> показва във всеки ред каква е стойността по истинност на <math>p\rightarrow q</math> за съответното разпределение на стойностите по истинност на <math>p</math> и <math> q</math>. За една двуместна функция от сойности по истинност, каквато е импликацията, са възможни четири комбинации на стойностите по истинност на аргументите <math>p</math> и <math> q</math> (два аргумента <math>p</math> и <math> q</math> по две стойности И и Н дават четири комбинации: 2² = 4). Затова и <math>p\rightarrow q</math> получава стойност по истинност в четири случая.

 

 

Заключенията, които се получават въз основа на значението на сентенциалната връзка „(материална) импликация“, се изследват в пропозиционалната логика. <math>\rightarrow</math> е логическа константа в езика на пропозиционалната логика. Други основополагащи константи на пропозиционалната логика са [[конюнкция]]тата <math>\and</math> и [[дизюнкция]]та <math>\or</math>.