Логика очень древняя наука. Ещё в античные времена была известна формальная логика, позволяющая делать заключения о правильности какого-либо суждения не по его фактическому содержанию, а только по форме его построения. Например, уже в древности был известен закон исключения третьего. Его содержательная трактовка была такова: «Во время своих странствований Платон был в Египте ИЛИ не был Платон в Египте». В такой форме это или любое другое выражение будут правильны (тогда говорили: истинно). Ничего другого быть не может: Платон либо был, либо не был в Египте - третьего не дано. 

Другой закон логики - закон непротиворечивости. Если сказать: «Во время своих странствий Платон был в Египте  И  не был Платон в Египте», то очевидно, любое высказывание, имеющее такую форму, всегда будет ложно. Если из теории следуют два противоречащих друг другу вывода, то такая теория безусловно неправильная (ложная) и должна быть отвергнута. 

Ещё один закон, известный в древности - закон отрицания: «Если НЕ верно, что Платон НЕ был в Египте, то значит, Платон был  в Египте». 

Формальная логика основана на “высказываниях”. “Высказывание” - это основной элемент логики, определяемый как повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно. 

В 1847 году английский математик Джордж Буль, преподаватель провинциального университета в маленьком городке Корке на юге Англии разработал алгебру логики. 

 Простые высказывания стали логическими переменными, которые могли иметь значения либо 1 (истина), либо 0 (ложь). Сложные высказывания – логическими выражениями.

Описание проектной задачи

 

КАК СПРАВИТЬСЯ С ЗАДАНИЕМ? 

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

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

3. Решите задания, чтобы сформировать пароли для архивов заданий:

- разработчик интерактивного модуля формальной логики;

- разработчик интерактивного модуля алгебры логики;

- сценарист интерактивного модуля формальной логики;

- сценарист интерактивного модуля алгебры логики.

4. Ознакомьтесь с особенностями своего задания (пароль вам уже известен).

- разработчик интерактивного модуля формальной логики;

- разработчик интерактивного модуля алгебры логики;

- сценарист интерактивного модуля формальной логики;

- сценарист интерактивного модуля алгебры логики.

5. Представьте итог работы своей команды - 2 интерактивных модуля по темам: "Формальная логика" и "Алгебра логики".

 

Примеры интерактивных модулей

 

Классификация "Расширения файлов"

Кроссворд  "Системы счисления"

Игра "Кто хочет стать миллионером"

 

 

 

ЗАДАНИЕ ДЛЯ разработчика интерактивного модуля

 

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

 

 

ЗАДАНИЕ ДЛЯ сценариста интерактивного модуля

 

Составьте сценарий (вопросы и ответы) для интерактивного модуля.

 

 

РЕФЛЕКСИЯ

 

Обсуждение хода выполнения проектной задачи  будет проводится на Форуме в теме "Проектная задача  "Истина и ложь"

 

РЕЗУЛЬТАТ ПРОЕКТНОЙ ЗАДАЧИ

 

1. Ссылки на интерактивный модуль в сети Интернет.

2. Самооценка (рефлексия) на форуме в теме "Проектная задача "Истина и ложь"

 

Состав  команд 

 

 

ИТОГИ

 

Команда	Формальная логика		Алгебра логики
	Интерактивный модуль	Рефлексия	Интерактивный модуль	Рефлексия
Мориарти	Викторина	Зачет	Кроссворд	Зачет
Барбоскины	Игра "Кто хочет стать миллионером"	Зачет	Игра "Кто хочет стать миллионером"	Зачет
Возвращение компутерщиков	Викторина	Зачет	Кроссворд	Зачет
ДУДОС	Игра "Кто хочет стать миллионером"	Зачет	Игра "Кто хочет стать миллионером"	Зачет
АП-АП	Игра "Кто хочет стать миллионером"	Зачет	Игра "Кто хочет стать миллионером"	Зачет
Аристотель	Игра "Кто хочет стать миллионером"	Зачет	Игра "Кто хочет стать миллионером"	Зачет
Доктор Ватсон	Виселица	Зачет	Игра "Кто хочет   стать миллионером"	Зачет
Соседнее село	Игра "Кто хочет   стать миллионером"	Зачет	Незачет	Зачет
Jesse Jane	Игра "Кто хочет    стать миллионером"	Зачет	Игра "Кто хочет    стать миллионером"	Зачет
R.Style	Игра "Кто хочет  стать миллионером"	Зачет	Викторина	Зачет
P.I.K.E.	Виселица	Зачет	Кроссворд	Зачет
Green Day	Кроссворд	Зачет	Слова из букв	Зачет
S.P.E.C.I.A.L.	Игра "Кто хочет стать миллионером"	Зачет	Виселица	Зачет
Моряки	Игра "Кто хочет стать миллионером"	Зачет	Незачет	Зачет
Авокадо	Незачет	Зачет	Кроссворд	Зачет
Логисты	Виселица	Зачет	Игра "Кто хочет   стать миллионером"	Зачет
Никодимы Святославичи	Игра "Скачки"	Зачет	Викторина	Зачет