95178

Логика высказываний: язык, определение формулы, семантика логических союзов

Доклад

Иностранные языки, филология и лингвистика

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

Русский

2015-09-20

46 KB

2 чел.

75. Логика высказываний: язык, определение формулы, семантика логических союзов.

Логическое высказывание – 1)предложение, выражающее суждение; - 2)это связь двух терминов между собой, которой присущи следующие свойства: эта связь всегда выражает законченную мысль и она обладает свойством быть истинной или ложной; -3) повествовательное предложение, которое формализует некоторое выражение мысли; - 4) это утверждение, которому всегда можно поставить в соответствие одно из двух логических значений (ложь или истина).

Любое высказывание имеет смысл и значение. Смысл – сообщаемая информация, через которую раскрывается содержание высказывания. Два логических значения высказывания: ложь и истина.

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

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

Язык логики высказываний – это искусственный язык, предназначенный для анализа логической структуры сложных высказываний.

Язык логики высказываний включает в себя: алфавит, определение правильно выстроенных выражений, интерпретацию. Алфавит языка логики высказываний содержит три категории знаков:

1. символы для высказываний (пропозициональные переменные): p, q, r, p1, q1, r1 и т.д.

2. символы для логических связок (логические союзы):

   ~  знак отрицания (союз «неверно, что…»)

   /\  знак конъюнкции (союз «и»)

   \/  знак дизъюнкции (союз «или»)

  -> знак импликации (союз «если…, то…»)

 <-> знак эквивалентности (союз «если и только если…, то…»)

3. технические знаки: (,) - скобки.

Никаких других знаков в языке логики высказываний нет.

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

Определение формулы логики высказываний – допустимые в логике высказываний выражения, называемые правильно построенными формулами (ППФ), вводятся следующим определением:

1) Всякая пропозициональная переменная (p, q, r …) есть формула;

2) Если А – произвольная формула, то ~А – тоже формула;

3) Если А и В – произвольные формулы, то А/\В, А\/В, А->В, А<->В – тоже формулы;

4) Все другие выражения, помимо предусмотренных, не являются ППФ языка логики высказываний.

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

Семантика логических союзов может быть разъяснена с помощью таблиц истинности.

Отрицание:

А

~А

и

л

л

и

Конъюнкция:

А

В

А/\В

и

и

и

л

и

л

и

л

л

л

л

л

Дизъюнкция:

А

В

А\/В

и

и

и

л

и

и

и

л

и

л

л

л

Импликация:

А

В

А->В

и

и

и

л

и

и

и

л

л

л

л

и

Эквиваленция:

А

В

А<->В

и

и

и

л

и

л

и

л

л

л

л

и


 

А также другие работы, которые могут Вас заинтересовать

5341. Прогнозирование производства продукции скотоводства в племзаводе по разведению черно-пестрого скота с поголовьем коров 1000 голов, удоем 7000 кг молока в год на одну корову 216.5 KB
  Скотоводство является превалирующей отраслью животноводства. Традиционно в России разведением племенного скота занимались наиболее зажиточные крестьяне, помещики, также высокая культура скотоводства всегда поддерживалась в монастырских хозя...
5342. Разработка комплексного проекта свиноводческой фермы с годовой производительностью 25 000 ц свинины в живой массе 278.5 KB
  Введение. Свиноводство имеет большое народно-хозяйственное значение. На долю его приходится свыше 20% валовой продукции животноводства и 10% всей продукции сельского хозяйства. Высокая плодовитость свиней, короткий эмбриональный период, скороспелост...
5343. Комплексная оценка метеорологической обстановки по заданной воздушной трассе 76 KB
  Оценка характера синоптической обстановки. В районе ИПМ (Берлин) находится неустойчивая холодная воздушная масса. Берлин находится в тыловой части циклона, в центре которого давление 990. Далее маршрут проходит через холодный фронт, далее тёплый...
5344. Микропроцессорное устройство Измерения частоты вращения ротора двигателя 99 KB
  Объектом проектирования является измеритель частоты вращения ротора двигателя. Цель работы – создание микропроцессорного комплекса измерения частоты вращения ротора двигателя . В результате проектирования разработана принципиальная...
5345. Работа со списками в MS EXCEL 206.5 KB
  Работа со списками в MS EXCEL Цель: Приобрести навыки поиска и агрегирования данных в списке. Краткая теория Компьютерные информационные технологии широко используются для анализа данных и подготовку управленческих решений на основе экономико ...
5346. Финансовый анализ. Технология подбора параметра 196.5 KB
  Финансовый анализ. Технология подбора параметра Цель работы: приобрести навыки решения задач финансового менеджмента с использованием встроенных функций MS Excel. Краткая теория ФИНАНСОВЫЕ ФУНКЦИИ В MS Excel встроен ряд функций, позволяющий...
5347. Работа с базами данных в MS EXCEL 55.5 KB
  Работа с базами данных в MSEXCEL Цель: Приобрести навыки использования встроенных функций МS Ехсеl для работы со списками. Краткая теория Информационная технология обработки данных в информационных системах предполагает их хранение и обработку...
5348. Информационная технология поиска решения 89 KB
  Информационная технология поиска решения Цель работы: ознакомиться со средствами поиска решения MS Excel на примере задач линейного программирования. Краткая теория Методы линейного программирования эффективно используются для решения задач опт...
5349. Частотный анализ в среде MS Excel 108 KB
  Частотный анализ в среде MS Excel Цель работы: Приобрести навыки решения задач частотного анализа с помощью функции рабочего листа анализа MS Excel. Краткая теория При анализе экономических показателей часто возникает вопрос, как часто вст...