Como aplicar leis da lógica

Apresentação em tema: "Como aplicar leis da lógica"— Transcrição da apresentação:

1 Como aplicar leis da lógica
Matemática Discreta Pressione F5 e leia esses slides em tela cheia. Existem animações nesses slides que são visíveis apenas em tela cheia.

2 ¬ 𝑝⋀𝑞 ≡¬𝑝 ⋁¬𝑞 Aplicação das Leis Equação 16:
Ela diz que: “negar (alguma coisa E outra)” é o mesmo que “(negar alguma coisa) OU (negar outra)”. ¬ 𝑝⋀𝑞 ≡¬𝑝 ⋁¬𝑞 2

3 ¬ 𝑝⋀𝑞 ≡¬𝑝 ⋁¬𝑞 ¬ ⋀ ≡¬ ⋁¬ Aplicação das Leis Equação 16:
Onde se vê 𝑝 e 𝑞, leia-se “qualquer proposição”. Ou seja, vamos enxergá-la como sendo: onde e significam qualquer proposição. ¬ 𝑝⋀𝑞 ≡¬𝑝 ⋁¬𝑞 ¬ ⋀ ≡¬ ⋁¬ 3

4 ¬ ⋀ ≡¬ ⋁¬ Aplicação das Leis Equação 16:
e são como lacunas a serem preenchidas. E quanto aos símbolos ¬, ⋀, ⋁, (, e ) ? Estes símbolos devem aparecer OBRIGATORIAMENTE! ¬ ⋀ ≡¬ ⋁¬ 4

5 ¬ ( 𝑟 ⋀ 𝑠 ) ¬ ⋀ ≡¬ ⋁¬ Aplicação das Leis Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ¬ ⋀ ≡¬ ⋁¬ ( 𝑟 ⋀ 𝑠 ) 5

6 ¬ ¬ ¬ 𝑟 ⋀ 𝑠 ≡ 𝑟 𝑠 Aplicação das Leis ⋁ Equação 16:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ¬ 𝑟 ⋀ 𝑠 ≡ 𝑟 ⋁ 𝑠 6

7 ¬ 𝑡 ¬ 𝑘 ¬ ⋀ ≡¬ ⋁¬ ⋁ Aplicação das Leis Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ¬ ⋀ ≡¬ ⋁¬ 𝑡 ⋁ 𝑘 7

8 ¬ ( ¬ ¬ 𝑡 ⋀ 𝑘 ) ≡ 𝑡 𝑘 Aplicação das Leis ⋁ Equação 16:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ( 𝑡 ⋀ 𝑘 ) ≡ 𝑡 ⋁ 𝑘 8

9 ¬ ( ⋀ ) ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ( ⋀ ) ≡ ⋁ ( ⋀ ) (𝑞⋁𝑝) (𝑡⟶𝑘) 9

10 ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ( ⋀ (𝑞⋁𝑝) ) ≡ (𝑡⟶𝑘) (𝑞⋁𝑝) ⋁ (𝑡⟶𝑘) 10

11 ¬ ¬ ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ( ⋀ ) ≡ ⋁ (¬𝑝) ⋁ (¬(¬ ¬𝑘 )) 11

12 ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ( ⋀ (¬𝑝) ) ≡ (¬𝑝) ⋁ (¬(¬ ¬𝑞 )) (¬(¬ ¬𝑞 )) 12

13 ¬ ( ⋀ ) ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ( ⋀ ) ≡ ⋁ ( ⋀ ) (¬𝑝) (𝑡⟶𝑘) 13

14 Dupla negação é outro passo de prova.
Aplicação das Leis Equação 16: Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ( ⋀ (¬𝑝) ) ≡ (𝑡⟶𝑘) (¬𝑝) ⋁ (𝑡⟶𝑘) Um erro comum é aplicar dupla negação a este resultado: 𝑝 ⋁ ¬ (𝑡⟶𝑘) Dupla negação é outro passo de prova. ERRADO 14

15 ¬ ( ⋀ ) ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a Sim! Veja: ( ⋀ ) ≡ ⋁ ( ⋀ ) 𝑘 𝑘 15

16 ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? ( ⋀ 𝑘 k ) ≡ 𝑘 ⋁ 𝑘 O fato de e serem ambos K não é um problema. e podem ser iguais. 16

17 ⋀ 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis 𝑘 𝑘 Equação 8:
Exemplo: posso aplicar a Equação 8 a Sim! Veja: 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ ⋀ 𝑘 𝑘 17

18 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis Equação 8: 𝑘
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? 𝑝 ⋀ 𝑝≡𝑝 ⋀ 𝑘 k ≡ 𝑘 18

19 ⋀ 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis (𝑡⟶𝑘) (𝑡⟶𝑘) Equação 8:
Exemplo: posso aplicar a Equação 8 a Sim! Veja: 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ ⋀ (𝑡⟶𝑘) (𝑡⟶𝑘) 19

20 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis Equação 8: (𝑡⟶𝑘) (𝑡⟶𝑘)
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? 𝑝 ⋀ 𝑝≡𝑝 ⋀ (𝑡⟶𝑘) (𝑡⟶𝑘) ≡ (𝑡⟶𝑘) 20

21 ⋀ 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis Equação 8:
Exemplo: posso aplicar a Equação 8 no lado esquerdo? NÃO do lado esquerdo! Veja: 𝑝 ⋀ 𝑝≡𝑝 O pode ser qualquer expressão, mas uma vez definido que expressão ela será, tem que haver total consistência em toda a equação. Neste exemplo, assume 2 possíveis valores, o que está incorreto. ⋀ ≡ ⋀ (𝑞⋁𝑝) (𝑡⟶𝑘) 21

