Представление и обработка знаний

31 димы, то заключение Q также выводимо. Если имеется запись |– Q , то считается, что заключение Q выводимо всегда и не зависит от выводимости каких-либо других утверждений. Другими словами, в последнем случае имеем дело с выводами нулевого ранга, т.е. с законами силлогистики. Закон тождества формулируется следующим образом: вся- кий s есть s или в принятых обозначениях: |– Ass или «Всякий s есть s ». Поскольку в позиции Р здесь стоит то же s , что и в позиции S , то смысл умозаключения состоит в том, что всякая конкретная сущность, входящая в класс s , обладает всеми свойствами элемен- тов этого класса, например, «Закон есть закон», «Дождь есть дождь» и т.д. Для формулировки следующих законов введем две логиче- ские связки, конъюнкцию, которую будем обозначать &, и дизъюнк- цию, которую будем обозначать  . Смысл их состоит в том, что ис- тинность сложных утверждений F 1 & F 2 и F 1  F 2 определяется по следующим жестким правилам: F 1 & F 2 истинно лишь в случае, когда истинны утверждения F 1 и F 2 , в остальных случаях конъ- юнктивное утверждение является ложным; F 1  F 2 ложно только тогда, когда ложны одновременно оба утверждения F 1 и F 2 , а в остальных случаях дизъюнктивное утверждение является истин- ным. Введем, наконец, обозначение  , которое будем интерпрети- ровать в записи  F , как утверждение о том, что неверно, что F яв- ляется истинным. Закон противоречия, записываемый следующим образом: |–  ( Аsр & Еsр ) , говорит, что невозможна ситуация, когда конкретные сущности из класса s одновременно входят в p и не входят в него. Этот закон