ИМПЛИКАЦИЯ
ИМПЛИКАЦИЯ, логическое высказывание типа «если Р, то Q», соединяющее два элементарных высказывания — Р (антецедент) и Q (логическое следствие). В математической ЛОГИКЕ эти два высказывания не связываются. Существует материальная импликация, например, «если Земля плоская, тогда золото — металл». Материальная импликация ложна только в том случае, когда антецедент является истинным, а логическое следствие ложным, в других случаях она верна. В обычном рассуждении используется формальная импликация, при которой простые суждения связаны по смыслу, например, «если не будет дождя, мы пойдем на прогулку». Импликация записывается следующим образом Р " Q (или Р Ю Q), что читается как «Р подразумевает Q».