95178

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

Доклад

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

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

Русский

2015-09-20

46 KB

1 чел.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Отрицание:

А

~А

и

л

л

и

Конъюнкция:

А

В

А/\В

и

и

и

л

и

л

и

л

л

л

л

л

Дизъюнкция:

А

В

А\/В

и

и

и

л

и

и

и

л

и

л

л

л

Импликация:

А

В

А->В

и

и

и

л

и

и

и

л

л

л

л

и

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

А

В

А<->В

и

и

и

л

и

л

и

л

л

л

л

и


 

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

76980. Субъекты административной ответственности. Общие специальные и особые субъекты административной ответственности 27.6 KB
  Субъекты административной ответственности. Общие специальные и особые субъекты административной ответственности. Субъектами административной ответственности чаще всего выступают субъекты административного проступка т. совершившие административное правонарушение физические лица и привлекаемые за это к административной ответственности.
76981. Обстоятельства, исключающие административную ответственность. Освобождение от административной ответственности 26.69 KB
  Освобождение от административной ответственности. Обстоятельства исключающие административную ответственность установленные законодательством юридические факты схожие с административными правонарушениями но при которых отношения ответственности не возникают: недостижение возраста административной ответственности для физических лиц крайняя необходимость невменяемость для физических лиц. Невменяемость состояние при котором лицо не могло сознавать фактический характер и противоправность своих действий бездействия либо руководить...
76982. Административное правонарушение как основание административной ответственности: понятие, сущность, признаки, отличающие от других видов правонарушений 29.81 KB
  Лицо может быть привлечено к административной ответственности если в его действиях со держатся все признаки конкретного состава правонарушения и отсутствуют основания исключающие ответственность.
76983. Юридический состав административного правонарушения. Виды составов. Под составом административного правонарушения 29.42 KB
  Юридический состав административного правонарушения. Под составом административного правонарушения понимается установленная правом совокупность признаков элементов при наличии которых антиобщественное деяние может повлечь административную ответственность. Элементами состава административного правонарушения являются: объект субъект объективная сторона субъективная сторона. Объект административного правонарушения общественные отношения возникающие в сфере государственного управления регулируемые нормами права и охраняемые мерами...
76984. Административное наказание как средство реализации административной ответственности: понятие, цели, система административных наказаний 25.62 KB
  Административное наказание является установленной государством мерой ответственности за совершение административного правонарушения и применяется в целях предупреждения совершения новых правонарушений как самим правонарушителем так и другими лицами. За совершение административных правонарушений могут устанавливаться и применяться следующие административные наказания...
76985. Краткая правовая характеристика каждого вида наказания 25.52 KB
  Конфискацией орудия совершения или предмета административного правонарушения является принудительное безвозмездное обращение в федеральную собственность или в собственность субъекта Российской Федерации не изъятых из оборота вещей. Административное выдворение за пределы Российской Федерации иностранных граждан или лиц без гражданства заключается в принудительном и контролируемом перемещении указанных граждан и лиц через Государственную границу Российской Федерации за пределы Российской Федерации а в случаях предусмотренных законодательством...
76986. Общие правила наложения административных наказаний, учет смягчающих и отягчающих наказание обстоятельств 27.21 KB
  Общие правила наложения административного наказания. Административное наказание за совершение административного правонарушения назначается в пределах установленных законом предусматривающим ответственность за данное административное правонарушение в соответствии с КоАП. При назначении административного наказания физическому лицу учитываются характер совершенного им административного правонарушения личность виновного его имущественное положение обстоятельства смягчающие административную ответственность и обстоятельства отягчающие...
76987. Назначение административных наказаний. Сроки давности привлечения к административной ответственности. Сроки действия административных наказаний 27.49 KB
  Сроки давности привлечения к административной ответственности. Если срок давности привлечения к административной ответственности истек то дело об АПН не м. После вынесения постановления сроком давности мы не связаны т. обжаловать можно без привязки к сроку давности.
76988. Административный процесс: понятие, сущность, признаки в широком и узком понятии. Структура административного процесса 28.72 KB
  Структура административного процесса. Административный процесс урегулированный нормами административного права порядок правоприменительной деятельности органов государственной власти органов местного самоуправления и их должностных лиц по реализации полномочии соответствующих органов. административную юрисдикцию в сфере административной ответственности; в порядок осуществления правосудия по публичноправовым административным спорам между органами публичной власти с одной стороны и гражданами и организациями юридическими лицами с...