Математическая логика презентация

истинности отрицания.
Конъюнкция, таблица истинности.
Дизъюнкция, таблица истинности.
Строгая дизъюнкция, таблица истинности.
Импликация, таблица истинности.
Эквиваленция, таблица истинности.
Приоритет логических операций.
Алгоритм построения таблиц истинности.

ложности одних высказываний на основе истинности или ложности других высказываний.

оно или ложно. Истина=1 Ложь=0 А: «дважды два равно четырем» истинно А=1, В: «три больше пяти» всегда есть ЛОЖЬ В=0.

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

-
понятие о свойствах и отношениях предмета мысли.
Субъект и предикат - термины суждения.

Связка -
отношения между субъектом и предикатом (выражается «есть», «не есть», «является», «состоит» и т.д.)
Квантор -
указывает, относится ли суждение ко всему или к части объема понятия, выражающего субъект («все», «некоторые», «многие», «ни один», и т.п.).

«процессора, памяти и внешних устройств» - предикат,
«состоят» - связка,
«все» - квантор.

высказывание ложно, и ложна, когда высказывание истинно.

когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно.

Конъюнкция (AND, и, но, а, однако )

когда хотя бы одно высказывание истинно и ложна, когда оба высказывания ложны.

дизъюнкция двух высказываний истинна тогда, когда только одно из высказываний истинно.

когда из истинного высказывания следует ложное.

тогда, когда оба высказывания истинны или оба ложны.

сложные высказывания.

четное, либо нечетное, третьего не дано. Аня отличница, но плохая спортсменка. Если пожелтели листья, то пришла осень. Чтобы перейти на следующий курс достаточно сдать сессию на тройки.

v В) → В) ^ А

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



Определить количество строк (К) таблицы по формуле к=2n , где n - количество переменных.