4.Импликация.
Импликацией или логическим следствием высказываний А и В называется высказывание, ложное
тогда и только тогда, когда А – истинно, В – ложно. Высказывание А называется посылкой, а В - следствием или заключением.
Если три стороны одного треугольника равны трем сторонам другого треугольника, то такие треугольники равны.(истина)
Если три стороны одного треугольника равны трем сторонам другого треугольника, то такие треугольники не равны. (ложь)
Если три стороны одного треугольника не равны трем сторонам другого треугольника, то такие треугольники не равны. (истина)