Сложные суждения


главная страница Рефераты Курсовые работы текст файлы добавьте реферат (спасибо :)Продать работу

поиск рефератов

Реферат на тему Сложные суждения

скачать
похожие рефераты
подобные качественные рефераты

Размер: 24.19 кб.
Язык: русский
Разместил (а): Галя Ганская
12.01.2011
 1 2 3

И

Л

Л

Л

И

Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (АВ)˄(ВА).

Равносильность выражений (А«В) и (АВ)˄(ВА) может быть доказана с помощью таблицы истинности.

Отрицание

Отрицание – это логическая операция, с помощью которой из одного высказывания получают новое, при этом простое суждение Pпревращается в сложное, и если исходное простое суждение истинно, то новое сложное суждение ложно – «неверно, что P» или «высказывание А ложно тогда, когда высказывание А¯ истинно»

А

А¯

И

Л

Л

И

Двойное отрицание – это операция по отрицанию отрицательного суждения. Повторное отрицание ведет к утверждению или, иначе, отрицание отрицания равносильно утверждению: А→ А˭– «если А, то неверно, что не-А», или А˭ºА – «неверно, что не-А, если и только если верно, что А».

А

А¯

И

И

Л

Л

Выражение одних логических связок посредством других

Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие. Например:

А→ В= А˅В – импликация через дизъюнкцию

А→ В = В→ А – импликация через импликацию

А→ q= А˄ В – импликация через конъюнкцию

А˄В= А˅ В – конъюнкция через дизъюнкцию

А˅В= А˄ В – дизъюнкция через конъюнкцию

А˄В= А˅ В – конъюнкция через дизъюнкцию

Таблицы истинности

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

А

В

А¯

В¯

А˄В

А˅В

А→В

А«В

И

И

Л

Л

И

И

И

И

И

Л

Л

И

Л

И

Л

Л

Л

И

И

Л

Л

И

И

Л

Л

Л

И

И

И

Л

И

И

Таблицы истинности находят широкое применение для

  • Вычисления истинности сложных высказываний;

  • Установления эквивалентности высказываний;

  • Определения тавтологий.

Равносильные формулы логики высказывания – это выказывания, которые принимают одинаковое значение истинности при одних и тех же значениях элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯

Тождественно-истинная формула (тавтология) – это формула, которая принимает значения истины при всех значениях, входящих в нее элементарных высказываний

Тождественно-ложная формула (противоречие) – формула, которая при всех значениях, входящих в нее элементарных высказываний, принимает значение лжи.

Пример:

¯˅ В)→(А˄В)

А

А¯

В

А¯˅ В

А˄В

¯˅ В)→(А˄В)

И

Л

И

И

И

И

И

Л

Л

Л

Л

И

Л

И

И

И

Л

Л

Л

И

Л

И

Л

Л

Список использованной литературы

  1. М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк «Логика. Учебное пособие», Омск, 2005.

  2. Гладкий А.В. «Введение в современную логику», МЦМНО, 2001.

  3. Челпанов Г.И. «Учебник логики», Москва, 1897.

 1 2 3

загрузка...
Удобная ссылка:

Скачать реферат бесплатно
подобрать список литературы


Сложные суждения


Постоянный url этой страницы:
Реферат Сложные суждения


Разместите кнопку на своём сайте:
Рефераты
вверх страницы


© coolreferat.com | написать письмо | правообладателям | читателям
При копировании материалов укажите ссылку.