3. Импликативные (от лат. implicate - «сплетение, тесная связь»), или условные суждения. В них объединяются суждения на основе логической связки «если...то» (обозначается >»). Формула А — > В (читается: «если А, то В»). В языке импликация выражается следующими логическими союзами: «когда...тогда», «в случае, если..., то» и др. Пример: «Когда молчат - думают».
4. Эквивалентные (от лат. aequivalens — «равноценный, равнозначный»), или равнозначные суждения. В них объединяются суждения со взаимной (прямой и обратной) условной зависимостью (символ «»). Их образует логическая связка «если и только если..., то». Формула эквивалентности: А В грамматически выражается также союзами: «тогда и только тогда..., когда», «лишь в том случае, если...то», «только при условии, если..., то» и др. Пример: «Если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту».
Истинность или ложность данных логических связок зависит от того, являются истинными или ложными простые суждения, входящие в состав сложного. Эта зависимость хорошо видна из представленной ниже табл. 3.
и™ а, и — переменные, обозначающие
суждения; буква «И» обозначает истину,
а «Л» — ложь.
Таблицу истинности для конъюнкции (а л *)
можно разъяснить на следующем примере.
Учителю дали короткую характеристику, состоящую из двух простых суждений: «Он является хорошим педагогом (а) и учится заочно (Ь)». Она будет истинна в том и только в том случае, если суждение а и b оба истинны. Это и отражено в первой строке. Если же а ложно, или b ложно, или и а, и b ложны, то вся конъюнкция обращается в ложь, то есть учителю была дана ложная характеристика.