Условное (импликативное ) суждение, его строение и условия истинности

Условные (импликативные) суждения – состоят из нескольких простых, связанных логической связкой «если…, то…» (р→q), где р – антецедент (предшествующий) выполняет функцию фактического или логического основания, q – консеквент (последующий). Если предохранитель плавится (р), то электролампа гаснет (q) В естественном языке выражается союзами там…, где; тогда…, когда…; постольку…, поскольку; при наличии…, следует…; в случае…, следует…; при условии…, наступает…).

Условие истинности импликации – импликация истинна во всех случаях, кроме одного: при истинности антецедента (р – если…) и ложности консеквентна (q – то…) импликация будет ложной.

Зависимость между антецедентом-основанием и консеквентом-следствием характеризуется свойством достаточности – истинность основания обуславливает истинность следствия (при истинности основания, следствие всегда будет истинным). При этом основание не характеризуется свойством необходимости для следствия, ибо при ложности основания, следствие может быть как истинным, так и ложным.