тест - вопрос №4526324

1.Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание.
Какая из формул тавтология, если здесь пропозициональная переменная только A?

/> (A⊃Л)~И /> (A⊃Л)~A /> (A⊃Л)~Л /> (A⊃Л)~¬А
2.Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание.

Какая из формул тавтология, если здесь пропозициональная переменная только A?

/> (A&Л)~¬Л /> (A&Л)~И /> (A&Л)~A /> (A&Л)~Л
3.Выберите верные утверждения. /> Логический вывод напоминает процесс мышления, но при этом мы не должны считать, что его правила суть правила человеческой мысли. /> Обычно формальный (синтаксический) вывод бывает короче по сравнению с соответствующей «естественной» мыслью. /> Понятие доказательства не принадлежит математике, математике принадлежит лишь его математическая модель – формальное доказательство.