Скачать
презентацию
<<  Системы доказательства Круг в определении  >>
Логика высказываний

Логика высказываний. Первый из логических языков нашего курса. Последовательность имен высказываний А0, А1, А2,… . Определение формулы (логики высказываний). Логические константы 0 и 1 – формулы. Если А – имя высказывания, то А – формула. Если Ф, ? – формулы, ? – связка: ? (конъюнкция), ? (дизъюнкция), ? (импликация), ? (эквивалентность), то ?Ф, (Ф ? ?) – формулы. Индуктивное определение (построение) «Порочный круг» (цикл в определении – circulus in definiendo) – определение понятия через его же само? 13. 01.11.2014.

Картинка 18 из презентации «Введение в логику» к урокам алгебры на тему «Логика»

Размеры: 960 х 720 пикселей, формат: jpg. Чтобы бесплатно скачать картинку для урока алгебры, щёлкните по изображению правой кнопкой мышки и нажмите «Сохранить изображение как...». Для показа картинок на уроке Вы также можете бесплатно скачать презентацию «Введение в логику.ppt» целиком со всеми картинками в zip-архиве. Размер архива - 573 КБ.

Скачать презентацию

Логика

краткое содержание других презентаций о логике

«Основы логики» - Базовые логические операции. Регистры. Правила построения логического выражения. Рассмотрим первый вариант входных сигналов. Логические выражения и таблицы истинности. Как работает схема. Три одноклассника — Влад, Тимур и Юра. Логическая функция F2 является функцией логического умножения. Эквивалентность (логическое равенство, функция тождества).

«Логика как наука» - Огастес де Морган. Строгая дизъюнкция – исключающее «или». Формы мышления. Логическое отрицание (инверсия). Языковым выражением суждений является повествовательное предложение. Логическое сложение (дизъюнкция). Античную логику, созданную Аристотелем, называют формальной логикой. Логика. Логическое умножение (конъюнкция).

«Математическая логика» - Таблица истинности - перебор всех возможных комбинаций. Равносильные логические формулы. Моделирование логической структуры правовой нормы. Логические формулы. Понятие тавтологии. Закон исключения третьего. Закон силлогизма. Эквивалентность высказываний. Логика-это наука, изучающая формы и законы мышления.

«Задачи на логику» - Введение. Перемножим 1 и 3 скобки. Учитель математики просит поставить ему первый или второй урок. Кто из мальчиков какое место занял. Ни Воронов, ни Журавлев не умеют играть на баяне. На столе 3 совершенно одинаковых ящичка. В одной семье было много детей. В семье Семеновых пять человек: муж, жена, их сын, сестра мужа и отец.

«Введение в логику» - Теорема Кантора. Системы доказательства. Математика. Пределы расширения. Терминология. Значение формулы. Семантика связок. Построение натуральных чисел. Янош Бойяи. Аксиомы. Множество формул. Нахождение значения. Распространенные способы рассуждения. Круг в определении. Семантика. Аксиомы теории множеств.

«Примеры решения логических задач» - Задание для закрепления. Юноша. Утверждение. Девочка, вырастившая маргаритки. Разоблачение оракула. С помощью рассуждений. Кто стоит рядом с тобой. Маргарита вырастила розы. Жигули. Одно из высказываний истинно, а другое ложно. Истинное высказывание. Вадим не изучает китайский. Решение логических задач.

Всего в теме «Логика» 15 презентаций
Урок

Алгебра

34 темы
Картинка 18: Логика высказываний | Презентация: Введение в логику | Тема: Логика | Урок: Алгебра