Matematyka.pl

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?

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.

Jest też metoda tableaux