Concepto de proposicin lgica. Proposiciones simples y compuestas.

Para entender el concepto Proposicin lgica hay que entender el significado de cada
palabra que la compone, lo cual encontraremos a continuacin:

Lgica: Es una ciencia formal que estudia la estructura o formas del pensamiento humano
(como proposiciones, conceptos y razonamientos) para establecer leyes y principios vlidos
para obtener criterios de verdad.

La lgica nos proporciona formas de razonamiento correcto y tiene aplicacin en las dems
ramas del saber, como son: Filosofa, matemticas, computacin y en general se aplica en la
vida cotidiana.

Proposicin: Es el acto por medio del cual se expresa algo que consideramos o pensamos.
Como tal, puede referirse al acto de manifestar algo a alguien, hacer una propuesta a una
persona, determinarse o proponerse a hacer una cosa.

El trmino proposicin es aplicable a diferentes disciplinas de conocimiento, como:

filosofa, lgica, gramtica, retrica, matemtica, geometra o derecho.

Una proposicin es, como llamamos en espaol, una oracin sencilla. Para la lgica, como
proposicin se denomina la unidad de razonamiento que expresa un contenido semntico al
que se puede asignar un valor de verdad, es decir, que puede ser cierto o falso. Para ello, la
proposicin debe expresarse mediante una lengua natural, aunque tambin puede realizarse
en lenguajes formales, como el de las matemticas.

En matemticas, como proposicin se designa la enunciacin de una verdad demostrada o

que se trata de demostrar mediante una frmula constituida por una serie de signos.

El lenguaje de la lgica maneja proposiciones, estas pueden ser

Categricas si de ellas puedo decir que p son verdaderas o falsas.
V
F

Proposiciones simples:

Son las ms sencillas de las proposiciones, se refieren a expresiones o conceptos y no

tienen trminos de enlace, en otras palabras, son aquellas que no tienen oraciones
componentes afectadas por negaciones (no) o trminos de enlace como conjunciones
(y), disyunciones (o) o implicaciones (sientonces). Pueden aparecer trminos de
enlace en el sujeto o en el predicado, pero no entre oraciones.

Ejemplos:

Carlos Vives es un cantante colombiano.

El 2 o el 3 son divisores de 48.
La capital de Colombia es Bogot.
Los animales Carnvoros se alimentan de plantas. (Proposicin falsa)
Sea p la proposicin podemos verificar si es verdad o no.

Proposicin compuesta:

Son dos o ms proposiciones simples ligadas por una palabra llamada conectivo lgico o
conector lgico. Una proposicin ser compuesta si no es simple, es decir si est afectada
por negaciones o trminos de enlace entre oraciones componentes.

Ejemplos:

Gabriel Garca Mrquez fue un gran escritor y bailarn.

El nmero 6 es mayor que el 3 y menor que el 7.
No todos los nmeros primos son impares.
Si el ovino come pasto, es herbvoro.

El valor de verdad de la proposicin compuesta est dado por el valor de verdad de las
composiciones que la forman.

p: 6>3, q:6<7 por construccin idiomtica diremos El nmero 6 es mayor que el 3 y menor
que el 7.