Professional Documents
Culture Documents
3) Una formula que solo tiene ejemplos de sustitucin verdaderos se llama tautologa.
En otras palabras, una proposicin compuesta es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su
valor V no depende de los valores de verdad de las proposiciones que la forman, si no de la forma en
que estan establecidas las relaciones de una con otras, esto significa que independientemente de los
valores de verdad que tengan las premisas, la conclusin siempre va a ser verdadera.
4) Leyes de Morgan: Las mismas formulan las relaciones entre la conjuncin, la disyuncin y la
negacin, motivo por el cual presentan especial inters.
La primera nos dice:
La negacin de una disyuncin es equivalente a la conjuncin de las negaciones
p q p q
La segunda nos dice:
La negacin de una conjuncin es equivalente a las disyuncin de las negaciones
p q p q
5)
F
V
V
F
(p
V
V
F
F
V
F
F
F
q)
V
F
V
F
( p
F
F
V
V
F
V
V
V
q )
F
V
F
V
6)
Sea P(x) = estudian ingeniera de Sistemas
Donde x= alumnos de la Facultad de Ciencias de la Administracin
Se puede expresar como: xP ( x ) que se lee Todos los alumnos de la Facultad de Ciencias de la
Administracin estudian ingeniera de Sistemas
La Negacin seria: No Todos los alumnos de la Facultad de Ciencias de la Administracin estudian
Ingenieria de Sistemas
Se puede expresar: x | P ( x )
Prueba de ejecucin: