·
Ciência da Computação ·
Lógica Matemática
Send your question to AI and receive an answer instantly
Recommended for you
1
Lógica Matemática
Lógica Matemática
UENF
9
Tabelas Verdade
Lógica Matemática
UPF
2
Lista de Exercícios Resolvidos - Lógica Proposicional e Funções de Verdade
Lógica Matemática
UMG
32
Introdução a Sistemas Lógicos - Definições e Argumentos
Lógica Matemática
COTEMIG
3
6ª Lista de Exercícios - Gabarito 2021 - Combinatória
Lógica Matemática
UFG
1
Dedução e Tautologia - Exercícios Resolvidos de Lógica
Lógica Matemática
UERJ
Preview text
QUESTÃO 01 X p q r p r q p q r X v v v F v v F v v F v v F F v v v F F F v F F F v QUESTÃO 02 i p q p q Lei de Morgan p q p q p q p q DISTRIBUTIVA p q p q p q q p q q p ii p p q p q Definição de implicação p p q p q p p q p q distributiva p p q p q F p q p q F 1 20 Ponto Construa a tabela verdade para a seguinte expressão p q r p r q 2 10 Ponto Simplifique as proposições indicando as propriedades utilizadas i p q p q ii p p q p q 3 10 Ponto Use o método dedutivo indicando as propriedades utilizadas para demonstrar a seguinte equivalência i p r q r p q r ii p q q p q 4 20 Ponto Dada a seguinte expressão p q r i Determine uma forma normal disjuntiva FND equivalente usando tabelas verdade ii Determine uma forma normal conjuntiva FNC equivalente usando tabelas verdade 5 10 Ponto Escreva a seguinte formula p q p q i Na notação préfixa ii Na notação pósfixa 6 20 Ponto Usando os resultados da questão anterior mostre usando a pilha i Os passos para chegar na expressão infixa original a partir de 5 i ii Os passos para chegar na expressão infixa original a partir de 5 ii 7 10 Ponto Use a definição do conectivo de Scheffer aplicada à dois operandos p e q p q e o fato fato de que p p p para encontrar uma equivalência para p q Apenas em termos do operador Obs Pode usar outros resultados p q p q p q em termos de uesa 03 Metodo ddto SE PvERAADE Portt P FASo ENTAU pA79 é FALSO E pAq VquEepk Pg Vg vEepApE SE E SoNTE SE g e VtkpAE QUESTÃO 03 i para p r q r VERDADE ENTÃO caso 01 p r verdade Se p r verdade então p q verdade portanto r verdade caso 02 q r verdade Se q r verdade então p q verdade portanto r verdade Para p q r verdade Caso 01 p r verdade 1 Se p r verdade então p r q r verdade 2 Se p r falso enta p verdadeiro e r falso 3 Se q verdade então r verdade mas isso contrdiz o suposto anteriormente portanto para mantar a consistência q falso e LOGO p r q r p q r QUESTÃO 04 pq r p q r p q r p q r p q r FNC i p q p r FND ii QUESTÃO 05 p q p q i Vpq p q ii pq pq QUESTÃO 06 i PERCORREMOS DA ESQUERDA PARA A DIREITA ENCONTRAMOS p q e colocamos na pilha p q p q continuamos encontramos p q Depois encontrams p q p q ii comecamos a percorrer da esquerda para a direita encontramos p e q e o operador p q pq agora encontramos p e q e depois p q por último encontramos p q p q QUESTÃO 07 p p p e q q q p q p q p q p p q q p q
Send your question to AI and receive an answer instantly
Recommended for you
1
Lógica Matemática
Lógica Matemática
UENF
9
Tabelas Verdade
Lógica Matemática
UPF
2
Lista de Exercícios Resolvidos - Lógica Proposicional e Funções de Verdade
Lógica Matemática
UMG
32
Introdução a Sistemas Lógicos - Definições e Argumentos
Lógica Matemática
COTEMIG
3
6ª Lista de Exercícios - Gabarito 2021 - Combinatória
Lógica Matemática
UFG
1
Dedução e Tautologia - Exercícios Resolvidos de Lógica
Lógica Matemática
UERJ
Preview text
QUESTÃO 01 X p q r p r q p q r X v v v F v v F v v F v v F F v v v F F F v F F F v QUESTÃO 02 i p q p q Lei de Morgan p q p q p q p q DISTRIBUTIVA p q p q p q q p q q p ii p p q p q Definição de implicação p p q p q p p q p q distributiva p p q p q F p q p q F 1 20 Ponto Construa a tabela verdade para a seguinte expressão p q r p r q 2 10 Ponto Simplifique as proposições indicando as propriedades utilizadas i p q p q ii p p q p q 3 10 Ponto Use o método dedutivo indicando as propriedades utilizadas para demonstrar a seguinte equivalência i p r q r p q r ii p q q p q 4 20 Ponto Dada a seguinte expressão p q r i Determine uma forma normal disjuntiva FND equivalente usando tabelas verdade ii Determine uma forma normal conjuntiva FNC equivalente usando tabelas verdade 5 10 Ponto Escreva a seguinte formula p q p q i Na notação préfixa ii Na notação pósfixa 6 20 Ponto Usando os resultados da questão anterior mostre usando a pilha i Os passos para chegar na expressão infixa original a partir de 5 i ii Os passos para chegar na expressão infixa original a partir de 5 ii 7 10 Ponto Use a definição do conectivo de Scheffer aplicada à dois operandos p e q p q e o fato fato de que p p p para encontrar uma equivalência para p q Apenas em termos do operador Obs Pode usar outros resultados p q p q p q em termos de uesa 03 Metodo ddto SE PvERAADE Portt P FASo ENTAU pA79 é FALSO E pAq VquEepk Pg Vg vEepApE SE E SoNTE SE g e VtkpAE QUESTÃO 03 i para p r q r VERDADE ENTÃO caso 01 p r verdade Se p r verdade então p q verdade portanto r verdade caso 02 q r verdade Se q r verdade então p q verdade portanto r verdade Para p q r verdade Caso 01 p r verdade 1 Se p r verdade então p r q r verdade 2 Se p r falso enta p verdadeiro e r falso 3 Se q verdade então r verdade mas isso contrdiz o suposto anteriormente portanto para mantar a consistência q falso e LOGO p r q r p q r QUESTÃO 04 pq r p q r p q r p q r p q r FNC i p q p r FND ii QUESTÃO 05 p q p q i Vpq p q ii pq pq QUESTÃO 06 i PERCORREMOS DA ESQUERDA PARA A DIREITA ENCONTRAMOS p q e colocamos na pilha p q p q continuamos encontramos p q Depois encontrams p q p q ii comecamos a percorrer da esquerda para a direita encontramos p e q e o operador p q pq agora encontramos p e q e depois p q por último encontramos p q p q QUESTÃO 07 p p p e q q q p q p q p q p p q q p q