Элементы логики высказываний

Страницы: <<  <  1 | 2 | 3 | 4 | 5  >  >>

бое натуральное число х рационально.
Любое число х рационально.
Существует число х, которое иррационально.
Число х рационально.
Если число х иррационально, то число х 1 тоже иррационально.
Число называется рациональным, если оно равно отношению целого числа к натуральному.
Верно ли, что число 2 иррационально?
Докажите, что число 2 иррационально.
Какие предложения являются высказываниями? Как вы думаете?
Обсуждение правильных ответов.
h

h

ª

Ê
摧塒q
ሁ桤ā愀Ĥ摧㩖ᄀ

ª

Ä
Ê







葠摧䏾логика изучает такие операции над высказываниями, в результате применения которых снова получается высказывание. Математическая логика предлагает формализованный язык для описания этих операций, что позволяет построить формальную модель человеческих рассуждений.
С некоторыми логическими операциями вы наверняка знакомы еще по базовому курсу информатики. Это прежде всего операция конъюнкции (по-другому, операция и), дизъюнкции (по-другому, операция или) и операция отрицания (по-другому, операция не). Но есть и другие операции, они перечислены в таблице
Логическая операция
Обозначение
Смысл в обычном языке
Конъюнкция, логическое умножение
&, , Λ
Союзы и, а, но
Дизъюнкция, логическое сложение
V,
Союз или
Отрицание, инверсия

Частица не
Разделительная дизъюнкция, исключающее или, сложение по модулю 2

Оборот или только. . . , или только. . .
Импликация, следование

Оборот если. . . , то. . .
Равносильность, равнозначность, эквиваленция
,
Обороты тогда и только тогда, необходимо и достаточно
Значения логических операций задаются, как вы знаете, с помощью таблиц истинности.

Страницы: <<  <  1 | 2 | 3 | 4 | 5  >  >>
Рейтинг
Оцени!
Поделись конспектом: