Логика. Панькова Н.М. - 13 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

Сложным высказываниям соответствуют неатомарные формулы.
Логическим союзам соответствуют логические константы:
1. Конъюнкция («и, а, но, да») - &
Например: Платон мне друг, но истина дороже.
p – Платон мне друг,
q – истина дороже.
Ответ: (p & q)
2. Дизъюнкция («или») - \/, строгая дизъюнкция («или…, или…»,
«либо…, либо…») - \º/
Например: Утром я пью чай или кофе.
p – утром я пью чай,
q – утром я пью кофе.
Ответ: (p \/ q)
Например: 1. Быть или не быть – вот в чем вопрос!
p – быть - вот в чем вопрос,
q – не быть – вот в чем вопрос.
Ответ: (p \º/ q)
2. Либо я найду путь, либо проложу его!
p – я найду путь,
q – я проложу путь.
Ответ: (p \º/ q)
(Следует указать на то, что строгая дизъюнкция не предполагает
равноценного существования двух вариантов, необходимо следует сделать
выбор)
3. Импликация («если..., то...») - ⊃,
Например: Когда вода в море остывает, к берегу приплывают
медузы.
p – вода в море остывает,
q – к берегу приплывают медузы
Ответ: (p ⊃ q)
При этом, следует четко фиксировать свое внимание на причинно-
следственной связи, которую выражает импликация. Выражение,
отражающее причину, называется антецедент, а следствие – консеквент. В
языке КЛВ антецедент всегда стоит слева от знака импликации, а консеквент
- справа. В предложении естественного языка консеквент может оказаться на
первом месте.
Давайте попробуем подробнее рассмотреть такой вариант связи как
импликация. Например, когда мы говорим: Если дует ветер, то листья на
деревьях колышутся (p ⊃ q) разве не имеется в виду, что ветер - причина
колыхания листьев. Но может ведь быть тому и другая причина - кто-то
трясет дерево? Но импликативная связь высказываний не всегда говорит о
том, что p выражает причину того, о чем говорится в высказывании q.
13

Страницы