Anda di halaman 1dari 12

INF2217 Lgica e Especificao

Linguagens de Primeira Ordem


Sintaxe e Semntica
Marco A. Casanova

19/8/2008

(c) MAC / KKB - PUC-Rio

Referncias
[CGF] Captulo 2 [BL] Captulo 2

19/8/2008

(c) MAC / KKB - PUC-Rio

Introduo
Lgica de Primeira Ordem (ou Clculo dos Predicados)
expande lgica sentencial para capturar discurso (matemtico) mais complexo
variveis e quantificadores smbolos predicativos e funes

exemplos de sentenas (no formalizadas):


para todo x, -1 sen(x) 1 para todo C, C = C para todo x, y, z, se x ancestral de y e y ancestral de x, ento x ancestral de z
19/8/2008 (c) MAC / KKB - PUC-Rio 3

Linguagens de 1 Ordem - Sintaxe


Alfabeto de 1 ordem:

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Alfabeto de 1 ordem (cont.):

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Termos de 1 ordem:

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Frmulas de 1 ordem:

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Linguagem de 1 ordem:

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Exemplo: Linguagem da Teoria dos Conjuntos
smbolo no-lgico: (pertence - smbolo predicativo binrio)

19/8/2008

(c) MAC / KKB - PUC-Rio

Linguagens de 1 Ordem - Sintaxe


Exemplo (cont.):

19/8/2008

(c) MAC / KKB - PUC-Rio

10

Linguagens de 1 Ordem - Sintaxe


Exemplo (cont.):

19/8/2008

(c) MAC / KKB - PUC-Rio

11

Linguagens de 1 Ordem - Sintaxe


Definies adicionais:

19/8/2008

(c) MAC / KKB - PUC-Rio

12

Linguagens de 1 Ordem - Semntica


Estrutura:

19/8/2008

(c) MAC / KKB - PUC-Rio

13

Linguagens de 1 Ordem - Semntica


Funo de avaliao:

19/8/2008

(c) MAC / KKB - PUC-Rio

14

Linguagens de 1 Ordem - Semntica


Funo de avaliao induzida:

19/8/2008

(c) MAC / KKB - PUC-Rio

15

Linguagens de 1 Ordem - Semntica


Funo de avaliao induzida:

19/8/2008

(c) MAC / KKB - PUC-Rio

16

Linguagens de 1 Ordem - Semntica


Funo de avaliao induzida:

19/8/2008

(c) MAC / KKB - PUC-Rio

17

Linguagens de 1 Ordem - Semntica


Funo de avaliao induzida:

19/8/2008

(c) MAC / KKB - PUC-Rio

18

Linguagens de 1 Ordem - Semntica


Funo de avaliao induzida:

19/8/2008

(c) MAC / KKB - PUC-Rio

19

Linguagens de 1 Ordem - Semntica


Definies adicionais:

19/8/2008

(c) MAC / KKB - PUC-Rio

20

Linguagens de 1 Ordem - Semntica


Definies adicionais:

19/8/2008

(c) MAC / KKB - PUC-Rio

21

Linguagens de 1 Ordem - Semntica


Notao:

19/8/2008

(c) MAC / KKB - PUC-Rio

22

Linguagens de 1 Ordem - Semntica


Proposio:

19/8/2008

(c) MAC / KKB - PUC-Rio

23

Anda mungkin juga menyukai