ТОНКМ / выссказывание

БИЛЕТ №6

Высказыванием называется повествовательное предложение, о котором можно сказать истинно оно или ложно. Квантор общности – это выражения всякий, любой, каждый, все.Обознач.  истинность высказывания с квантором общности доказывается, а ложность путем конкретного примера.

Отрицанием высказывания А называют высказывание А, которое ложно, если высказывание А истинно.

Построение отрицаний

Законы де Моргана. Чтобы построить отрицание конъюнкции необходимо. 1. Построить отрицание каждого высказывания. 2. Конъюнкцию заменить на дизъюнкцию и наоборот.

Построение отрицаний высказываний с квантором.

Квантор общности заменить на существования и наоборот

Высказывание, стоящее после квантора, заменить на его отрицание.