Импликация: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
Редакция без резюме |
||
Ред 53:
''<math>p\rightarrow q</math>'' <math>\Leftrightarrow</math> <math>\neg p \or q</math> .
Първият логик, който обяснява смисъла (условията за истинност) на изречения с формата „ако – то“ по този начин, е бил, както изглежда, античният философ Филон от Мегара (IV–III в. пр. Хр.). Същата идея лежи и в истинностно-функционалното дефиниране на кондиционала при [[Готлоб Фреге|Фреге]], което е част от неговата интерпретация на пропозиционалната логика като теория за истинностните
<math>p\and q</math> <math>\Leftrightarrow</math> ''<math>\neg (p\rightarrow \neg q)</math>''
|