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: