Читайте также:
|
Сложные суждения образуются из простых, которые связываются между собой посредством логических союзов (связок) «и», «или», «либо», «если..., то...» и др.
В соответствии с функциями логических связок сложные суждения делятся на следующие виды: соединительные, разделительные и условные.
К числу наиболее распространенных логических связок в сложных суждениях относится конъюнкция.
Конъюнкция (лат. соnjuntio — союз, связь) есть логический аналог соединительной связи, имеющейся во всяком развитом языке коммуникации.
С помощью соединительной связи обычно выражают мысли о какой-либо совместности (структурной, хронологической, собственно логической и пр.) двух и более событий.
Конъюнктивная формула записывается обычно как (А ^ В). В русском языке конъюнктивную связь передают обычно с помощью соединительных союзов «и», «а также», «как..., так и...», «но также и..» и аналогичных им.
В устной речи конъюнктивную связь выражают последовательным перечислением конъюнктов, а в письменной речи их перечислением через запятую.
В отличие от логического отрицания конъюнкция является двухместной (бинарной) связкой.
Противоположной для операции конъюнкции является операция дизъюнкции. Название «дизъюнкция» происходит от лат. disjunctio — разделение, разобщение.
Дизъюнкция представляет собой логический аналог разделительной связи, выражаемой в русской языке обычно с помощью выражений «или..., или...», «либо…, либо …», «и/или».
Различают строгую (исключающую, разделительную) и нестрогую (неисключающую, неразделительную) дизъюнкцию. Нестрогая дизъюнкция записывается как (А v В), строгая дизъюнкция — как (А ▼ В). Строгой дизъюнкции в русском языке соответствует оборот «либо..., либо».
Например:
«Профессор на лекции обещал поставить зачет тем студентам, которые выполнят контрольную работу или напишут реферат».
Такое обещание гарантирует зачет студентам, выполнившим хотя бы одну из упомянутых работ. В то же время не исключена возможность написания каким-либо студентом и контрольной работы, и реферата. Ясно, что такой студент также не будет обижен профессором на аттестации. Здесь, следовательно, имеет место ситуация неисключающей дизъюнкции — (р v q).
Далее профессор выставляет нерадивому студенту жесткое условие: либо реферат сдается студентом в течение недели, либо аттестация переносится на следующую сессию.
Выбор у студента прост: произойдет лишь одно из названных профессором событий, совмещение их невозможно. Здесь, следовательно, имеет место строгая разделительная дизъюнкция — (р ▼ q).
Особой и важнейшей из логических связок, которую по праву называют сердцем символической логики, является операция импликации. Название «импликация» происходит от лат. implicito, что означает «тесно связываю».
В русском языке импликации ближе всего по смыслу соответствует условная связка «если..., то...». Импликативные формулы имеют вид (А → В ). При этом формула А называется антецедентом, а формула В — консеквентом.
Разновидностью импликации является эквиваленция (двойная импликация) (от лат. aeguus – равный и valentis – имеющий силу).
Дата добавления: 2015-07-17; просмотров: 118 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| I. Основная | | | Под эквиваленцией понимается взаимная обусловленность высказываний друг другом, в результате чего эквивалентные высказывания всегда имеют одинаковые истинностные значения. |