Dowód prawa de Morgana

sailormoon88 · Post autor: **sailormoon88** » 7 maja 2016, o 11:24

Witam.

Mam pytanie. Czy można jakoś udowodnić prawa de Morgana dla kwantyfikatorów? Może jest to po prostu przyjęte za pewnik i ścisłego dowodu nie ma?

Peter Zof · Post autor: **Peter Zof** » 7 maja 2016, o 22:19

Tego się nie dowodzi, tylko "bierze na logikę"

Jednak z tego co mi wiadomo to istnieje coś takiego jak system dedukcji naturalnej dla rachunku kwantyfikatorów i myślę że to może Ci w jakimś stopniu pomóc.

Zaratustra · Post autor: **Zaratustra** » 8 maja 2016, o 02:04

Jest też metoda tableaux