You are on page 1of 8

2

Dr. Ing. Juan Antonio Rodríguez Sejas

NOCIONES DE LÓGICA MATEMÁTICA
1.- PROPOSICIÓN.Consideremos las siguientes oraciones y relaciones matematicas:
1.- ¿Qué hora es?
2.- ¡Alto!
3.- Wilsterman es el mejor equipo del futboll Boliviano
4.- Los partidos neoliberales impiden las transformaciones en el País
5.- Los troskos siempre mienten a los estudiantes
6.- x + 2y ˂ -7
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:
PROPOSICIÓN, es toda oración respecto de la cual puede decirse si es verdadera o falsa
o sea esta asociada a un valor de verdad, el cual puede ser verdadero (V) o sino falso (F)
y se las representan mediante las letras p, q, r, s,....
2.- SIMBOLOGIA
Las proposiciones se simbolizan generalmente con las letras p, q, r, o A, B, C, etc.
Ej.: La proposición Wilsterman es el mejor equipo del futbol Boliviano se puede simbolizar
con la letra p
3.- CLASIFICACIÓN
Las proposiciones se clasifican en:
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 mas 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.

. para formar proposiciones compuestas. operación binaria y cuya tabla de verdad es : p  q V V F V F F V F V F F F . 4.3 IMPORTANTE.. CONECTIVO       OPERACIÓN ASOCIADA Negación Conjunción o producto Lógico Disyunción o suma Lógica Implicación o Condicional Doble implicación Diferencia simétrica SIGNIFICADO No p o no es cierto que p pyq p o q (en sentido incluyente) p implica q o si p.NEGACIÓN..TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS Llamados también operadores lógicos.() Se trata de una operación unitaria. son símbolos que enlazan proposiciones simples. 5..Como consecuencia de estas operaciones el resultado SIEMPRE es otra Proposición denominada proposición compuesta. entonces q p si y solo si q p o q (en sentido excluyente) 5. por cuanto a partir de una proposición se obtiene otra que es su negación y cuya tabla de verdad es: p p V F F V 5.CONJUNCIÓN (  ) Es una operación donde intervienen siempre dos proposiciones.A partir de proposiciones simples se pueden generar proposiciones compuestas...OPERACIONES PROPOSICIONALES IMPORTANTE.b. sin formar parte de ellas..a.

5..-(  ) Operación asociada también al juego de dos proposiciones y cuya tabla de verdad es: p  q V V F F V F F V V F V F . cuando una de las dos proposiciones es verdadera.c. la inversa y la contrareciproca F V F proposiciones importantes.. estas son: la  La proposición reciproca que corresponde a la condicional p → q es q → p  La proposición inversa o contraria que corresponde a la condicional p → q es ~ p → ~ q  La proposición contrareciproca que corresponde a la condicional p → q es ~ q → ~ p 5.DISYUNCIÓN (  ) Es también una operación que involucra a dos proposiciones y cuya tabla de verdad es: p  q V V F F V V V F V F V F Observar que o en sentido incluyente es V.e.d. donde p es llamado el ANTECEDENTE y q el CONSECUENTE y cuya tabla de verdad es: p  q V V V V F F V F V La proposición condicional está asociada a otras tres recíproca.4 5.IMPLICACIÓN O CONDICIONAL () Definida también para dos proposiciones: p y q.DOBLE IMPLICACIÓN O BICONDICIONAL..

VALORES DE VERDAD  Para proposiciones simples el valor de verdad es simplemente la elección de una de las dos alternativas: Verdadero (V) o falso (F).f..DIFERENCIA SIMÉTRICA.. se tiene: Para representar a p si es Falsa (0).CIRCUITOS LÓGICOS La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un interruptor.5 5.  Para proposiciones compuestas o sea con varias proposiciones el número de alternativas es determinada por la ecuación 2n. donde la verdad de la operación esta caracterizada por la verdad de una y solo una de las proposiciones. luego se elabora la tabla de verdad correspondiente para finalmente determinar el valor de verdad de la proposición compuesta.(  o ∆) Llamada también disyunción excluyente. su tabla de verdad es: p  q V V F F V V V F V F F F 6.. se tiene: . si la proposición p es Verdadera o 1 y se abre si p es Falsa o 0. o sea es una combinación de verdaderos (V) y falsos (F) 7. donde el interruptor se cierra.. donde n es el número de proposiciones simples de la proposición compuesta. considerando los siguientes criterios: TAUTOLOGÍA: si todos los valores de verdad de la tabla son Verdaderos CONTRADICCIÓN: si todos los valores de verdad de la tabla son Falsos CONTINGENCIA: si los valores de verdad en la tabla son “mezcladitos”. Para representar a p si es Verdadera (1).

