Росдистант ТГУ. Математическая логика, алгебра и теория чисел . Лекция 5.1. Понятие логического следствия. Следование и равносильность формул. Приложение алгебры высказываний к логико- математической практике . Промежуточный тест 5

Вопрос 1

Высказывание A – «169 делится на 13», а высказывание B – «103 делится на 7». Определите значение истинности высказывания.

Вопрос 2

Пусть высказывание A – «121 делится на 11», а высказывание B – «99

делится на 2». Определите значение истинности высказывания .

Вопрос 3

Формулу преобразуйте равносильным образом так, чтобы она содержала только логические связки.

Вопрос 4

Пусть высказывание A – «36 делится на 3», а высказывание B – «5 делится на 2». Определите значение истинности высказывания.

Вопрос 5

Формулу преобразуйте равносильным образом так, чтобы она содержала только логические связки.

Вопрос 6

Высказывание A – «2430 делится на 3», а высказывание B – «112 делится на 5». Определите значение истинности высказывания

Вопрос 7

Высказывание A – «361 делится на 19», а высказывание B – «111 делится на

2». Определите значение истинности высказывания

Вопрос 8

Высказывание «Если в параллелограмме не все углы прямые или не все

стороны равны между собой, то этот параллелограмм – не прямоугольник

или не ромб» запишите на языке математической логики.

Вопрос 9

Какую функцию реализует вентиль?

Вопрос 10

Пусть высказывание A – «14 делится на 7», а высказывание B – «100 делится

на 13». Определите значение истинности высказывания