/\ - это логическое умножение
¬ это отрицание
V - логическое сложение
еще существует СЛЕДОВАНИЕ (обозначается стрелочкой влево)
тождественность (двухстороняя стрелочка)
/\ - это логическое умножение
¬ это отрицание
V - логическое сложение
еще существует СЛЕДОВАНИЕ (обозначается стрелочкой влево)
тождественность (двухстороняя стрелочка)