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) Все другие выражения, помимо предусмотренных, не являются ППФ языка логики высказываний.

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

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

Отрицание:

А

~А

и

л

л

и

Конъюнкция:

А

В

А/\В

и

и

и

л

и

л

и

л

л

л

л

л

Дизъюнкция:

А

В

А\/В

и

и

и

л

и

и

и

л

и

л

л

л

Импликация:

А

В

А->В

и

и

и

л

и

и

и

л

л

л

л

и

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

А

В

А<->В

и

и

и

л

и

л

и

л

л

л

л

и


 

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

55952. ПРАВОВІ ЗАСАДИ ФУНКЦІОНУВАННЯ МОВ В УКРАЇНІ 102 KB
  Відродження України неможливе без духовного відродження нації, а духовний прогрес народу неможливий без глибокого пізнання та освоєння народної моралі, культури мовлення. Лінгвісти стверджують, що ми не лише говоримо якоюсь мовою...
55953. УКРАЇНСЬКА ЮРИДИЧНА ТЕРМІНОЛОГІЧНА СИСТЕМА. ТРУДНОЩІ ПРИ ПЕРЕКЛАДІ ЮРИДИЧНИХ ТЕРМІНІВ З РОСІЙСЬКОЇ НА УКРАЇНСЬКУ МОВУ 116 KB
  З історії розвитку мови права. Роль і місце мови в юриспруденції. Правове регулювання статусу української мови Українознавство. До питання мови в юриспруденції Держава і право.
55954. ЛЕКСИКОЛОГІЯ, ЛЕКСИКОГРАФІЯ ТА ФРАЗЕОЛОГІЯ У ПРОФЕСІЙНОМУ СПІЛКУВАННІ 108 KB
  Усі слова наявні у мові становлять лексику. Тобто майже всі слова можна поділити за їх значенням в однорідні групи з єдиним тематичним направленням. До активної лексики належать слова які широко й повсякденно вживаються. Це звичайні слова без яких не можливо висловити жодної розгорнутої думки.
55955. СТИЛІСТИЧНІ ОСОБЛИВОСТІ ВИРАЖАЛЬНИХ ЗАСОБІВ МОВИ. ТИПОВІ ПОМИЛКИ У ТЕКСТІ ДОКУМЕНТА 50 KB
  Важливу роль у піднесенні мовної культури тексту документа відіграє стилістика як розділ лінгвістики що допомагає використовувати виражальні засоби мови у різних умовах спілкування відповідно до мети і змісту. Наприклад: українська мова в ході розслідування...
55956. ДОДЕРЖАННЯ НОРМ СУЧАСНОЇ УКРАЇНСЬКОЇ ЛІТЕРАТУРНОЇ МОВИ - УМОВА УСПІШНОГО СПІЛКУВАННЯ 114.5 KB
  Мовну підготовку слід розглядати як обовязковий елемент професійної підготовки правознавця - практичного працівника. Тому нашим завданням і є звернутися до грамотності, й, насамперед, до норм орфографії, граматики, морфології тощо.
55957. ГРАМАТИЧНА ПРАВИЛЬНІСТЬ ЯК ОЗНАКА КУЛЬТУРИ УСНОГО ТА ПИСЕМНОГО СПІЛКУВАННЯ 71 KB
  Відмінювання іменників Іменники це слова які називають предмети істоти опредмечені назви процесів дій ознак і відповідають на питання хто що закон право юрист арбітраж суддя слідчий офіцер правнича фундація документ ділова мова...
55958. КУЛЬТУРА УСНОГО ДІЛОВОГО СПІЛКУВАННЯ 186 KB
  Інтервю Візитна картка та її використання Орфоепія і культура усного мовлення Участь у дебатах Мистецтво публічного виступу Без спілкування люди не могли б жити в суспільстві працювати й передавати свій досвід і знання іншим.
55959. Сенсорне виховання дітей раннього віку «Ігровий майданчик» 76.5 KB
  Хід гризаняття Вихователь ставить на стіл будиночок теремок за яким розташовується 23 мотрійки і говорить малюкам що в будиночку живуть мотрійки. У третій частині заняття діти розглядають предмети витягнуті з іграшок наприклад серветки. Гразаняття Дві мотрійки Складання мотрійки з одним вкладишем Мета: розвивати навички виконувати прості дії з предметами відкривати та закривати мотрійки вкладати і виймати предмети; збагачувати сенсорний досвід під час знайомства з розміром.