Usuario:Aaaw04/ejercicio6

¿Cuales de las siguientes expresiones son (i) viables, (ii) validas, (iii) contradictorias o (iv) incorrectas? Justifique sus respuestas.

                                                               Ë: existe
                                                               Â: para todo

a)

  P(x) v P(y): se satisface porque P(a)=V, P(a) V P(a)=V
               no valida porque P(a)=F, P(b)=F, P(a) v P(a)=F
   

b)

  P(x) →(P(x) v Q(x)): valida por instanciacion del esquema tautologico A→(AvB)
                       se satisface porque es valida

c)

  Âx(P(x) v –P(x)): valida porque P(x) v –P(x) es valida
                    se satisface porque es valida

d)

  Ë x(P(x) ^ -P(x)): contradictoria ya que P(x) ^ -P(x) es una contradiccion
                     no valida porque es contradictoria

e)

  ÂxP(x): se satisface: usar universo con a como unico elemento, sea P(a)=V
          no valida: usar el mismo universo que antes, con P(a)=F