Autor Tema: Problema de lógica

0 Usuarios y 1 Visitante están viendo este tema.

06 Enero, 2008, 03:39 am
Leído 1167 veces

elvenking

  • Nuevo Usuario
  • Mensajes: 1
  • Karma: +0/-0
  • Sexo: Masculino
 Sean p y q dos proposiciones dependientes de un parametro (x)x sobre un
conjunto A. Decida y justifique si las siguientes proposiciones son tautologias:
a.-\( \ (\exists{x}\in{A}p(x))\vee(\exists{x}\in{A}q(x)\Longleftrightarrow{(\exists{x}\in{A}p(x)\vee q(x))} \)
b.-\( \ (\forall{x}\in{A}p(x))\wedge(\forall{x}\in{A}q(x)\Longleftrightarrow{(\forall{x}\in{A}p(x)\wedge q(x)) \)