Логика - контрольная работа МАЭП
2. Определить логическую структуру и выразить ее с помощью логических связок (стр.73)
Е) Неверно, что 5 делится на 2 или на 3
Это сложное суждение, состоящие из двух простых: a – 5 делится на 2, b – 5 делится на 3. Перед суждениями стоит отрицание «Неверно, что…», поэтому суждения выглядят как «— a» и «-- b». Всё выражение представляет собой дизъюнкцию: -- a v -- b .
Ж) Береги платье снову, а честь смолоду
Два суждения a – береги платье, b – честь смолоду. Всё выражение представляет собой конъюнкцию: a & b .
Д) Если я устал, то я не могу готовиться к занятиям
Два суждения a – я устал, b – я не могу готовиться к занятиям. Всё выражение представляет собой импликацию: a -- b .
3.