Импликация

No votes yet.
Please wait...

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

No votes yet.
Please wait...