@Yahoo_: Zależy jaką aksjomatykę przyjmiesz, o czym wspomniałem. Prawo de Morgana dość często przyjmuje się jako aksjomat, chyba że z jakiegoś powodu zależy ci aby mieć jak najmniej aksjomatów, albo żeby żaden nie wynikał z pozostałych (co robi się raczej wyłącznie przy wprowadzaniu logiki pierwszego rzędu).

Mało tego, w niektórych aksjomatykach prawo de Morgana pełni role definicji kwantyfikatora egzystencjalnego.
  • Odpowiedz