Sejamos Implicantes: Lógica e Linguagem Ralph Costa Teixeira Universidade Federal Fluminense.

Apresentação em tema: "Sejamos Implicantes: Lógica e Linguagem Ralph Costa Teixeira Universidade Federal Fluminense."— Transcrição da apresentação:

1 Sejamos Implicantes: Lógica e Linguagem Ralph Costa Teixeira Universidade Federal Fluminense

2 1. Enunciados Fechados e Abertos

3

4 1. Conectivos (E, OU, NÃO) Novos enunciados a partir de antigos: 2 NÃO é par 2 é par E 2 é primo 2 é par OU 4 é impar

5 1. Conectivos (E, OU, NÃO) N ã oEOu p VF FV pqp e q VVV VFF FVF FFF pqp ou q VVV VFV FVV FFF

6 1. Propriedades

7 1. Negações

8 1. Exemplos

9 2. Implicações Definição de Implicação: pq VVV VFF FVV FFV

10 2. Exemplos

11 2. Equivalências Definição de Equivalência: pq VVV VFF FVF FFV

12 2. Exemplos

13

14

15 2. Cuidado! Implicação não precisa ser... Causa/efeito Antes/depois

16 2. Negando Implicações

17

18 2. Contrapositiva

19 2. Exemplos

20

21 4. Quantificadores Quantificadores “fecham” enunciados: Para todo x, p(x) significaV(p)=U Existe x tal que p(x)significaV(p)≠Ø

22 4. Exemplos

23 4. Discuta!

24 4. Negando Quantificadores

25

26 4. Julgue!

27 4. Ordem de Quantificadores

28 4. Julgue!