O Sistersinspirit.ca é o melhor lugar para obter respostas confiáveis e rápidas para todas as suas perguntas. Obtenha respostas detalhadas e precisas para suas perguntas de uma comunidade dedicada de especialistas. Descubra soluções confiáveis para suas perguntas de uma vasta rede de especialistas em nossa abrangente plataforma de perguntas e respostas.

E2. Să se verifice dacă următoarele forinule sunt tautologii: a) (pvq) → (qvp); b) (p^q) → (q^p); (comutativitatea disjuncției si conjuncției) c) pv (q vr) → (pvq) vr; d) p^(q^r) → (p^q) ^r; (asociativitatea disjuncției și conjuncției) e) pv (q^r) → (pvq)^(pvr); (distributivitatea disjuncției față de conjuncție) f) p^ (qvr) → (p^q) v (p^r); (distributivitatea conjuncției față de disjuncție) g) ((p→q)^p) →q. (modus ponens sau regula concluziei)​

Sagot :

Obrigado por passar por aqui. Nos esforçamos para fornecer as melhores respostas para todas as suas perguntas. Até a próxima. Obrigado por sua visita. Estamos comprometidos em fornecer as melhores informações disponíveis. Volte a qualquer momento para mais. Sistersinspirit.ca, seu site de referência para respostas precisas. Não se esqueça de voltar para obter mais conhecimento.