Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica-1 PDF
Logica Matematica-1 PDF
1.- PROPOSICIÓN.-
Son oraciones, interrogativa la primera; imperativa la segunda y las cuatro últimas son
declarativas.
De las dos primeras no podemos decir que son verdaderas ni falsas, por cuanto una pregunta
puede formularse o no y una orden puede ser cumplida o no. En cambio de las dos ultimas que
son declarativas, tiene sentido decir que son verdaderas o falsas, a estas se denominan
proposiciones.
Entonces:
2.- SIMBOLOGIA
Ej.: La proposición Wilsterman es el mejor equipo del futbol Boliviano se puede simbolizar
con la letra p
3.- CLASIFICACIÓN
SIMPLES O ATÓMICAS, son las proposiciones que NO utilizan conectivos lógicos o llamados
también términos de enlace.
COMPUESTAS O MOLECULARES, son las proposiciones que se obtienen de la combinación
de dos o más proposiciones simples las que son enlazadas por los términos de enlace; por lo tanto
SI utilizan conectivos lógicos o términos de enlace.
3
Llamados también operadores lógicos; son símbolos que enlazan proposiciones simples, sin
formar parte de ellas, para formar proposiciones compuestas.
Se trata de una operación unitaria, por cuanto a partir de una proposición se obtiene otra que es su
negación y cuya tabla de verdad es:
p p
1 0
0 1
5.b.- CONJUNCIÓN ( )
Es una operación donde intervienen siempre dos proposiciones, operación binaria y cuya tabla de
verdad es :
p q
1 1 1
1 0 0
0 0 1
0 0 0
4
5.c.- DISYUNCIÓN ( )
Es también una operación que involucra a dos proposiciones y cuya tabla de verdad es:
p q
1 1 1
1 1 0
0 1 1
0 0 0
Observar que o en sentido incluyente es V, cuando una de las dos proposiciones es verdadera.
p q
1 1 1
1 0 0
0 1 1
0 1 0
La proposición condicional está asociada a otras tres proposiciones importantes, estas son: la
recíproca, la inversa y la contrareciproca
Operación asociada también al juego de dos proposiciones y cuya tabla de verdad es:
p q
V V V
V F F
F F V
F V F
5
Llamada también disyunción excluyente, donde la verdad de la operación está caracterizada por
la verdad de una y solo una de las proposiciones, su tabla de verdad es:
p q
V F V
V V F
F V V
F F F
La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con
un interruptor, donde el interruptor se cierra, si la proposición p es Verdadera o 1 y se abre si p es
Falsa o 0.
Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son
verdaderas:
p q
1 1 1
1 0 0
0 0 1
0 0 0
Se verifica que no pasa corriente, para el caso de que ambas proposiciones son falsas:
p q
1 1 1
1 1 0
0 1 1
0 0 0
0
Para el caso de la disjuncion excluyente o diferencia simétrica y aprovechando sus equivalentes
lógicos, nos permite operar:
p ∆ q ≡ ~ (p ↔ q) ≡ (p ˅ q) ˄ ~ (p ˄ q) ≡ (p ˄ ~ q) ˅ (q ˄ ~ p)
~p q
p q
1 0 1
1 1 0
0 1 1
0 0 0
IMPLICACION O CONDICIONAL ( → ) :
~p
INVOLUCIÓN : ( p) p IDENTIDAD:
p F p
V p p
IDEMPOTENCIA: p p p
p p p LEY DE ABSORCION:
p F F
CONMUTATIVIDAD: p V V
p q q p
p q q p LEY DEL COMPLEMENTO:
p q q p p p V
p p F
8
ASOCIATIVIDAD: DISTRIBUTIVIDAD:
p (q r) (p q) r p (q r) (p q) (p r)
p (q r) (p q) r p (q r) (p q) (pr)
p (q r) (p q) r p (q r) (p q) (pr)
p (q r) (p q) (pr)
EQUIVALENTES LÓGICOS:
LEY * :
p q p q
p (p q) p
p q (p q) (q p)
p (p q) p
p q ~(p∆q)
LEYES DE D´MORGAN:
LEY ** :
(p q) p q
p ( p q) p q
(p q) p q
p ( p q ) p q
LEY DE LA CONTRARECIPROCA:
p q q p
[(p q) ˄ p] → q
[(p q) ˄ (q r)] → (p r)
[(p q) ˄ q] → p
9
10.- CUANTIFICADORES
[ x / P(x) ] x / P(x)