Пятница, 29.03.2024, 12:27
Мой сайт
Приветствую Вас Гость | RSS
Меню сайта
Категории раздела
Основы логики [11]
История логики [8]
Логика мышления [4]
Практическая логика [5]
Законы логики [13]
Наш опрос
Оцените мой сайт
Всего ответов: 805
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » Статьи » Логика » Основы логики

Основы логики

Основы логики

Логика – наука о законах и формах мышления

Высказывание (суждение) – некоторое предложение, которое может быть истинно (верно) или ложно

Утверждение – суждение, которое требуется доказать или опровергнуть

Рассуждение – цепочка высказываний или утверждений, определенным образом связанных друг с другом

Умозаключение – логическая операция, в результате которой из одного или нескольких данных суждений получается (выводится) новое суждение

Логическое выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0)

Сложное логическое выражение – логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.

 

Логические операции и таблицы истинности

A

 F

 1

 1

1

 1

 0

 0

 1

 0

 0

F = A & B.

Логическое умножение  КОНЪЮНКЦИЯ  - это новое  сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И.

 

 

A

 F

 1

 1

1

 1

 0

1

 0

 1

 0

 0

F = A + B 

Логическое сложение – ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ

 

A

неА

 1

 1

 1

 0

Логическое отрицание : ИНВЕРСИЯ - если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным/ Данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО

 

 

A

 F

 1

 1

1

 1

 0

0

 0

 1

 0

 0

1

Логическое следование:  ИМПЛИКАЦИЯ - связывает два простых логических выражения, из которых первое является условием (А), а второе (В)– следствием из этого условия. Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Обозначается символом  "следовательно"  и  выражается словами ЕСЛИ … , ТО …

 

 

A

 F

 1

 1

1

 1

 0

0

 0

 1

0

 0

 0

Логическая равнозначность: ЭКВИВАЛЕНТНОСТЬ - определяет результат сравнения двух простых логических выражений А и В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символом "эквивалентности"

 

 

Порядок выполнения логических операций в сложном логическом выражении:

1. инверсия

2. конъюнкция

3. дизъюнкция

4. импликация

5. эквивалентность

 Для изменения указанного порядкавыполнения операций используются скобки.

 

Построение таблиц истинности для сложных выражений:

Количество строк = 2n + две строки для заголовка  (n - количество простых высказываний)

Количество  столбцов = количество переменных + количество логических операций

При построении таблицы надо учитывать все возможные сочетания логических значений 0 и 1 исходных выражений. Затем – определить порядок действий и составить таблицу с учетом таблиц истинности основных логических операций.

ПРИМЕРсоставить таблицу истинности сложного логического выражения D = неA & ( B+C )

А,В, С - три простых высказывания, поэтому :

количество строк  = 23 +2 = 10 (n=3, т.к. на входе три элеманта А, В, С)

количество столбцов :  1) А

2) В

3) С

4) не A  это инверсия А  (обозначим Е)

5) B + C это операция дизъюнкции (обозначим F)

6) D = неA & ( B+C ), т.е. D = E &  F это операция конъюнкции

1




 А

 В

 С

E = не А  (не 1)

F = В+С (2+3) 

D = E&F (4*5) 

 1

 1

0

1

 1

 0

0

1

0

1

 o

 1

0

1

0

1

 o

 0

0

0

0

0

 1

 1

1

1

1

0

 1

 0

1

1

1

0

 0

 1

1

1

1

0

 0

 0

1

0

0

 



Источник: http://informatika.sch880.ru/p25aa1.html
Категория: Основы логики | Добавил: sova (29.05.2009)
Просмотров: 1764 | Теги: логика | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Форма входа
Поиск
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2024Бесплатный конструктор сайтов - uCoz