Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
(q p)
q
V
F
pq
V
F
Como sabemos que todos los insectos tienen 6 patas y que son animales de 6 patas,
entonces:
pq
qp
Por lo que p q
Es decir: Es un insecto si y solo si es un animal, que tiene 6 patas.
3)
En lgica, una tautologa es una frmula bien formada de un sistema de lgica
proposicional que resulta verdadera para cualquier interpretacin; es decir, para
cualquier asignacin de valores de verdad que se haga a sus frmulas.
Considerando las siguientes proposiciones:
1. Messi es el mejor jugador de futbol del mundo.
2. Messi es el mejor jugador de futbol del mundo o Messi no es el mejor jugador
de futbol del mundo.
Ambas proposiciones son verdaderas. La primera es un hecho ya que el mismo fue
premiado durante varios aos con este ttulo, aunque podra ser falsa por tratarse de
algo temporal. En cambio la segunda es necesariamente verdadera.
La proposicin 2 resulta de reemplazar p por Messi es el mejor jugador de futbol del
mundo en la frmula:
p v p
Cualquier reemplazo en esta frmula da una proposicin verdadera.
p
V
F
q
F
V
p v p
V
V
4)
En lgica proposicional y lgebra de Boole, las leyes de De Morgan son un par de
reglas de transformacin que son ambas reglas de inferencia vlidas. Las normas
permiten la expresin de las conjunciones y disyunciones puramente en trminos de
su negacin.
(p ^ q) (p) v (q)
5)
Tabla de verdad:
p
V
V
F
F
q
V
F
V
F
p^q
V
F
F
F
(p ^ q)
F
V
V
V
p
F
F
V
V
q
F
V
F
V
(p) v (q)
F
V
V
V
(p ^ q) (p) v (q)
V
V
V
V
6)
Todos los alumnos de la Facultad de Ciencias de la Administracin estudian
Ingeniera de Sistemas
Si x es alumno de la Facultad de Ciencias de la Administracin, entonces x estudia
Ingeniera en Sistemas
Si
Su negacin seria:
x | (P(x) Q(x)
7)
DIAGRAMA DE FLUJO
PSEUDOCODIGO