We prove that (3,3)-homogeneous logics with 15 or 17 atoms are unique and for 16 atoms such logic does not exist. We also describe the automorphism groups for such logics and construct (3,3)-homogeneos logics (with 19 ...
В статье предложен один из методов формирования умения правильно рассуждать у учащихся 9 класса на курсе по выбору. Этот метод основан на использовании средств математической логики при решении задач на распознавание ...