A lógica está presente no dia a dia de todos e é a forma do pensamento, de raciocínio, de um indivíduo ou de um grupo de pessoas. A lógica booleana, criada por George Boole, é uma estrutura que organiza as operações lógicas (álgebra de Boole) influenciando desde programação até vídeo games.
Os conectivos são símbolos ou palavras que se usam para ligar proposições simples e formar proposições compostas, ou alterar seu valor no caso da negação da proposição.
Tabela verdade é uma forma gráfica para fazer o cálculo com operadores lógicos. Com as tabelas verdades das operações fundamentais, podemos estender e criar tabelas correspondentes para calcular o resultado de qualquer proposição composta.
Analise as seguintes expressões lógicas utilizando sua Tabela Verdade, e assinale as alternativas verdadeiras:
A expressão (~q -> ~p) <-> (p -> q) é uma Tautologia.
A expressão (p -> q) ^ (q -> r) é uma Contradição.
A expressão (q v p) -> (p ^ r) é uma Contingência.
A expressão (p <-> q) ^ ((p ^ ~q) v (~p ^ q)) é uma Contradição.
A expressão ~((p ^ r) -> (~q v r)) é uma Tautologia.
Assinale a alternativa correta:
A - I, II e III.
B - II e IV.
C - I, III e IV.
D - II, IV e V.
E - I, III, IV e V.
Soluções para a tarefa
A lógica está presente no dia a dia de todos e é a forma do pensamento, de raciocínio, de um indivíduo ou de um grupo de pessoas. A lógica booleana, criada por George Boole, é uma estrutura que organiza as operações lógicas (álgebra de boole) influenciando desde programação até vídeo games.
Uma proposição é uma sequencia de palavras que expressam uma ideia, que mostram pensamento, que demonstram fatos ou apresentam opiniões que formamos a respeito de determinados assuntos.
Os conectivos são símbolos ou palavras que se usam para ligar proposições simples e formar proposições compostas, ou alterar seu valor no caso da negação da proposição.
Tabela verdade é uma forma gráfica para fazer o cálculo com operadores lógicos. Com as tabelas verdades das operações fundamentais, podemos estender e criar tabelas correspondentes para calcular o resultado de qualquer proposição composta.
Sabendo-se disto, analise as seguintes afirmações e assinale as alternativas verdadeiras:
A expressão (q ^ r) <-> (~p v ~r) é uma Tautologia lógica.
A expressão (p ^ q) v (~p ^ r) v (p ^ r) v (q ^ ~r) está na Forma Normal Disjuntiva (FND).
Temos uma equivalência lógica entre as expressões (q <-> r) e (~p -> ~q).
A expressão ~(p v q) ^ (~p v r) ^ (p v ~r) ^ ~(q v r) está na Forma Normal Conjuntiva (FNC).
A expressão (p v q) ^ (q v r) é dual da expressão (p ^ q) v (q ^ r).
Assinale a alternativa correta:
A - I, III e V.
B - II e IV.
C - II e V. Correta
D - III e IV.
E - I, II e III.