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

Понятие- это мысль, в которой на основании некоторого признака выделяют из мира и обобщают в класс все предметы, обладающие этим признаком.

Суждение – это мысль, в которой фиксируют некоторое положение дел в мире.

Теория – это множество, связанных понятий и суждений относительно какой-то предметной области.

Рассуждение – процедура обоснования некоторого высказывания путём пошагового выведения его из других высказываний.

Умозаключение- это простейший вид рассуждения, который является непосредственным переходом от посылок к заключению.

Контрпример- пример, опровергающий верность некоторого утверждения.

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

Язык – это знаковая система, предназначенная для фиксации, хранения и переработки информации.

Объектный язык – язык, выражения которого относятся к некоторой области объектов, их свойств и отношений.

Метаязык – язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным.

Знак – это материальный объект, используемый интерпретатором в качестве представителем другого предмета.

Смысл знака – смыслом является информация о предмете репрезентированного знаком или связанным с ним.

Значение знака – обозначение этим знаком предмет.

Логическое имя – единичный объект.
Предикат – незавершённые выражения, с помощью которых мы строим предложения.

Предметный функтор – незавершенные выражения, с помощью которых мы получаем новые имена.

Предложение – суждение, выраженное в языке.

Высказывание – предложение, в котором зафиксирован ровно один смысл (одно суждение), для которого можно определить его значение.

Логический термин – логические связки, кванторы.

Нелогические термины – логическое имя, предметные функторы,
предикаторы.

Алфавит ЯКЛВ – совокупность исходных символов данного формализованного языка (отрицания, коньюнкция и т.д.)

Формула ЯКЛВ – структура предложения естественного языка

Выражение языка – выражение, в котором операндами являются объекты, над которыми выполняются логические операции.

Подформула – это формула, входящая в состав некоторой формулы

Логически недетерминированное высказывание – высказывание, при котором истинность или ложность зависит не только от понимания логических связок (от логики), но и от фактов (от значения параметров)

Логически истинное высказывание – высказывание, при котором его структура – закон логики

Тождественно-истинная формула – логческая формула, принимающая значение «истина» при любой интерпритации логических символов в её составе

Тождественно-лоджная формула – логческая формула, принимающая значение «ложь» при любой интерпритации логических символов в её составе

Понятие закона логики высказываний – тождественно истинные высказывания, т.е. высказывания, остающиеся истинными при любых значениях входящих в них простых высказываний.

Зако?н то?ждества — закон логики, который гласит, что предмет суждения должен оставаться тождественным самому себе в этом суждении. Если А, то А, или А = А.

Недетерминированная формула – фомула, принимающая значения «истина» при одних интерпритация и «ложь» – при других

закон непротиворечия — закон логики, который гласит, что два противоречащих друг другу суждения не могут быть оба истинными. Если тезис принимает истинностное значение «истина», то антитезис принимает значение «ложь».

Закон снятия двойного отрицания – принцип, согласно которому «если неверно, что неверно А, то верно А»

Закон непротиворечивости – не могут быть истинны одновременно утверждение и его отрицание.

Закон исключенного третьего – закон логики, который гласит, что для каждого высказывания имеются лишь две возможности: это высказывание либо истинно либо ложно. Третьего не дано.

Закон отрицания импликации – закон логики, который гласит, что высказывание, вытекающее из своего собственного отрицания, истинно.

Законы де Моргана -
1. отрицание логического произведения эквивалентно логической сумме отрицаний множителей.
2. отрицание логической суммы эквивалентно логическому произведению отрицаний слагаемых.

Законы коммутативности, ассоциативности и дистрибутивности конъюнкции и дизъюнкции – В отличие от сложения и умножения чисел логическое сложение и умножение равноправны по отношению к дистрибутивности: не только конъюнкция дистрибутивна относительно дизъюнкции, но и дизъюнкция дистрибутивна относительно конъюнкции.