Математическая логика

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

(Предложить привести детям свои примеры и указать, что относится к декларативному типу, а что к процедурному)
Об информации можно говорить истинна она или ложна. Повествовательное предложение, в отношении которого имеет смысл говорить о его истинности или ложности, называется - высказыванием (Аристотель)
Высказывания обозначаются большими буквами латинского алфавита (A, B, C. . . ) Пример А1(истина) и А0 (ложь)
Теперь давайте разберём примеры:
1) Москва столица России (истина)
2) Все ученики школы отличники (ложь)
3) Каша - вкусное блюдо (не является высказыванием)
Это означает, что логика изучает такие операции на высказываниями, в результате применения которых снова получается высказывание. При этом не требуется вникать в смысл высказываний, над которыми производятся операции.
Образование новых высказываний из исходных, с помощью логических связок: "не", "и", "или", "если то", "тогда и только тогда" - называются логическими операциями.
Теперь возьмите карточки, которые лежат у вас на партах, и давайте с каждой из операций, с вами познакомимся. Потом эти карточки вклейте в тетради, и основные определения вам надо будет выучить наизусть (приложение 1)
Значения логических операций задаются с помощью так называемых таблиц истинности. В них для всевозможных комбинаций значений аргументов записывается результат применения операций. Для всех операций одновременно эти таблицы собраны на ваших листочках с обратной стороны (приложение 2)
В ней значений аргументов и результат применения операций обозначены цифрами "1" (истина ) и "0" (ложь)
Учащиеся записывают полученную информацию в тетрадь (не всю, а лишь ту которую учитель диктует под запись)


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