22 ⋀ 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis Equação 8:
Exemplo: posso aplicar a Equação 8 (pela direita) a SIM! Veja: 𝑝 ⋀ 𝑝≡𝑝 ⋀ q⋁p ⋀ t⟶k ≡ 𝑞⋁𝑝 ⋀ 𝑡⟶𝑘 ⋀ (𝑞⋁𝑝) (𝑡⟶𝑘) 22

23 𝑝 ⋀ 𝑝≡𝑝 ⋀ ≡ Aplicação das Leis Equação 8: q⋁p ⋀ t⟶k q⋁p ⋀ t⟶k
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? 𝑝 ⋀ 𝑝≡𝑝 ⋀ q⋁p ⋀ t⟶k ≡ q⋁p ⋀ t⟶k q⋁p ⋀ t⟶k 23

24 ( ⋀ ) ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a NÃO! Veja: ( ⋀ ) ≡ ⋁ ( ⋀ ) (𝑞⋁𝑝) (𝑡⟶𝑘) 24

25 ¬ ( ) ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a NÃO! Veja: ( ⋀ ) ≡ ⋁ ( ) ⋁ (𝑞⋁𝑝) (𝑡⟶𝑘) 25

26 ¬ ¬ ( ⋀ ) ≡ ¬ ¬ Aplicação das Leis ⋁ ⋁ Equação 16:
Exemplo: posso aplicar a Equação 16 a NÃO! Veja: ( ⋀ ) ≡ ⋁ (𝑝⋀q)) ⋁ (¬(¬ ¬𝑘 )) 26

27 ((¬ 𝑞)⋀𝑟) ) ( ¬ ¬ ¬ ¬(¬𝑝) ≡𝑝 ≡ Aplicação das Leis Equação 9:
A dupla negação deve ser aplicada quando a mesma expressão está sendo negada duas vezes. No caso deste exemplo, há uma negação de ((¬ 𝑞)⋀𝑟), mas a segunda negação é apenas em cima de q. A equação 9 poderia ser aplicada em ¬¬ 𝑞⋀𝑟 , mas nunca em ¬(¬𝑞⋀𝑟). ¬(¬𝑝) ≡𝑝 Equação 9: Exemplo: posso aplicar a Equação 9 a NÃO! Veja: ( ¬ ) ≡ ((¬ 𝑞)⋀𝑟) 27

28 𝑥 𝑥 ∈𝐴}=𝐴 𝑥 𝑥∈ } = 𝑥 𝑥∈ 𝐶 } Aplicação das Leis Equação 47:
Exemplo: posso aplicar a Equação 47 a SIM! Veja: 𝑥 𝑥 ∈𝐴}=𝐴 𝑥 𝑥∈ } = 𝑥 𝑥∈ 𝐶 } 28

29 𝑥 𝑥 ∈𝐴}=𝐴 𝐶 𝑥 𝑥∈ 𝐶 } = Aplicação das Leis Equação 47:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? 𝑥 𝑥 ∈𝐴}=𝐴 𝐶 𝑥 𝑥∈ 𝐶 } = 29

30 𝑥 𝑥 ∈𝐴}=𝐴 𝑥 𝑥∈ } = 𝑥 𝑥∈𝐴∪𝐵} Aplicação das Leis Equação 47:
Exemplo: posso aplicar a Equação 47 a SIM! Veja: 𝑥 𝑥 ∈𝐴}=𝐴 𝑥 𝑥∈ } = 𝑥 𝑥∈𝐴∪𝐵} 30

31 𝑥 𝑥 ∈𝐴}=𝐴 A ∪𝐵 𝑥 𝑥∈ 𝐴∪𝐵 } = Aplicação das Leis Equação 47:
Agora que temos um casamento de padrão perfeito, qual seria o resultado da transformação? 𝑥 𝑥 ∈𝐴}=𝐴 A ∪𝐵 𝑥 𝑥∈ 𝐴∪𝐵 } = 31

32 𝑥 𝑥 ∈𝐴}=𝐴 𝑥 𝑥∈ } = 𝑥∈ 𝐵 Aplicação das Leis Equação 47:
𝑥 𝑥 ∈𝐴}=𝐴 Equação 47: Exemplo: posso aplicar a Equação 47 a NÃO! Veja: 𝑥 𝑥∈ } = A expressão 𝑥∈𝐵 é uma proposição. A equação 47 pede um conjunto. Não podemos transformar uma proposição em conjunto. 𝑥∈ 𝐵 32

33 Aplicação das Leis Podemos aplicar as leis da lógica a qualquer trecho de uma expressão Por exemplo, podemos aplicar a Equação 16 (De Morgan) aos trechos em vermelho 𝑞⋁ ¬ 𝑝⋀𝑞 ⋀𝑟 ≡𝑞⋁ (¬𝑝⋁¬𝑞)⋀𝑟 [16] 𝑠⋁ ¬ 𝑝⋀(𝑟⋀(𝑠⋁𝑡) )⋀𝑘 ≡𝑠⋁ (¬𝑝⋁¬(𝑟⋀ 𝑠⋁𝑡 ))⋀𝑘 [16] 33

34 Como aplicar leis da lógica
Matemática Discreta