LOGICA PROPOSICIONAL

ERIKA PEREZ CERA

Profesora
KELLY ROSADA RUEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO MATEMATICO
CARTAGENA
2016

Lgica Proposicional
Al hablar de lgica proposicional es pertinente recordar que ambos trminos, lgica y
proposicin, tienen su base en el lenguaje, pues el lenguaje se divide en natural y formal o
artificial, el primero como el castellano, el francs y el ingls inicialmente sin teoras y
posteriormente estas fueron establecidos. El lenguaje formal o artificial, como la matemtica y
la lgica, establecido a partir de teora desarrollada a travs del lenguaje. Lgica, que
etimolgicamente es la ciencia de los logos que significa palabra, palabras que son la expresin
del pensamiento. (Acevedo, 2010)
Ahora bien, las palabras forman oraciones para expresan un pensamiento completo y es as
como podemos definir el termino proposiciones.
Proposiciones
Una proposicin cerrada o proposicin es una oracin de la que se puede decir si es verdadera
o falsa. Todas las proposiciones son oraciones enunciativas o declarativas (Trujillo, 2013) que
tiene un sujeto bien definido, un predicado y una conjugacin del verbo ser.
Las proposiciones se representan simblicamente mediante el uso de letras minsculas del
alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables
proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y exacto que el
lenguaje natural.

Los trminos que enlacen las proposiciones se llaman conectivos lgicos a los cuales se les
asigna un

Lenguaje natural

Lenguaje formal

No

Si entonces

Si y solo si

lenguaje simblico as :

As entonces, se distinguen dos clases de proposiciones, las simples o atmicas y las compuestas
o moleculares. Las proposiciones simples son aquellas en las que no hay conectivos lgicos y
cuyo valor de verdad puede ser verdadero (V)o falso(F), pero no los dos valores al mismo
tiempo. Por ejemplo:
p: un metro tiene cien centmetros.
q: hoy es lunes.
r: Jaime esta con sus amigos.
Las proposiciones compuestas son aquellas en las que se combinan dos o mas proposiciones
simples por medio de conectivos lgicos. Por ejemplo:
p: Caperucita Roja es un cuento infantil.
q: los nios aman los cuentos.
pq: Caperucita Roja es un cuento infantil y los nios aman los cuentos.

p: esta noche voy al cine.

q: Camilo viene de visita.
pq: esta noche voy al cine si y solo si Camilo viene de visita.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una
de las proposiciones simples que la conforman y de la forma como estn combinadas

Referencias
Escudero, R. & rojas, C. (2013). Matemticas Bsicas [ebook]. Barranquilla, Colombia:
Universidad Del Norte. Extrado julio 4, 2016 de:
http://bibliotecavirtual.unad.edu.co:2162/openurl?sid=EBSCO
%3anlebk&genre=book&issn=&ISBN=9789587413014&volume=&issue=&date=20130101&sp
age=&pages=&title=Matema01ticas+ba01sicas&atitle=Matema%CC%81ticas+ba%CC
%81sicas&aulast=&id=DOI%3a&site=ftf-live
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anteriores/Mo
dulo/2010_febrero_3_Modulo_de_Logica_v2.pdf