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 O cálculo proposicional x álgebra dos conjuntos

2 O cálculo proposicional e a álgebra dos conjuntos O Cálculo Proposicional e a Álgebra dos Conjuntos possuem estruturas semelhantes.Álgebra dos Conjuntos Toda fórmula do Cálculo Proposicional determina uma operação correspondente entre conjuntos: a negação (~ ) corresponde à complementação ( ); a conjunção (۸) corresponde à intersecção () ; a disjunção (۷) corresponde à união (U). As variáveis proposicionais podem servir como variáveis simbolizando conjuntos na nova expressão. Exemplo: (( p ۷ q) ۸ ~ p) corresponde a (( p U q ) p) Podemos expressar, as operações entre conjuntos através dos DIAGRAMAS DE EULER-VENN. Esta técnica permitirá a prova de silogismos categóricos DIAGRAMAS DE EULER-VENN Introdução a Lógica Matemática /1 – p. 2

3 Diagramas de Euler-Venn 1/3 1 – COMPLEMENTAÇÃO : p que corresponde à NEGAÇÃO :~p Introdução a Lógica Matemática /1 – p. 3 onde as linhas (1) e (2) da tabela correspondem às regiões (1) e (2) do diagrama respectivamente. 2 – UNIÃO : p U q que corresponde à DISJUNÇÃO: p ۷ q as linhas (1), (2), (3) e (4) da tabela correspondem às regiões (1), (2), (3) e (4) do diagrama respectivamente. A região hachurada no diagrama corresponde às linhas da tabela onde a fórmula p Ú q assume valor V. p q p ۷ q p ~p

4 Diagramas de Euler-Venn 2/3 Introdução a Lógica Matemática /1 – p. 4 3 – INTERSECÇÃO : p q que corresponde à CONJUNÇÃO: p ۸ q A região hachurada do diagrama corresponde à linha (1) da tabela-verdade, onde a fórmula p q assume valor V. A figura abaixo forma um Diagrama de Venn apropriado para três conjuntos. Temos 8 regiões que correspondem, respectivamente, às 8 linhas da tabela-verdade ao lado do diagrama: p q p ۸q p q r

5 Diagramas de Euler-Venn 3/3 Exemplo: Obter o diagrama de Venn corresponde à fórmula ~((p ۸ q) r). Sol: Após construir o diagrama, a expressão (p q) r determina a área equivalente. Introdução a Lógica Matemática /1 – p. 5 p q r ~ ((p ۸ q) r) O único valor V da fórmula (Linha 2) corresponde à região 2 do diagrama de Venn (região hachurada).


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