

Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Encontra documentos específicos para os exames da tua universidade
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Os conceitos básicos da lógica, incluindo proposições, negação, conjunção e disjunção. Aprenda a representar e avaliar proposições lógicas, além de conhecer as leis de morgan.
Tipologia: Notas de aula
1 / 3
Esta página não é visível na pré-visualização
Não perca as partes importantes!


Avenida Guarapari, 37, loja 9 • Santa Amélia • Belo Horizonte – MG
Aula A01 – Introdução à Lógica
Em Lógica, uma proposição lógica é uma sentença que pode ser julgada como verdadeira ou falsa.
Exemplos:
Não são proposições “Que horas são?” “Hoje é sexta-feira?” “Que sono!” “Bom dia!”
São proposições “Agora são 10 horas da manhã.” “Hoje é sexta-feira.” “Eu não estava com sono.” “Amanhã será um bom dia.”
Normalmente designamos uma proposição pelas letras p ou q.
Uma proposição tem um valor lógico, que é sempre verdadeiro (V) ou falso (F).
A negação de uma proposição p pode ser representada por ~ p , (^) p ou ¬ p. Todas essas notações são lidas como “não p ”.
A negação de uma proposição provoca a alteração de seu valor lógico, de V para F ou de F para V.
Exemplos:
p : “O Natal é no dia 25 de dezembro.” ¬ p : “O Natal não é no dia 25 de dezembro.”
q : “João é alto.” ¬ q : “João não é alto.”
Duas ou mais proposições podem ser combinadas a fim de formar uma sentença, que será uma proposição composta.
A forma mais básica de se combinar duas proposições simples é usando os conectivos e e ou.
Uma proposição lógica composta pelo conectivo e é chamada conjunção e, pelo conectivo ou , é chamada disjunção.
A conjunção (conectivo e ) é simbolizada por ∧ e a disjunção (conectivo ou ), por ∨.
p e q representa-se p ∧ q
p ou q representa-se p ∨ q
A conjunção de duas proposições só é verdadeira se essas duas proposições forem verdadeiras, ou seja,
Avenida Guarapari, 37, loja 9 • Santa Amélia • Belo Horizonte – MG
p ∧ q é verdadeira se, e somente se, p e q são verdadeiras
A disjunção de duas proposições só é falsa se essas duas proposições forem falsas, ou seja,
p ∨ q é falsa se, e somente se, p e q são falsas
A tabela-verdade é uma forma de organizar todos os resultados possíveis de uma operação com proposições lógicas. No caso dos conectivos e e ou , temos estas tabelas-verdade:
Conjunção ( e )
Disjunção ( ou )
Existem algumas relações muito importantes na negação de uma conjunção ou disjunção:
A negação da conjunção é equivalente à disjunção das negações ¬( p ∧ q ) equivale a ¬ p ∨ ¬ q
A negação da disjunção é equivalente à conjunção das negações ¬( p ∨ q ) equivale a ¬ p ∧ ¬ q
Exemplo:
Observe o pequeno circuito a seguir:
Para que a lâmpada esteja acesa, é necessário que ambas as chaves, S1 e S2, estejam fechadas (“ligadas”). Negar que a lâmpada esteja acesa, é o mesmo que afirmar que S1 não está fechada ou S não está fechada (o que inclui o caso em que ambas não estão fechadas). Em linguagem lógica,
p : S1 está fechada
q : S2 está fechada
Lâmpada acesa: p ∧ q
Lâmpada apagada: ¬( p ∧ q ), que equivale a ¬ p ∨ ¬ q
~
Lâmpada
Chave S
Fonte Chave S