Para cada uma das sentenças abaixo, dizer se é contraditória, satisfatível ou válida:
(P vee R) wed>=(Q vee R) (P wed>= Q) vee R

Passo 1

O enunciado pede para classificar a sentença (P vee R) wed>= (Q vee R) to (P wed>= Q) vee R como contraditória, satisfatível ou válida. Esse problema faz parte de lógica proposicional e vamos usar o conceito de implicação e equivalências lógicas.

Passo 2

Pela lei distributiva temos
(X vee Z) wed>= (Y vee Z) equiv (X wed>= Y) vee Z

Passo 3

Aplicando essa equivalência com X=P, Y=Q e Z=R, vemos que o antecedente
(P vee R) wed>= (Q vee R)
é logicamente equivalente a
(P wed>= Q) vee R

Passo 4

Logo, a sentença original se torna um condicional da forma
(P wed>= Q) vee R ;to; (P wed>= Q) vee R

Passo 5

Um condicional A to A é sempre verdadeiro, pois qualquer fórmula implica nela mesma.

Resposta

Válida

Exercícios relacionados