Junte-se ao IDNLearner.com para acesso a respostas de especialistas. Nossa comunidade está aqui para fornecer respostas detalhadas para todas as suas perguntas e problemas.
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 :
Sua participação é muito valiosa para nós. Não se esqueça de voltar para fazer mais perguntas e compartilhar seus conhecimentos. Juntos, podemos aprender e crescer mais. Obrigado por visitar IDNLearner.com. Estamos aqui para fornecer respostas precisas e confiáveis, então visite-nos novamente em breve.
