LÓGICA PROPOSIÇÕES E CONECTIVOS

Slides:



Advertisements
Apresentações semelhantes
Introdução a Lógica Matemática
Advertisements

Capítulo 8 A linguagem da Lógica de Predicados
Prof. Marcone Sotéro Cálculo de Predicados Prof. Marcone Sotéro
Capítulo 3 Propriedades semânticas da Lógica Proposicional
Lógica Matemática e Computacional
Lógica Matemática e Computacional 1.2 – Conceitos Preliminares
Lógica Matemática e Computacional 2.2 – Implicação e Equivalência
Elementos de Lógica Matemática
LÓGICA MATEMÁTICA IMPLICAÇÃO LÓGICA
LÓGICA MATEMÁTICA PROPOSIÇÕES E CONECTIVOS
LÓGICA MATEMÁTICA OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES
LÓGICA MATEMÁTICA TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
LÓGICA MATEMÁTICA ARGUMENTOS E REGRAS DE INFERÊNCIA
LÓGICA MATEMÁTICA APRESENTAÇÃO DA DISCIPLINA
Tipos de dados, Variáveis, Expressões e Operadores
AULA DE MATEMÁTICA 1 Prof.: Fábio Barros CAPÍTULO 2 CONJUNTOS.
Introdução a Lógica Matemática
INTRODUÇÃO A lógica faz parte do nosso cotidiano.
Profa. Éverlin Marques PRD-MEC
Prof. Robson Rodrigues da Silva
Curso: Licenciatura em Matemática
Curso: Licenciatura em Matemática
Lógica Matemática Introdução.
Tautologia Contradição e Contingência
A Lógica das Sentenças Abertas Profa. Ana Florencia Aula 9
INF 1771 – Inteligência Artificial
Lógica Matemática.
Raciocínio Lógico Prof. Diego.
Conjuntos numéricos e os números reais
Operações Lógicas sobre proposições
Lógica Proposicional Caderno de Exercícios.
GEOMETRIA DE POSIÇÃO Matemática Dorta.
Introdução a Lógica Prof. Luiz Carlos Gabi.
Lógica Matemática e Computacional
Construção Tabela-verdade
Não se esqueça de estudar. Vamos ver alguns exemplos
SEMÂNTICA.
Fundamentos de Matemática: Alguns apontamentos
Lógica Matemática.
CONTRUÇÃO DA TABELA-VERDADE
Proposições e Princípios
“A lógica é uma ciência do raciocínio”
André Luiz da Costa Carvalho
UNIVERSIDADE SEVERINO SOMBRA
Lógica matemática.
BCC101 Matemática Discreta I
Matemática Discreta 1 – MD 1
Conectivos Lógicos / Operações
Inteligência Artificial: Lógica Proposicional e Prolog
ALGORITMO Samuel Â. Lopes.
Lógica e Teoria dos Conjuntos
LÓGICA PROPOSICIONAL ou CÁLCULO PROPOSICIONAL
Lógica para Computação
Colégio Agrícola “José Bonifacio”
Prof. Christiano Lima Santos
Lógica Aula 3.
Lógica matemática.
NOÇÕES DE LÓGICA Professor: Renilson.
Tema 1 – Lógica e Teoria dos Conjuntos
SÍMBOLOS PARA CONJUNÇÃO, NEGAÇÃO E DISJUNÇÃO – Cap. 8
LÓGICA MATEMÁTICA Para os antigos e os medievais aristotélicos, os princípios e as leis da lógica correspondiam à estrutura da própria realidade, pois.
O Tractatus logico-philosophicus e a antimetafísica de Wittgenstein
Ontologia do Tractatus. O mundo se divide em: Fatos Aquilo que acontece (prop.1.1) Fatos atômicos Proposição 2 Combinação de objetos simples Compostos.
Negação de Proposições Simples ou Compostas
Curso: Técnico Integrado em Informática Disciplina : Fundamentos de Lógica e Algoritmo Resumo do 1º Bimestre Profª. Katiuscia Lopes dos Santos.
Introdução à Lógica Matemática Prof. Gilbert Azevedo IFRN Técnico em Informática para Internet.
Lógica Matemática e Elementos de Lógica Digital
Proposições e Conectivos Lógicos
Linguagem Digital Introdução à Lógica Celso Medeiros 6EF B Tarde
Prof. Gerson Pastre de Oliveira
Transcrição da apresentação:

