Не ( Р и Q) и (не Р) или (не Q),
Где Р и Q-простые высказывания. Опираясь теперь на соответствие между логическими операциями и операциями над множествами (табл.3.1), можно увидеть, что предикат не (Р и Q) соответствует множеству ( ), а (не Р) или (не Q)- множеству  , Следовательно,  .
Свойство, доказанное в примере1, известно, как один из законов де Моргана. Фундаментальные свойства, аналогичные законам де Моргана, составляют законы алгебры множеств. Эти свойства перечислены в таблице 3.2. Каждое из них может быть доказано с помощью логических аргументов, аналогичных тем, что использованы в примере1.
Do'stlaringiz bilan baham: |
