Табличное определение логических констант

А В		А & В		А → В	А V В
И	И		И	И	И
И	Л		Л	Л	И

Л И

Л

И

И

Л Л

Л

И

Л

Общие требования к определениям

•Корректное определение должно отвечать следующим требованиям:

1.быть ясным и четким;

2.содержать только достаточные и необходимые признаки;

3.не должно содержать в себе порочного круга.

Правило явного определения

•Чтобы явное определение было корректным, в нем должно выполняться правило:

WDfd. = W Dfn.

.

Несоразмерное определение

•Если правило нарушается, то определение является несоразмерным.

А

В

А В

В А

А

В