Импликация

Определение "Импликация" в НТС

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