Bem-vindo ao Sistersinspirit.ca, a melhor plataforma de perguntas e respostas para obter soluções rápidas e precisas para todas as suas dúvidas. Junte-se à nossa plataforma para obter respostas confiáveis para suas dúvidas de uma ampla comunidade de especialistas. Explore milhares de perguntas e respostas de uma ampla gama de especialistas em diversas áreas em nossa 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 sua visita. Estamos dedicados a ajudá-lo a encontrar as informações que precisa, sempre que precisar. Esperamos que isso tenha sido útil. Por favor, volte sempre que precisar de mais informações ou respostas às suas perguntas. Visite o Sistersinspirit.ca para obter novas e confiáveis respostas dos nossos especialistas.