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

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

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

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

34. 
    Кванторы.
    

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

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

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

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

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

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

35.