Логика - контрольная работа МАЭП
Рефераты >> Логика >> Логика - контрольная работа МАЭП

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.


Страница: