CADERNO

LÓGICA
2º semestre
Luan Guerra

FACEBOOK

Não curtir? Por quê?

SUGESTÕES cadernosppt@gmail.com.br

Aviso
Esse material foi criado a partir do caderno de um aluno do curso de administração. Sendo assim, não substituirá nenhuma fonte didática como: livros, artigos científicos, etc.

Observação: O objetivo dessa apresentação é simplesmente ajudar o estudante, nada além disso.

SITESUGERIDO

www.colegioweb.com.br/matem atica/conectivos-logicos-.html

LIVROSSUGERIDOS
• Alencar Filho, Edgard – Iniciação à Lógica Matemática • Castrucci, Benedito – Introdução à Lógica Matemática

CADERNO +
EXERCÍCIOS RESOLVIDOS

Apresentação
• Argumento 1 – Raciocínio Todo homem é mortal Sócrates é mortal Logo, Sócrates …exibir mais conteúdo…

Exemplos Tipos de Tabela Lógicas
a) P (p, q) = (p ^ q) (p v q)

Exemplos Tipos de Tabela Lógicas
b) P (p) = p ~p

Exemplos Tipos de Tabela Lógicas
c) P (p, q) = p (p ^ q)

Implicação Lógica
Sejam P e Q duas proposições, dizemos que implica em P logicamente em Q se e somente se a condicional P Qé umas tautológica.

Resumo
P Q (P implica logicamente)

P

Q é uma tautológica

Também podemos verificar se P implica logicamente em Q da seguinte forma:

1º Verificamos quais linhas a proposição´P tem valor lógico verdadeiro; 2º Nessas mesmas linhas verificamos quais são os valores lógicos de Q; 3º Se houver alguma dessas linhas onde Q é falso, não temos implicação lógica. Agora, se não houver linhas onde Q é falso, temos uma implicação lógica.

Exemplo
• Dados as