Deniciones y ejemplos:

Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
LGICO MATEMTICA
Lgica Proposicional
Carlos Felipe Piedra Cceda.
Licenciado en Matemtica.
Con estudios de Maestra en Ingeniera Matemtica.
7 de abril de 2011
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Deniciones y ejemplos:
Denicin de Lgica
Estudia los mtodos y los principios usados para distinguir el
razonamiento correcto del incorrecto.
Dada la misma agudeza intelectual innata, la persona que ha
estudiado lgica tiene mayor posibilidad de razonar correctamente
que aquella que nunca ha considerado los principios generales
implicados en esa actividad.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Enunciado:
Es toda expresin lingstica, que constituye una frase u oracin.
Ejemplos:
1
Vargas LLosa es peruano.
2
Auxilio!
3
El hexgono tiene 5 lados.
4
Prohibido fumar en la ocina.
5
Qu hora es?
6
El cubo de 3 es 9.
7
Los Perros Hambrientos.
8
"Dios es un ser misericordioso"
9
El Per es un mendigo sentado en un banco de oro"
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Proposicin:
Enunciado susceptible de ser verdadero o falso pero no ambos a la
vez.
Generalmente se representan por las letras: p, q, r, etc.
Ejemplos:
1
La suma de dos nmeros impares es par.
2
Machu Picchu se encuentra en el Cuzco y Sipn en
Lambayeque.
Observacin:
Las dudas, splicas, deseos, rdenes, preguntas y exclamaciones,
no se consideran proposiciones lgicas; tampoco las frases y
oraciones que posean ambiguedad evidente y que se reeran a
contextos religiosos, subjetivos y literarios.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Clases de proposiciones:
P. Simples o Atmicas o No Estructurales:
Son aquellas que tienen un solo sujeto y un solo predicado. Carecen
de conector lgico, no se componen de otras proposiciones.
Las proposiciones atmicas a su vez pueden ser:
1
Predicativas: Constan de sujeto y predicado, pudiendo
indicar una cualidad o una circunstancia.
Ejemplo: - Chiclayo es llamada ciudad de la amistad.
- Federico Villarreal fue un matemtico lambayecano.
2
Relacionales: Constan de dos o ms sujetos vinculados entre
s. Ejemplo:
- La seleccin peruana de vley jug un partido intenso con su
similar de Cuba. (R. de accin)
- Vallejo con Maritegui fueron literatos contemporneos. (R.
de tiempo) Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
P. Compuestas o Moleculares o Coligativas:
Son aquellas que estn constituidas por proposiciones atmicas y
se caracterizan porque poseen enlaces llamados conectores lgicos.
Las proposiciones compuestas, pueden ser: Negativas, Conjuntivas,
Disyuntivas Dbiles, Disyuntivas Fuertes, Implicativas,
Biimplicativas.
Ejemplos:
1
Voy a comprar galletas y a tomar caf.
2
Si estudio todo el ciclo, entonces apruebo el curso.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Valor de Verdad:
Es la correspondencia entre la realidad objetiva y lo que se dice o
piensa, el cual puede ser verdadero o falso. Ser verdadero cuando
lo que se piensa o dice coincide con la realidad, en el caso
contrario ser falso. Es la verdad o falsedad de una proposicin.
Enunciado abierto:
Llamado tambin funcin proposicional, es un enunciado en el que
intervienen una o ms variables, que admiten la posibilidad de
convertirse en una proposicin lgica cuando la variable asume un
valor determinado. Los enunciados abiertos usan las palabras el,
ella y los smbolos x, y, z, etc. No son proposiciones pero cuando se
reemplazan estas palabras o smbolos por un determinado objeto o
valor resultan ser proposiciones.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Ejemplos:
1
Ella es una actriz peruana.
2
x
2
+8x = 16
3
m +n 3
4
Sea n un nmero impar.
Variables Lgicas:
Smbolos que reciben varios valores o interpretaciones. Representan
proposiciones simples. stas variables lgicas, pueden ser:
1
V. Proposicionales: Constituidas por las letras minsculas
desde la p hasta la z.
2
V. Metalingusticas: Constituidas por las letras maysculas
desde la A hasta la Z.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Conectivos u operadores o constantes Lgicos:
Denicin:
Son trminos funcionales que unen o enlazan las proposiciones
simples para formar proposiciones compuestas.
Clases:
1
Mondicos: Son los que afectan a una sola proposicin
simple.
Ejemplo: El negador.
2
Didicos: Enlazan a dos proposiciones simples.
Ejemplo: El conjuntor, el disyuntor inclusivo, el disyuntor
exclusivo, el implicador, el biimplicador.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Conector Lgico Smbolo Esquema Se lee
Negacin , , A no A
Conjuncin , A B A y B
Disyuncin Inclusiva , A B A o B
Disyuncin Exclusiva , A B o A o B
Implicador , , A B si A entonces B
Biimplicador , , A B A si y slo si B
Conector Lgico Esquema Signicado
Negacin A Cambia el valor de verdad de una proposicin simple
Conjuncin A B Indica que se deben dar las dos proposiciones
Disyuncin Inclusiva A B Da la posibilidad de que se den ambas proposiciones
Disyuncin Exclusiva A B Excluye la posibilidad de que se den ambas proposiciones a la vez
Implicador A B Indica en las proposiciones una relacin de causa-efecto
Biimplicador A B Indica que se da una relacin de causa-efecto y viceversa en dos proposiciones
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
1
Negacin: Aquella que cambia el valor de la proposicin
original, es decir es negar una armacin o armar una
negacin.
2
Conjuncin: Es verdadera nicamente cuando sus dos
componentes son verdaderos. En cualquiera otra posicin es
falsa.
3
Disyuncin Inclusiva o Dbil: Es falsa slo cuando sus dos
componentes son falsos.
4
Disyuncin Exclusiva o Fuerte: Es verdadera slo cuando
una de las componentes es verdadera.
5
Condicional: Es falsa slo cuando el antecedente es
verdadero y el consecuente es falso.
6
Bicondicional: Es verdadera cuando sus dos componentes, o
son verdaderos a la vez o son falsos a la vez. Es falsa cuando
sus dos componentes tienen valores distintos.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Tablas de verdad:
p q p p q p q p q p q p q
V V F V V F V V
V F F F V V F F
F V V F V V V F
F F V F F F V V
El nmero de valores de verdad que asigna a cada variable resulta
de aplicar la frmula: 2
n
, donde n es el nmero de variables que
hay en el esquema molecular.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Formalizacin
Formalizacin
Es la operacin que consiste en sustituir las expresiones del
lenguaje natural por smbolos lgicos.
Y la proposicin debidamente formalizada la llamaremos frmula.
Pasos para formalizar:
1
Identicar las proposiciones simples asignndoles una variable
proposicional: p, q, r, etc. en orden alfabtico teniendo en
cuenta que a las proposiciones con el mismo signicado
deber corresponderle la misma variable proposicional.
2
Identicar las palabras conectoras en las proposiciones
compuestas sustituyendolas por los operadores lgicos.
3
Formalizar escribiendo las variables y operadores
proposicionales de izquierda a derecha.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Observaciones Importantes:
1
Segn la estructura de la proposicin compuesta podemos
usar signos de agrupacin(parntesis, corchetes, llaves), stos
ayudan a delimitar donde comienza una parte del esquema o
frmula y donde acaba para empezar la siguiente.
2
De un punto a otro punto siempre hay una proposicin simple
o compuesta; lo cual indica que debemos usar un signo de
agrupacin para encerrar dicha formalizacin.
3
El punto seguido mayormente si es que no hay un trmino
conector adjunto, es un conjuntor.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Jerarqua de Conectores Lgicos:
Se usa de menor a mayor jerarqua para casos especiales en los
cuales no queda explcito la formalizacin, haciendo uso de signos
de agrupacin.
Jerarqua Conector Lgico Smbolo
1

Biimplicador
2

Disyuncin Exclusiva
3

Implicador
4

Disyuncin Inclusiva
5

Conjuncin
La jeraqua del negador depender si ste es interno o
externo. Es decir si es interno, ser de mayor jeraqua y si es
externo, ser de menor jerarqua.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional
Deniciones y ejemplos:
Conectivos Lgicos:
Formalizacin:
Valoracin de las proposiciones moleculares:
Valoracin de las proposiciones moleculares o
compuestas:
1
Tautologa: Cuando los valores de su conectivo principal
resultan ser verdaderos, para todas las asignaciones posibles
de la tabla de verdad
2
Contradiccin: Cuando los valores de su conectivo principal
resultan ser falsos, para todas las asignaciones posibles de la
tabla de verdad.
3
Contingencia: Aquella expresin, que en su conectivo
principal resulten valores verdaderos y falsos a la vez, para
todas las posibles asignaciones de la tabla de verdad.
Carlos Felipe Piedra Cceda. Licenciado en Matemtica. Con estudios de Maestra en Ingeniera Matemtica. LGICO MATEMTICA Lgica Proposicional