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