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

Изтрито е съдържание Добавено е съдържание
Gottlebelang (беседа | приноси)
Gottlebelang (беседа | приноси)
Ред 41:
(А) ''импликацията <math>p\rightarrow q</math> ще бъде истинна, стига антецедентът да бъде неистинен''.
 
От друга страна, тъй като описаното от антецедента <math>p</math> положение на нещата се полага чрез импликацията <math>p\rightarrow q</math> само като достатъчно, но не и като необходимо условие за наличността на описаното от консеквента <math>q</math> положение на нещата, т.е. който твърди <math>p\rightarrow q</math>, не представя <math>p</math> като единственото възможно условие за <math> q</math> (за да постигне това, той трябва да употреби не думите „ако <math>p</math>“, а „само ако <math>p</math>“ (вж. по-долу за [[Импликация#.D0.94.D0.BE.D1.81.D1.82.D0.B0.D1.82.D1.8A.D1.87.D0.BD.D0.BE BE_.D0.B8 B8_.D0.BD.D0.B5.D0.BE.D0.B1.D1.85.D0.BE.D0.B4.D0.B8.D0.BC.D0.BE BE_.D1.83.D1.81.D0.BB.D0.BE.D0.B2.D0.BB8.D0.B5|достатъчното и необходимото условие]] ), и съотв. <math>p\rightarrow q</math> оставя открит въпроса дали би могло да има и други причини за съществуването на описаното от <math> q</math> положение на нещата, то ако подизречението <math> q</math> е истинно, няма да има значение как стоят нещата с истинността на подизречението <math>p</math> (в този случай, ако <math>p</math> е истинно, това ще потвърждава твърдението, че <math>p</math> не и без <math>q</math>; ако <math>p</math> е неистинно, тази ситуация няма да е несъвместима с претенцията за истинност на цялото <math>p\rightarrow q</math>, че истинността на <math>p</math> e достатъчо условие за истинността на <math>q</math>). Ние можем да кажем това така:
 
(В) ''импликацията <math>p\rightarrow q</math> ще бъде истинна, стига консеквентът да бъде истинен''.