Fórum PiR2
Gostaria de reagir a esta mensagem? Crie uma conta em poucos cliques ou inicie sessão para continuar.

Questão sem resolução FME 1 - Gelson Iezzi

Ir para baixo

Questão sem resolução FME 1 - Gelson Iezzi Empty Questão sem resolução FME 1 - Gelson Iezzi

Mensagem por O Curioso Qua 30 Set 2020, 09:49

Verifique, por meio das tabelas-verdades, a validade das equivalências abaixo.

a) da conjunção                                            c) da conjunção relativamente
                                                                     à disjunção
p ^ q <--> q ^ p                                             
(p ^ q) ^ r <--> p ^ (q ^ r)                            p ^ (q v r) <--> (p ^ q) v (p ^ r)                                                      p ^ p <--> p                                                p v (q ^ r) <--> (p v q) ^ (p v r) 
p ^ v <--> p                                                 p ^ (p v q) <--> p
p ^ f <--> f                                                  p v (p ^ q) <--> p


b) da disjunção
                                                                 d) da negação
p v q <--> q v p                       
(p v q) v r <--> p v (q v r)                             ~(~p) <--> p
p v p <--> p                                                ~(p ^ q) <--> ~p v ~q
p v v <--> v                                                ~(p v q) <--> ~p ^ ~q
p v f <--> p


em que p, q, r são proposições quaisquer, v é uma tautologia e f uma proposição logicamente falsa.


OBS.:No FME não há o gabarito dessa questão.

A questão já foi postada no site porém não entendi a resolução e, por conta disso, trago-a novamente buscando esclarecer minhas dúvidas !   Questão sem resolução FME 1 - Gelson Iezzi 503132
O Curioso
O Curioso
iniciante

Mensagens : 20
Data de inscrição : 23/09/2020

Ir para o topo Ir para baixo

Ir para o topo


 
Permissões neste fórum
Você não pode responder aos tópicos