Основные понятия и определения дисциплины


Download 0.68 Mb.
bet20/28
Sana04.05.2023
Hajmi0.68 Mb.
#1426224
1   ...   16   17   18   19   20   21   22   23   ...   28
Bog'liq
ответы

Законы де Моргана:
1) ;
2) ;
Закон контрапозиции:
;
Законы поглощения:
1) ;
2) ;
Законы дистрибутивности:
1) ;
2) .



  1. Равносильность. Логическое следствие.

Отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов "выводимо", "вытекает" и т. п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие Л. с. обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона и модели.
логически вытекает высказывание "Если натрий непластичен, он не металл", поскольку импликация, основанием которой является первое высказывание, а следствием - второе, представляет собой частный случай логического контрапозиции закона.
В современной логике проблема адекватного описания Л. с. возникла в связи с тем, что логика классическая дает слишком широкое его описание, в ряде моментов не согласующееся с интуитивным представлением о следовании одних высказываний из других. В частности, согласно этой логике, из противоречия логически следует любое высказывание, логически истинное высказывание следует из любого и т. П.

  1. Кванторы.

Квантор — общее название для логических операций, ограничивающих область истинности какого-либо предиката. Чаще всего упоминают квантор всеобщности (обозначение: , читается: «для всех…», «для любого…» или «любой…») и квантор существования (обозначение: , читается: «существует…» или «найдётся…»). В математической логике приписывание квантора к формуле называется связыванием или навешиванием квантора. Существует также квантор плюральности (квантор Решера) W (перевёрнутая M). Wx означает "для большинства x".
Квантор — В логике предикатов, большое значение имеют 2-е операции называемые:

  1. Квантор «Существования»

  2. Квантор «Общности»

(«При всех значениях (x) утверждение верно»).

  • Высказывание означает, что область истинности предиката P(x) непуста.

(«Существует (x) при котором утверждение верно»).


  1. Download 0.68 Mb.

    Do'stlaringiz bilan baham:
1   ...   16   17   18   19   20   21   22   23   ...   28




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling