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

Логическая

Введение

Удаление

операция

Ù

Г ¦= А, Г ¦= В

Г ¦= (А Ù В)

Г ¦= (А Ù В)

Г ¦= В

Г ¦= (А Ù В)

Г ¦= А

→ Ù

Ù →

Ú

Г ¦= А

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

Г ¦= (А Ú В)

Г ¦= C

Г ¦= В

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

Г ¦= (А Ú В)

Г,(А Ú В) ¦= C

→ Ú

Ú →

Þ

Г, А, ¦= В

Г ¦= А, Г ¦= (А Þ В)

Г ¦= (А Þ В)

Г ¦= В

→ Þ

→ Þ

Û

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

Г¦= (А Û В)

Г ¦= (А Û В)

Г ¦= (А Þ В)

Г¦= (А Û В)

Г ¦= (В Þ А)

→ Û

Û →

Ø

Г, А ¦=

Г, ØА ¦=

Г ¦= (ØА)

Г ¦= А

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

Г ¦= (ØА)

→ Ø

Ø →