**Логика** (др.-греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος — «речь», «рассуждение») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о правильном мышлении. Поскольку мышление оформляется в языке в виде рассуждения, частным случаем которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

**Тавтологией** в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонент.



 Примеры тавтологий:

{{:tema:c047cfcf4fa4fd86bdb914f1f79b73e1.png|}}
\\
{{:tema:0138d32f9ed214ec51aa1b46ebe0e700.png|}}

{{:tema:8f72e1a34ee752cc26d01457b21f4e9e.png|}}