Wpis z mikrobloga

@volden: Co ty chcesz dowodzić? Przecież to jest aksjomat. Można jedynie wytłumaczyć sens takiego prawa. Chyba, że masz jakąś inna aksjomatykę i na jej podstawie chcesz udowodnić prawo de Morgana.
  • Odpowiedz
@volden: I co to ma do tego? Prawo De Morgana wynika z aksjomatów (jak wszystkie prawa), ale nim nie jest.

To tak jakbyś powiedział, że twierdzenie Pitagorasa jest aksjomatem.
  • Odpowiedz
@Yahoo_: ja wiem co to aksjomat, ale jak już sam zauważyłeś prawo de morgana to nie aksjomat, i ja właśnie szukam sposobu żeby je udowodnić dla kwantyfikatorów
  • Odpowiedz
@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