Scribd
Carregar
123 visualizações1 página

Fundamentos de Lógica para Computação

P e Q representam proposições lógicas. As tabelas verdade e equivalências lógicas mostram como P e Q se relacionam sob diferentes operações lógicas como negação, conjunção, disjunção e bicondicional. As leis de De Morgan, idempotência, comutatividade e distribuição aplicam-se a essas operações lógicas.

Enviado por

Rafael Fagan
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd
123 visualizações1 página

Fundamentos de Lógica para Computação

P e Q representam proposições lógicas. As tabelas verdade e equivalências lógicas mostram como P e Q se relacionam sob diferentes operações lógicas como negação, conjunção, disjunção e bicondicional. As leis de De Morgan, idempotência, comutatividade e distribuição aplicam-se a essas operações lógicas.

Enviado por

Rafael Fagan
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd

Rafael Weber Fagan

Implicação
G04H2 - Lógica para Computação
Lógica
Professor Leandro Ribeiro Fontoura

Sempre que P é
Nas linhas onde a coluna P é verdadeira Q é P? Q
V, a coluna P tem que ser V Verdadeira

Equivalência
Lógica

Mesma
Representam logicamente a
sequência de
mesma situação, mesmo que P? Q
valoração na
escritas de forma diferente
tabela verdade

Equivalências
Notáveis

Dupla Leis Leis Morgan


Negação idempotentes comutativas

p+p ? p p+q ? q+p (p . q)' ? p'+q'


(p')' ? p
p . p? p p . q? q . p (p + q)' ? p' . q'

Leis Bicondicional Condicionais


Distributivas

p . (q+r) ? (p . q)+(p . r) p? q ? q'? p'


p q ? (p ? q) . (q ? p) p? q ? p'+q
p + (q . r) ? (p + q) . (p + r)
q'? p' (contrapositivo)
q? p (recíproca do condicional)
p'? q' (recóproca contrapositivo)

Negação da Bicondicional

Negação da Condicional
(p q)' ? ((p? q).(q? p))'
Tautologia
p+p'=1 (p? q)' ? p . q' (p q)' ? (p? q)'+(q? p)'
(p q)' ? (p . q') + (q . p')

Você também pode gostar