Записать высказывания в виде формул логики высказываний

База заданий

I. Логика и исчисление высказываний

Записать высказывания в виде формул логики высказываний.

1.1. Сегодня мы пойдем в кино или поедем кататься на лыжах.

Обозначим:

A – пойдем в кино,

B – пойдем кататься на лыжах,

Тогда высказывание запишется:

1.2. Если будет хорошая погода, то мы пойдем гулять.

Обозначим:

H – хорошая погода,

G – идти гулять,

Тогда высказывание запишется:

1.3. Если х=5 и у=3, то х>y.

Обозначим:

X – x=5,

Y – y=3,

Z – x>y,

Тогда высказывание запишется:

1.4. Людоед голоден только тогда, когда он давно не ел.

Обозначим:

G – людоед голоден,

D – людоед давно не ел,

Тогда высказывание запишется:

1.5. Иванов сдал экзамен и получил 5 неравнозначно тому, что Иванов сдал экзамен и получил 5

Обозначим:

S – Иванов сдал экзамен,

P – Иванов получил 5,

Тогда высказывание запишется:

1.6. Если он бегает по лужайке и у него длинные уши, то он или заяц или осел

Обозначим:

B – он бегает по лужайке,

D – у него длинные уши,

Z – он заяц,

O – он осел

Тогда высказывание запишется: