Импликация и эквиваленция

Задачи и упражения

Задание №1. Составьте логическое выражение:
1) Я поеду в Москву и встречу там друзей, то мы интересно проведем время.
2) Если я поеду в Москву и встречу там друзей, то мы интересно проведем время.
3) Неверно, что если дует ветер , то Солнце светит тогда и только тогда, когда нет дождя.
4) Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурная, то ребята пойдут в кино.
5) Неверно, что если погода пасмурная, то дождь идет тогда и только тогда, когда нет ветра.

Задание №2. Составить таблицы истинности для формул:

  1. ((А \/ ¬В)-> B) /\ (¬ A \/ B)
  2. ¬(A /\ B) ~ (¬A \/ B)
  3. ¬(A -> B) ~ (¬B -> ¬A)

Задание №3. Для какого из указанных значений числа X истинно высказывание ((X < 5) -> (X < 3)) /\ ((X < 2) -> (X < 1)).

1)1 2)2 3)3 4)4