LÓGICA PROPOSIÇÕES E CONECTIVOS Prof. Thiago Pereira Rique thiagorique2011@gmail.com http://thiagorique.wordpress.com/

Agenda Conceito de proposição Valores lógicos das proposições Proposições simples e proposições compostas Conectivos Tabela-verdade Notação

CONCEITO DE PROPOSIÇÃO Português (linguagem natural) Exclamações, interrogações (formas de expressão) Sentenças (fatos) Definição Proposição (ou sentença) é todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.

CONCEITO DE PROPOSIÇÃO São proposições: A Lua é um satélite da Terra. Recife é a capital de Pernambuco. Π > √5 sen Π/2 = 1 Lógica Matemática (bivalente) Princípio da não contradição Princípio do terceiro excluído As proposições a, b, c e d são todas verdadeiras.

CONCEITO DE PROPOSIÇÃO São falsas as proposições: VASCO DA GAMA descobriu o Brasil. DANTE escreveu os Lusíadas. 3/5 é um número inteiro. O número Π é racional. tg Π/4 = 2. Proposições são verdadeiras ou falsas.

VALORES LÓGICOS DAS PROPOSIÇÕES Definição Valor lógico é a verdade e a falsidade de uma proposição. Princípio da não contradição e do terceiro excluído Toda a proposição tem um, e um só, dos valores V, F. Exemplos O mercúrio é mais pesado que a água. O Sol gira em torno da Terra. (V) (F)

PROPOSIÇÕES SIMPLES E PROPOSIÇÕES COMPOSTAS Definição 1 Proposição simples (ou atômica) é aquela que não contém nenhuma proposição como parte integrante de si mesma. Letras latinas minúsculas p, q, r, s, ... (letras proposicionais) Exemplos: p: Carlos é careca. q: Pedro é estudante. r: O número 25 é quadrado perfeito.

PROPOSIÇÕES SIMPLES E PROPOSIÇÕES COMPOSTAS Definição 2 Proposição composta (ou molecular) é aquela formada pela combinação de duas ou mais proposições. Letras latinas maiúsculas P, Q, R, S, ... (letras proposicionais) Exemplos: P: Carlos é careca e Pedro é estudante. Q: Carlos é careca ou Pedro é estudante. R: Se Carlos é careca, então é infeliz. Também chamadas fórmulas proposicionais ou apenas fórmulas. P composta e p, q, r, ... simples P(p, q, r, ...)

Conectivos Definição Conectivos são palavras usadas para formar novas proposições a partir de outras. Exemplos: P: O número 6 é par e o número 8 é cubo perfeito. Q: O triângulo ABC é retângulo ou é isósceles. R: Não está chovendo. S: Se Jorge é engenheiro, então sabe Matemática. T: O triângulo ABC é equilátero se e somente se é equiângulo. “e”, “ou”, “não”, “se...então...”, “...se e somente se...”

Tabela-Verdade Princípio do terceiro excluído Toda proposição simples p é V ou F. O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado. Tabela-verdade para P(p, q) Os valores lógicos V e F se alternam de dois em dois para p e de um em um para q. Tabela-verdade para P(p, q, r) Os valores lógicos V e F se alternam de quatro em quatro para p, de dois em dois para q e de um em um para r.

NOTAÇÃO O valor lógico de uma proposição simples p V(p) = V V(p) = F Exemplos: p: O Sol é verde. q: Um hexágono tem 9 diagonais. r: 2 é raiz da equação X2 + 3x – 4 = 0. V(p) = F, V(q) = V, V(r) = F. V(P) para proposições compostas.