Суждение, включающее в качестве составных частей простые суждения, соединенные логическими связками - конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, - называется сложным. Б соответствии с функциями логических связок основными видами сложных суждений являются: 1) соединительные (конъюнктивные) -р a q; 2) разделительные (дизъюнктивные) - р v q; 3) условные (им-пликативные) - р —» q; 4) эквивалентные суждения (двойная импликация) - p = q.
В разделительных (дизъюнктивных) суждениях следует различать нестрогую, или слабую, - р v q и строгую, или сильную, -р V q,a также полную, или закрытую, - <р v q> и неполную, или открытую - р v q дизъюнкцию (см. учебник, гл. IV, § 3).