Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

МАТ_ ЛОГИКА / Правила следования

.pdf
Скачиваний:
57
Добавлен:
06.06.2015
Размер:
39.69 Кб
Скачать

Важнейшие правила следования

Логическая

 

 

 

 

 

 

Введение

 

 

 

 

 

 

Удаление

операция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ù

 

 

 

Г ¦= А, Г ¦= В

 

 

 

 

 

 

Г ¦= Ù В)

 

 

 

 

 

Г ¦= Ù В)

 

 

 

 

 

 

 

 

 

 

Г ¦= В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г ¦= Ù В)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г ¦= А

 

 

 

 

 

 

 

 

 

 

 

 

Ù

 

 

 

 

 

 

 

Ù

Ú

 

 

 

 

 

 

Г ¦= А

 

 

Г ¦= Ú В); Г, A ¦= C; Г, B ¦= C

 

 

 

 

 

 

Г ¦= Ú В)

 

 

 

 

 

 

 

Г ¦= C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г ¦= В

 

 

 

Г, А ¦= C; Г, B ¦= C

 

 

 

 

 

 

Г ¦= Ú В)

 

 

 

 

 

 

 

Г,(А Ú В) ¦= C

 

 

 

 

 

 

 

 

 

Ú

 

 

 

 

 

 

 

Ú

Þ

 

 

 

 

 

Г, А, ¦= В

 

 

 

Г ¦= А, Г ¦= Þ В)

 

 

 

 

 

Г ¦= Þ В)

 

 

 

 

 

 

 

Г ¦= В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Þ

 

 

 

 

 

 

 

Þ

Û

 

Г ¦= Þ В); Г ¦= Þ А)

 

 

 

 

 

Г¦= Û В)

 

 

 

 

Г ¦= Û В)

 

 

 

 

Г ¦= Þ В)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г¦= Û В)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г ¦= Þ А)

 

 

 

 

 

 

 

 

Û

 

 

 

 

 

 

 

Û

Ø

 

 

 

 

 

 

Г, А ¦=

 

 

 

 

 

 

 

 

Г, ØА ¦=

 

 

 

 

 

 

 

Г ¦= (ØА)

 

 

 

 

 

 

 

Г ¦= А

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г, А ¦= В; Г, А ¦= (ØВ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г ¦= (ØА)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ø

 

 

 

 

 

 

 

Ø