В формальной логике - ответ в сканворде или кроссворде
10 букв
Заключение 7) Суждение, которое должно быть признано истинным, если посылки, из которых оно выводится, признаны истинными [в формальной логике]
12 букв
Противоречие - в формальной логике - наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно - отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле - утверждение о тождестве заведомо различных объектов
Силлогистика - 1) Учение о силлогизмах (в формальной логике) 2) Бесплодные, беспредметные рассуждения