Упражнение 11. С помощью простых суждений: а – «Я работаю в офисе», b – «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания

С помощью простых суждений: а – «Я работаю в офисе», b – «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания, соответствующие следующим формулам:

1. a b c.

2. a b c.

3. c → (a b).

4. b → (a b).

5. ( a b) → c.

6. (a → b) → (c → b).

7. (a → b) a → c .

8. (a Ú b) → c.

9. c→ (a b).

10. c b a

При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.

Пример:a b c – Я работаю в офисе, и я люблю свою профессию,
и я учусь в университете.

Упражнение 12

Установите, являются ли данные формулы тождественно - истинными (или логическими законами).

1. a → (a b);

2. b → (a b);

3. (a → b) → (b → a);

4. a b a;

5. (a b) → b;

6. (a → b) → ( b → a).

7. ((a → b) a )→ b.

8. ((a → b) b) → a.

9. a a.

10. ((a b) a) → b.

Пример: (а ∩ b) (b ∩ a) –является логическим законом

a	b	a∩b	b∩a	(а ∩ b) (b ∩ a)
и	и	и	и	и
и	л	л	л	и
л	и	л	л	и
л	л	л	л	и