Мы постоянно имеем дело с разными высказываниями. Иногда они совершенно простые: «корова», «дождь», «холодно». Иногда высказывание чуть посложнее: «корова мычит», «все вороны чёрные», «если пойдёт дождь, я возьму зонтик». И далеко не всегда понятно, что одна фраза логически эквивалентна другой. О чём речь? Речь идёт про логическую эквивалентность. Её ещё называют логическая равнозначность, или эквиваленция. Это логическое выражение, указывающее, что два высказывания всегда одинаково истинны или одинаково ложны...

В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...