Импликация (Implication)

Импликация (Implication)

Отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q. Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое суждение ложно, второе может быть как ложным, так и истинным. С точки зрения формальной логики импликация как целое может быть ложной тогда и только тогда, когда она связывает истинный антецедент (предшествующий член. – Прим. пер.) с ложным следствием. Например, суждение «Если Париж – столица Франции, то у кур есть зубы» – ложно. Напротив, импликация, начинающаяся с ложного суждения, обязательно верна. Так, суждение «Если у кур есть зубы, то я – французский король» истинно всегда, независимо от того, кому оно принадлежит – Людовику XIV или вашему покорному слуге.

Данный текст является ознакомительным фрагментом.