You are on page 1of 2

MINISTÉRIO DA EDUCAÇÃO

SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA


INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO
TOCANTINS – CAMPUS PORTO NACIONAL

CURSO LICENCIATURA EM COMPUTAÇÃO


DISCIPLINA LÓGICA MATEMÁTICA

Construir por meio da Tabela Verdade a validade das seguintes equivalências:

a) Regra da Dupla Negação:


b) Regra de Clavius:
c) Regra de Absorção:
d) Lei da Condicional:
e) Leis da Bicondicional:
a.
b.
f) Método de Demonstração por Absurdo:
g) Lei da Refutação por Absurdo:
h) Lei do Dilema:
i) Regra de exportação-importação:
j) Contrapositiva: ou
k) Idempotente:
a.
b.
l) Comutativa:
a.
b.
m) Associativa:
a.
b.
n) Identidade:
a.
b.
c.
d.
o) Distributivas:
a.
b.
p) Absorção:
a.
b.
q) Regras De Morgan (1806-1871)
a.
b.
r) Negação da Condicional:
s) Negação da Bicondicional:

You might also like