6 Las operaciones proposicionales de la CONJUNCIÓN y la DISYUNCIÓN. llamados en lógica. a saber: CONJUNCIÓN (  ) : Operación proposicional representada mediante la conexión en SERIE de los circuitos eléctricos: p q Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son verdaderas: p q  1 1 0 0 1 0 0 0 1 0 1 0 DISYUNCIÓN ( ) : Operación proposicional representada mediante la conexión en PARALELO de los circuitos eléctricos: p q Se verifica que no pasa corriente. nos permite operar: p ∆ q ≡ ~ (p ↔ q) ≡ (p ˅ q) ˄ ~ (p ˄ q) ≡ (p ˄ ~ q) ˅ (q ˄ ~ p) Lo que nos permite representar el circuito lógico que corresponde a p ∆ q: . se pueden representar mediante las conexiones serie y paralelo de los circuitos eléctricos. circuitos lógicos. 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.

.LEYES LÓGICAS INVOLUCIÓN :  ( p)  p IDEMPOTENCIA: p  p  p p  p  p CONMUTATIVIDAD: p  q  q  p p  q  q p p  q  q  p IDENTIDAD: p  F  p V p  p LEY DE ABSORCION: p  F  F p  V  V LEY DEL COMPLEMENTO:    p  p  V p p  F .7 DIFERENCIA SIMETRICA (∆): p ~q ~p q Permite pasar la corriente cuando una de las proposiciones es verdadera: p  q 1 0 1 1 0 0 1 1 0 0 1 0 Igualmente para el condicional. aprovechando su equivalente lógico: IMPLICACION O CONDICIONAL ( → ) : ~p q 8.

RAZONAMIENTO DEDUCTIVO VALIDO LEY DEL MODUS PONENS: p  q p q [(p  q) ˄ p] → q LEY DEL SILOGISMO HIPOTÉTICO: p  q q  r p  r [(p  q) ˄ (q  r)] → (p  r) LEY DEL MODUS TOLLENS: p  q q p [(p  q) ˄  q] →  p LEY DEL MODUS TOLLENDO PONENS: pq p q p q q p [(p  q) ˄  p] → q [(p  q) ˄  q] → p .8 ASOCIATIVIDAD: p (q  r)  (p  q) r p (q  r)  (p  q) r p (q  r)  (p  q) r DISTRIBUTIVIDAD: p (q  r)  (p  q)  (p r) p (q  r)  (p  q)  (pr) p (q  r)  (p  q)  (pr) p (q  r)  (p  q)  (pr) EQUIVALENTES LÓGICOS: LEY * : p (p  q)  p p (p  q)  p p  q  p  q p  q  (p  q) (q  p) p  q ~(p∆q) LEYES DE D´MORGAN: (p  (p  LEY ** : p  (  p  q p  p  q p  q)  ( p  q ) q)  q)  p  q p  q LEY DE LA CONTRARECIPROCA: p  q  q  p 9..

perteneciente a cierto universo o conjunto expresado mediante los símbolos x llamado cuantificador universal y x llamado cuantificador existencial en x.. se verifica P(x) y se denota por  x : P(x) Existe x. o sea:  [ x : P(x) ]  [ x / Marzo del 2016  x/  P(x) P(x) ]   x /  P(x) . Para negar una función proposicional cuantificada universalmente. igualmente para la negación de un cuantificador existencial. se cambia el cuantificador en existencial y se niega la función proposicional.CUANTIFICADORES Introducimos la cuantificación asociada a un objeto determinado x. entonces: Para todo x.9 SIMPLIFICACIÓN: p  q p  q p q (p  q) → p (p  q) → q SILOGISMO DISYUNTIVO: p  q p  r q  s r  s LEY DE LA CONJUNCION: p q p  q LEY DE LA ADICION: p p  W p → (p  W) [(p) ˄ (q)] → (p  q) 10. tal que se verifica P(x) y se denota por  x / P(x) y corresponde a una función proposicional P(x) o propiedad relativa al objeto x cuantificado universalmente en el primer caso y existencialmente en el segundo caso.