Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Pg.
1. INTRODUCCIN ...............................................................................................2
2.2.1. Definicin.........................................................................................4
4. CONCLUSION ..................................................................................................12
5. BIBLIOGRAFIA ...............................................................................................13
1
1. INTRODUCCIN
signos para variables proposicionales (es decir, que pueden ser interpretadas
2
2. MARCO TEORICO
2.1.1. Definicin:
irreducible.
proposicional.
3
2.2. Principales Leyes
2.2.1. Definicin:
lgicamente verdadera.
(p q) (q p)
4
Equivale: La tiza es blanca y la pizarra es negra.
componentes.
(p q) ~(~ p v ~q)
(p q) (~p v q)
viceversa.
(p q) (p q) (q p)
5
Ejemplo: Una figura geomtrica tiene tres ngulos si y slo si es
un tringulo
Disyuncin Conjuncin
p v (q v r) ( p v q ) v r Asociativa p ^ (q ^ r) (p ^ q) ^ r
p v (p ^ q) p Absorcin p ^ (p v q) p
p v (q ^ r) (p v q) ^ (p v r) p ^ (q v r) (p ^ q) v (p ^ r)
Distributiva
Disyuncin respecto a la conjuncin Conjuncin respecto a la disyuncin
p v ~p t Negacin p ^ ~p t
p^tp
Pvcp Identidad
t es elemento neutro de la ^
~ct Identidad de c y t tc
Involucin
~~ p p
(doble negacin)
~ (p v q) ~p ^ ~q Ley de Morgan ~ (p ^ q) ~ p v ~q
6
3. Ejercicios de la simplificacin de una proposicin
~q (r q) Distributiva
~q r
7
3.2. Simplificar la expresin:
[ (p ~p ) v (p ~q) ] v q Complemento
(p ~q) v q Conmutativa
q v (p ~q) Distributiva
(q v p) (q v ~q) Complemento
(q v p) V Forma Normal
(q v p)
8
3.3. Simplificar la expresin:
~p v ~q v ~r v ~p v ~q v ~r Asociacin
~p v ~q v ~r Morgan
~ (p q r)
(p q) v (p v q)
Solucin: Justificaciones
(p q) v (p v q) Definicin Bicondicional
(q v V) v (p v V) Condicin de Tautologa
9
[(~p v q) (~q p)] v (p ~q)
*Solucin Justificaciones
(q v p) V Elemento Neutro
(q v p)
*Solucin Justificaciones
(q v p) V Elemento Neutro
(q v p)
10
[p (p r)] [~p (p r)]
*Solucin Justificaciones
F v (p r) Elemento Neutro
(p r)
*Solucin Justificaciones
~p
11
4. CONCLUSION
Artificial, ya que para realizar los cambios necesarios para la evolucin de esta
una seal que encaja en forma perfecta en este mbito. Es un modo sencillo y
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica
proposiciones.
12
5. BIBLIOGRAFIA
Editorial.
http://profe-alexz.blogspot.com/2010/05/logica-proposicional.html
13