МАТ_ ЛОГИКА / Правила следования
.pdfВажнейшие правила следования
Логическая |
|
|
|
|
|
|
Введение |
|
|
|
|
|
|
Удаление |
|||||||||||||
операция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Ù |
|
|
|
Г ¦= А, Г ¦= В |
|
|
|
|
|
|
Г ¦= (А Ù В) |
||||||||||||||||
|
|
|
|
|
Г ¦= (А Ù В) |
|
|
|
|
|
|
|
|
|
|
Г ¦= В |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г ¦= (А Ù В) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г ¦= А |
|
|
|
|
|
|
|
|
|
|
|
|
|
→ Ù |
|
|
|
|
|
|
|
Ù → |
||||||||||||
Ú |
|
|
|
|
|
|
Г ¦= А |
|
|
Г ¦= (А Ú В); Г, A ¦= C; Г, B ¦= C |
|
||||||||||||||||
|
|
|
|
|
Г ¦= (А Ú В) |
|
|
|
|
|
|
|
Г ¦= C |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
Г ¦= В |
|
|
|
Г, А ¦= C; Г, B ¦= C |
||||||||||||||||
|
|
|
|
|
|
Г ¦= (А Ú В) |
|
|
|
|
|
|
|
Г,(А Ú В) ¦= C |
|
|
|||||||||||
|
|
|
|
|
|
|
→ Ú |
|
|
|
|
|
|
|
Ú → |
||||||||||||
Þ |
|
|
|
|
|
Г, А, ¦= В |
|
|
|
Г ¦= А, Г ¦= (А Þ В) |
|
||||||||||||||||
|
|
|
|
Г ¦= (А Þ В) |
|
|
|
|
|
|
|
Г ¦= В |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
→ Þ |
|
|
|
|
|
|
|
→ Þ |
||||||||||||
Û |
|
Г ¦= (А Þ В); Г ¦= (В Þ А) |
|
|
|
|
|
Г¦= (А Û В) |
|
||||||||||||||||||
|
|
|
Г ¦= (А Û В) |
|
|
|
|
Г ¦= (А Þ В) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г¦= (А Û В) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г ¦= (В Þ А) |
|
||||||||
|
|
|
|
|
|
|
→ Û |
|
|
|
|
|
|
|
Û → |
||||||||||||
Ø |
|
|
|
|
|
|
Г, А ¦= |
|
|
|
|
|
|
|
|
Г, ØА ¦= |
|
||||||||||
|
|
|
|
|
|
Г ¦= (ØА) |
|
|
|
|
|
|
|
Г ¦= А |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
Г, А ¦= В; Г, А ¦= (ØВ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
Г ¦= (ØА) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
→ Ø |
|
|
|
|
|
|
|
Ø → |