Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 PDF
1 PDF
1.1. Introduccin
La Lgica Matemtica es la rama de las Matemticas que nos permite comprender sobre la
validez o no de razonamientos y demostraciones que se realizan.
1.2. Proposiciones
Son proposiciones:
32 + 42 = 52
Adis!
Qu hora es?
Maana llover
5 4x = 1 No es una proposicin. Pero, si sustituimos x por
cualquier nmero, ella se convierte en proposicin. A este tipo de frases se
les llama funciones proposicionales.
NOTAS:
3. Las proposiciones que estn formadas por dos o ms proposiciones simples por
medio de conectores llamados lgicos se llaman proposiciones compuestas.
1. Negacin
V F
F V
2. Conjuncin
Por la naturaleza del nexo "y" para que una proposicin compuesta sea verdadera,
necesariamente las dos proposiciones simples deben serlo. Para los dems casos
ser falsa. Por tanto la tabla de verdad en este caso es:
V V V
V F F
F V F
F F F
3. Conjuncin negativa
V V F
V F F
F V F
F F V
4. Disyuncin
V V V
V F V
F V V
F F F
5. Disyuncin exclusiva
V V F
V F V
F V V
F F F
6. Condicional o implicacin
~ (~ ) p q pq
V V F V V V V
V F F F V F F
F V V V F V V
F F V V F F V
7. Bicondicional o bi-implicacin
V V V
V F F
F V F
F F V
Por las reglas anteriores se puede determinar tablas de verificacin y los valores de
verdad de proposiciones compuestas en las cuales aparecen varios conectores
lgicos.
Las tablas vistas anteriormente las podemos resumir en una sola, la misma que es:
qp
V V F F V F F V V V V
V F F V V V V F F V F
F V V F V V V F V F F
F F V V F F F F V V V
1.5.1. Tautologas.- Se dice que una proposicin es una tautologa, cuando todos los
valores de verdad de la tabla son verdaderos, Por ejemplo:
a) ~ (~ ) b) ~
V V V V V F V F V V V F V
V F F V F F V V F F V V F
F F V V V V F F V
F F F V V V F F F
1.5.2. Contradicciones.- Se dice que una proposicin es una contradiccin, cuando todos
los valores de verdad de una tabla son falsos. Por ejemplo:
a) ( ) ~ b) ~
V V V F F V V F F V
V F F F F V F F V F
F F V F V F
F F F F V F
V V V V V
V F F V V
F F V V F
F F F V F
a) ( )
b)
c)
d)
a) ((~p) q) (p (~q))
~ ((~ ) ) ~ ( (~ )) ((~ ) ) ( (~ ))
V V F F F V V
V F F F V V V
F V V V F F F
F F V F V V V
~ (~ ) [( (~ )] [ ]
V F V V V F F
( )
V V V V V
V V F V V
V F V F V
V F F F F
F V V F V
F V F F F
F F V F V
F F F F F
( ) ( )( ) 12
1 2
V V V V V V V V V
V V F F V V V V V
V F V F V V V V V
V F F F V V V V V
F V V V V V V V V
F V F F F V F F V
F F V F F F V F V
F F F F F F F F V
d) p ~(r s)
c) q (p s)
f) ~(p q)
e) (q s) r
h) (r s) (p q)
g) (q r) (p s)
j) [(r q) (~p r)]
i) ~[(r p) (s q)]
c) (p q) (~p q) d) [(p q) p] q
f) ~(p q) (p ~q)
e) [(p q) ~q] ~p
h) [p (q r)] [(p q) r]
g) [(p q) (q r)] (p r)