Obtenha as melhores soluções para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A de confiança. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes. Explore um vasto conhecimento de profissionais em diferentes disciplinas 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 usar nosso serviço. Nosso objetivo é fornecer as respostas mais precisas para todas as suas perguntas. Visite-nos novamente para mais informações. Esperamos que tenha achado útil. Sinta-se à vontade para voltar a qualquer momento para mais respostas precisas e informações atualizadas. Sistersinspirit.ca está aqui para fornecer respostas precisas às suas perguntas. Volte em breve para mais informações.