Импликация: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Ред 53:
''<math>p\rightarrow q</math>'' <math>\Leftrightarrow</math> <math>\neg p \or q</math> .
Първият логик, който обяснява смисъла (условията за истинност) на изречения с формата „ако – то“ по този начин, е бил, както изглежда, античният философ Филон от Мегара (IV–III в. пр. Хр.). Същата идея лежи и в истинностно-функционалното дефиниране на кондиционала при [[Готлоб Фреге|Фреге]], което е част от неговата интерпретация на пропозиционалната логика като теория за истинностните фукции (за онези функции, които дават за стойности по истинност като аргументи стойности по истинност като стойности за тези аргументи) – теория, която представя най-простата и основополагаща дисциплина на [[Логика#.D0.9C.D0.BE.D0.B4.D0.B5.D1.80.D0.BD.D0.B0.D1.82.D0.B0 .D0.BB.D0.BE.D0.B3.D0.B8.D0.BA.D0.B0|модерната логика]]. В този смисъл не само импликацията може да се дефинира чрез отрицание и конюнкция или дизюнкция, но и смисъла на <math>\and</math> и <math>\or</math> може да се предаде чрез <math>\rightarrow</math> и <math>\neg</math>:
<math>p\and q</math> <math>\Leftrightarrow</math> ''<math>\neg (p\rightarrow \neg q)</math>''
| |||