A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Introdução a Lógica Matemática João Marques Salomão Curso de Engenharia Elétrica Coordenadoria de Eletrotécnica CEFET-ES Introdução a Lógica Matemática.

Apresentações semelhantes


Apresentação em tema: "Introdução a Lógica Matemática João Marques Salomão Curso de Engenharia Elétrica Coordenadoria de Eletrotécnica CEFET-ES Introdução a Lógica Matemática."— Transcrição da apresentação:

1 Introdução a Lógica Matemática João Marques Salomão Curso de Engenharia Elétrica Coordenadoria de Eletrotécnica CEFET-ES Introdução a Lógica Matemática /1

2 Portas ou interruptores Introdução a Lógica Matemática /1 – p. 2 Chama-se interruptor ou porta ao dispositivo que pode assumir um dos estados: ligado (1 ou V) ou aberto (0 ou F). Fechado a Aberto a Por conveniência será representado por: a Um interruptor aberto quando a está fechado e vice- versa chama-se complemento ou negação de a, sendo representado por a (ou a ou ¬ a). Símbolo: aa

3 Interruptores e portas lógicas Dois interruptores a e b em paralelo, serão denotados por a + b (a ۷ b) (lê-se: a ou b) e representados por: Dois interruptores a e b em série, serão denotados por a b (a ۸ b) (lê-se: a e b) e representados por: a + b a b a b s a b a b s Introdução a Lógica Matemática /1 – p. 3

4 Valores lógicos de proposições V(p) - é a verdade (V) se a proposição é verdadeira e a falsidade (F) se a proposição for falsa. Exemplos:V(p) 3 > 2 (V) 7 = 1 (F) Aluno de engenharia estuda (V) Ele é menor de 18 anos (V) Ele é adolescente (V) Ele é menor de 18 anos e ele não é adolescente (F) Hoje é quarta-feira (V) Não é o caso que hoje é quarta-feira (F) Hoje é quarta-feira ou hoje é quinta-feira (V) Introdução a Lógica Matemática /1 – p. 4

5 Conectivos Lógicos As proposições podem ser simples (atômicas) ou compostas (moleculares). Proposições podem ser conectadas através dos seguintes conectivos lógicos: Negação não é o caso que: ¯,~, ¬, !, \+ ; Conjunção (conectivo e): ۸,, &, ou,; Disjunção (conectivo ou): ۷, +, ou ;; Condicional ( condição):,, ou :- ; Bicondicional (se, e somente se):, ou =. Obs:. Os símbolos entre aspas são usados em PROLOG. Introdução a Lógica Matemática /1 – p. 5

6 Conectivos e Tabela-verdade Sejam p e q proposições, assim temos os conectivos fundamentais: Negação: p é verdadeira se ¬p for falsa, e vice-versa. Conjunção: p e q (p۸q) é verdadeira se ambas forem verdadeiras, e falsa caso contrário. Disjunção: p ou q (p۷q) é verdadeira se pelo menos uma delas for verdadeira, e falsa caso contrário. p¬p¬p 0 (F)1 (V) 0 (F) pqp ۷ q 0 (F) 1(V) 0 (F)1 (V) pqp ۸ p 0 (F) 1 (V)0 (F) 1 (V)0 (F) 1 (V) Introdução a Lógica Matemática /1 – p. 6

7 Conectivos e Tabela-verdade Disjunção exclusiva (xor, ۷): p ou exclusivo q (p ۷ q) tem valor lógico = V somente quando p for verdadeira e p falsa, e vice-versa. Condicional: (se p então q, p q) tem valor lógico = F quando p é verdadeira e q é falsa e V nos demais casos. (p é antecedente e q é o conseqüente) Bicondicional: (p se e somente se q, p q) tem valor lógico = V quando p e q são ambas verdadeiras ou falsas e valor lógico = F nos demais casos. pqp ۷ q 0 (F) 1(V) 0 (F)1 (V) 0 (F) pqp q 0 (F) 1 (V) 0 (F)1(V) 0 (F) 1 (V) pqp q 0 (F) 1 (V) 0 (F)1(V)0 (F) 1 (V)0 (F) 1 (V) Introdução a Lógica Matemática /1 – p. 7

8 Exemplos 1 - Expresse em notação do cálculo proposicional (simbólica) as proposições: (Considere C : está chovendo e N : está nevando) a) Está chovendo; b) Não está chovendo; c) Está chovendo ou nevando; d) Está chovendo e nevando; e) Está chovendo, mas não está nevando; f) Não está chovendo e nevando; g) Se não está chovendo, então está nevando. Introdução a Lógica Matemática /1 – p. 8

9 Exemplos (Cont.) h) Está chovendo se e somente se não está nevando; i) Se não está chovendo, então não é o caso que está nevando e chovendo; j) Ou está chovendo e nevando, ou está nevando mas não está chovendo. (Considere agora três proposições: p : Carlos fala francês, q : Carlos fala inglês e r : Carlos fala alemão ) k) Carlos fala francês ou inglês, mas não fala alemão. l) É falso que Carlos fala inglês ou alemão, mas que não fala francês. Introdução a Lógica Matemática /1 – p. 9

10 Exemplos (Cont.) 2 –Traduzir para a linguagem corrente as seguintes proposições: (Considere p : Está frio e q : Está chovendo) a) ~p; b) p & q; c) p + ~q; d) p &~q p (Seja p : João é gaúcho e q : Jaime é paulista) a) ~(p۷~q); b) ~~p; c) ~(~q p); d) ~p q 3 – Determine o valor lógico das proposições: a) = 7 e = 10; b) 3 3 ۷ 5 = 5; c) Se > 4 então sen30 o = ½; d) = 5 2 é racional. Mais Exemplos/exercícios (p.20, 21 e 22 - Daghlian). Introdução a Lógica Matemática /1 – p. 10


Carregar ppt "Introdução a Lógica Matemática João Marques Salomão Curso de Engenharia Elétrica Coordenadoria de Eletrotécnica CEFET-ES Introdução a Lógica Matemática."

Apresentações semelhantes


Anúncios Google