Импликация: Разлика между версии
Изтрито е съдържание Добавено е съдържание
→Обяснение: правописна грешка |
→Обяснение: правописна грешка |
||
Ред 37:
Заключенията, които се получават въз основа на значението на сентенциалната връзка „(материална) импликация“, се изследват в пропозиционалната логика. <math>\rightarrow</math> е логическа константа в езика на пропозиционалната логика. Други основополагащи константи на пропозиционалната логика са [[конюнкция]]тата <math>\land</math> и [[дизюнкция]]та <math>\lor</math>.
'''Смисълът''' на импликацията може да се предаде по следния начин. Който твърди <math>p\rightarrow q</math>, се ангажира с истинността на <math> q</math> при условие, че <math>p</math> е истинно. Той прави едно условно твърдение: <math> q</math> при условие, че <math>p</math>. Той твърди, че описаното от <math> q</math> положение на нещата ще бъде факт, ако е изпълнено условието, формулирано от <math>p</math>. Ето защо, ако това условие не е изпълнено, импликативното твърдение <math>p\rightarrow q</math> ще оставя открит въпроса как стоят нещата с <math> q</math>, т.е. ако антецедентът <math>p</math> е неистинен, за истинността на цялата импликация няма да има значение каква би била стойността по истинност на консеквента <math> q</math>, а това означава: тя няма да бъде
(А) ''импликацията <math>p\rightarrow q</math> ще бъде истинна, стига антецедентът да бъде неистинен''.
| |||