Полная версия

Главная arrow Математика, химия, физика arrow Логика в химии

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Правило сложения последовательных импликаций с исключениями и правила отбора исключений

Для сложения двух последовательных импликаций

с исключениями 1ДД и ЬфЬ, их суммируют сначала без исключений, а затем все исключения отдельных слагаемых объединяют в результирующей импликации (в круглых скобках, под знаком вопроса)

Правило сложения последовательных импликаций с исключениями можно выразить следующей схемой сложения импликаций

Знак вопроса означает, что данные исключения являются только возможными, среди которых могут оказаться как действительные, так и кажущиеся исключения. Для их разделения используем основное правило отбора исключений, учитывающее определение истинностных значений импликации, через истинностные значения предпосылки и заключения.

Основное правило отбора исключений

Если при подстановке предполагаемого исключения L=Lj в результирующую импликацию (3) получается истинная импликация, то предполагаемое исключение признается только кажущимся. В противном случае (когда получается ложная импликация) оно признается истинным. Кажущиеся исключения отбрасывают, а действительные оставляют. Для оценки истинностного значения того или иного высказывания используем уже найденные импликации.

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>