PROPOSICIN

La proposicin es una oracin aseverativa de la que tiene sentido decir que es

verdadera o falsa. Expresin verbal que afirma o niega algo. Secuencia finita de
signos con significado y sentido de ser calificado como verdadero o falso.
Expresin lingstica susceptible de ser calificada de verdadera o falsa. Hace
referencia explcita a las oraciones aseverativas o enunciativas. Ej.
El sol es agradable en primavera.
Dolly fue la primera oveja clonada.
El tomo es una molcula.
Es un producto lgico del pensamiento que se expresa mediante el lenguaje, sea
ste un lenguaje comn, cuando adopta la forma de oracin gramatical, o
simblico, cuando se expresa por medio de signos o smbolos.
Para Aristteles, la proposicin es un discurso enunciativo perfecto, que se
expresa en un juicio que significa lo verdadero y lo falso como juicio de trminos.
Por eso el juicio es una afirmacin categrica, es decir, incondicionada porque
representa adecuadamente la realidad.
CLASIFICACIN DE PROPOSICIONES
A. PROPOSICIONES SIMPLES O ATMICAS, son aquellas que llevan un slo
sujeto y un slo predicado no tienen conjunciones entre los trminos que la
integran, y no pueden descomponerse en otras. Son aquellas que no se
pueden fragmentar en proposiciones menores. Ej.
El hombre es racional.
Los dgitos son nueve
4 es un nmero par
Todos los nmeros impares son primos
B. PROPOSICIONES COMPUESTAS, llamadas tambin moleculares, se
constituyen a partir de las proposiciones simples, estn unidas por alguna
conjuncin o algn conectivo lgico: ej.

El alma es espiritual y libre.
"Las rosas son rojas y las violetas azules"
"El es inteligente o estudia todas las noches"




CONECTIVOS LGICOS

Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposicin molecular.
En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se
utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula
compuesta dependa del valor de verdad de las frmulas componentes.
En programacin se utilizan para combinar valores de verdad y obtener nuevos
valores que determinen el flujo de control de un algoritmo o programa.
Las conectivas lgicas son, junto con los cuantificadores, las principales
constantes lgicas de muchos sistemas lgicos, principalmente la lgica
proposicional y la lgica de predicados.
[
LA NEGACION
La operacin unitaria de negacin, no es cierto que se representa por y tiene
la siguiente tabla de verdad de verdad.

p p
V F
F V

LA CONJUNCION
La conjuncin de las proposiciones p, q es la operacin binaria que tiene por
resultado p y q, se representa por p^q, y su tabla de verdad es:



p q p^q
V V V
V F F
F V F
F F F
La conjuncin nos sirve para indicar que se cumplen dos condiciones
simultneamente, as por ejemplo si tenemos:
La funcin es creciente y est definida para los nmeros positivos, utilizamos
p ^ q, donde
p: la funcin es creciente
q: la funcin est definida para los nmeros positivos
As tambin: p ^ q, donde

p: el nmero es divisible por 3
q: el nmero est representado en base 2
Se lee: El nmero es divisible entre 3 y est representado en base 2.
Nota: Observamos que para la conjuncin p ^ q sea verdadera las dos
expresiones que intervienen deben ser verdaderas y slo en ese caso como se
indica por su tabla de verdad.





LA DISYUNCION
La disyuncin de dos proposiciones p, q es la operacin binaria que da por
resultado p q, notacin p v q, y tiene la siguiente tabla:
p q p v q
V V V
V F V
F V V
F F F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y
que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresin p q sea verdadera.
LA CONDICIONAL
La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces
q, se representa por p q, y su tabla de verdad est dada por:
p q pq
V V V
V F F
F V V
F F V



Con respecto a este operador binario, lo primero que hay que destacar es que no
es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El
nico caso que resulta falso es cuando el primero es verdadero y el segundo falso.
Por ejemplo, si p es llueve y q es hay nubes entonces:
p q es si llueve entonces hay nubes.
Tambin cabe sealar que este viene a ser el operador ms importante en el
proceso deductivo y que la mayora de las leyes de inferencia y las propiedades
en matemticas se pueden enunciar utilizando este operador.

LA BICONDICIONAL
La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si
q, se representa por p q su tabla de verdad est dada por:
p q p q
V V V
V F F
F V F
F F V








TABLAS DE VERDAD

Conectiva Notacin
Ejemplo
de uso
Anlogo
natural
Ejemplo de uso en
el lenguaje natural
Tabla de verdad
Negacin

no No est lloviendo.

Conjuncin

y
Est lloviendo y es
de noche.

Disyuncin


o
Est lloviendo o es
de noche.

Condicional
material

si...
entonces
Si est lloviendo,
entonces es de
noche.

Bicondicional

si y slo si
Est lloviendo si y
slo si es de
noche.



CONTRADICCIN
Se entiende por
proposicin
contradictoria, o
contradiccin, aquella
proposicin que en
todos los casos
posibles de su tabla de
verdad su valor
siempre es F. Dicho de
otra forma, su valor F
no depende de los valores de verdad de las proposiciones que la forman, sino de la forma
en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:
TAUTOLOGAS
Se entiende por
proposicin
tautolgica, o
tautologa, aquella
proposicin que en
todos los casos
posibles de su tabla de
verdad su valor
siempre es V. Dicho de
otra forma, su valor V
no depende de los valores de verdad de las proposiciones que la forman, sino de la forma
en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:
CONTIGENCIA: Son aquellas frmulas cuyo valor de verdad o falsedad depende de la
valoracin de los smbolos proposicionales que contiene.
CONTINGENCIA: Es toda proposicin lgica cuyo valor de verdad
tiene al menos un valor verdadero ( V ) y un valor falso (F).