Quantificação
O presente artigo tem como objetivo realizar uma introdução geral ao tópico da quantificação em linguagens formais e, especialmente, na lógica de predicados. Ele está dividido em duas partes. Na primeira parte, apresento a sintaxe e a semântica dos quantificadores para a lógica de predicados. Na seg...
| Main Author: | |
|---|---|
| Format: | bookPart |
| Language: | por |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10451/38443 |
| Country: | Portugal |
| Oai: | oai:repositorio.ul.pt:10451/38443 |