[volden]

Ludzie dobrej woli, mam prośbę, może mi jakaś dobra duszyczka znaleźć/wytłumaczyć prawo de Morgana dla kwantyfikatorów?

#matematyka #prawodemorgana #kwantyfikatory

[blasted]

@volden: http://pl.wikipedia.org/wiki/Prawa_De_Morgana

[volden]

@blasted: zapomniałem sprecyzować, otóż chodzi mi o dowód na to prawo. Samo prawo nam ale nie wiem jak je udowodnić

[extern-int]

@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.

[miszczo997]

@extern-int: może tabelką?

[volden]

@extern-int: no to już sam nie wiem, wydaje mi się że miałem to udowodnić. Najwyżej nie będę miał tego jednego

[extern-int]

@volden: A jak dowodzisz inne? Może na tej podstawie domyślę się o co chodzi...

@miszczo997: Tabelka dla kwantyfikatorów?

[volden]

@extern-int: no właśnie nie dowodziłem innych, mam dowody na różne prawa ale nic z kwantyfikatorami.

[fir3fly]

@volden: zerknij na str. 8: http://www.math.uni.opole.pl/~ebryniarski/przyklady1.pdf

[Yahoo_]

@extern-int: Prawo De Morgana to nie aksjomat.

[volden]

@Yahoo_: a wiesz może jak się je udowadnia?

[Yahoo_]

@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.

[Yahoo_]

@volden: btw Z definicji, aksjomaty nie mają dowodów, bo są aksjomatami.

[volden]

@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

[Yahoo_]

@volden: Sorry nie zauważyłem, że odpowiada inna osoba :).

Sorry 2 nie chce mi się myśleć nad dowodem :P

[volden]

@Yahoo_: a już myślałem że będę miał :( no nic, walczę dalej

[Yahoo_]

@volden: może @Ginden pomoże, on lubi takie rzeczy :)

[extern-int]

@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.