Синтаксические

b =Df a

термин «b» вводится как тождественный по смыслу термину «а»

а₁ =Df Петя

2) семантические (остенсивные)

Логическое определение (дефиниция) – установление смысла терминов

В процессе построение определения два правило надо соблюдать:

(1) правило однозначности – один и тот же дефиниендум не должен определяться через 2 и более семантически не тождественных дефиниенца.

(2) правило недопустимости круга – дефиниендум определения не должен входить в качестве термина в дефиниенц.

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

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

Высказывание (пропозиция) – символ, использующийся с целью обозначения какого-либо суждения

Переменная – символ, вместо которого допускается подстановка других символов определенного вида.

Формула – переменна, построенная из других переменных и логических операторов.

сюда же идет

Модус поненс	Модус толленс
Если А, то Б	Если А, то Б
А	не Б
Б	не А

A <-> B = (A à B) ^ (B à A)

Контрадикторные высказывания – только одно истинно

(A à not B) ^ (not A à B)