Выявите структуру сложных высказываний

01.02.2012, 08:34

выявите структуру сложных высказываний, укажите, из каких простых высказываний они образованы и с помощью каких логических связок. Напишите формулу языка нулевого порядка, формализующую данное высказывание. Постройте его отрицание, и это отрицание сформулируйте на обычном языке:

9 вариант
«если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню»

Решение:
если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню

Данное сложное высказывание состоит из трех простых высказываний:
а – «вы были в Париже»
b – «вы видели Лувр»
с – «вы видели Эйфелеву башню»

исходное сложное высказывание можно записать с помощью логических связок следующим образом:

a—>(b \/ c)

(если а, то  b или с)

Построим отрицание:
┐(a—>(b \/ c))= ┐(┐a \/ b \/ c)= ┐(┐a)  /\  (┐b) /\ (┐ c)= a  /\  (┐b) /\ (┐ c);

Сформулируем на обычном языке:

«вы были в Париже и не вы видели Лувр и не вы видели Эйфелеву башню»