Algebra proposicional.

Una proposicin, para los fines de esta exposicin, es una declaracin la cual
puede ser verdadera o falsa, por ejemplo: 5 > 4, 2+2=5, Pedro comi a las 3, Me
gusta la sopa. Algunas veces es ms difcil que otras determinar si la declaracin
(o proposicin) es verdadera o falsa, en otras palabras, si toma el valor
de verdad o falsedad. Sin embargo, esto no cambia el hecho de que existe
slo una posibilidad, ya sea que la propuesta puede que sea verdadera o
sea falsa. Algunas declaraciones que no califican con este criterio son Tu sweater
es bonito, = 9, Cmo dijiste?.
Esta definicin propuesta es una definicin formal, esto es, una definicin que se
ha hecho cuidadosamente para que todas las posibilidades queden cubiertas; se
ha hecho de este modo con el fin de que no existan ambigedades ni
malentendidos. En muchas ocasiones, se utilizan letras para representar las
proposiciones. Se dice que una proposicion es simple o atmica, si no est
compuesta por otra proposicin. Las Proposiciones compuestas se pueden crear
combinando connectores con proposiciones simples.
Semntica:
Negacin (p)
Conectivos lgicos: negacin, disyuncin, conjuncin, condicional y bicondicional.

A continuacin se da una tabla en la que se da la expresin gramatical y
el nombre del conectivo que representa:
Las proposiciones simples o atmicas son proposiciones que ya no
pueden descomponerse en dos expresiones que sean proposiciones.
A las proposiciones en las que aparecen las partculas gramaticales
como:
No, o, y, sientonces, si y solo si.
Se les llama Proposiciones Compuestas o Moleculares.

Conectivo Nombre
no Negacin
o Disyuncin
y Conjuncin
Sientonces Condicional
Si y slo si Bicondicional
LA NEGACIN NO
El valor de verdad de la negacin de una proposicin es el contrario al valor de la
proposicin. Esto es, si la proposicin es verdadera su negacin es falsa, y si la
proposicin es falsa, su negacin ser verdadera.
p *p
V F
F V
El trmino de enlace NO, es el nico que no conecta realmente dos
proposiciones, sin embargo, cuando a una proposicin se le agrega un no se
forma una proposicin molecular y puede ser de dos formas:
v Externa
v Interna
Externa: La presentacin externa del no es cuando aparece fuera de la
proposicin sobre la cual acta
Ejemplo:
No ir al cine
Interna: Cuando aparece dentro de la proposicin sobre la cual acta
Ejemplo:
Juan no es mi compaero de clase
DISYUNCIN O
Se dice que el trmino de enlace o tiene dos sentidos
v Incluyente
v Excluyente
Incluyente: En el sentido incluyente hay una tercera posibilidad de que se cumplan
las dos condiciones
Ejemplo:
El libro es azul o esta sobre la mesa
Excluyente: En este sentido solamente puede ocurrir una o la otra de las
posibilidades
Ejemplo:
Es de da o de noche
La disyuncin de p o q, p * q, es la proposicin que es verdadera cuando ya sea
que p o q o ambas son verdaderas; la disyuncin ser falsa solamente cuando
ambas proposiciones p y q sean falsas.
Disyuncin (o)
p q p * q
V V V
V F V
F V V
F F F


Tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de
verdad que se pueda asignar.
1

Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato
ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-
philosophicus, publicado en 1921.

Tautologa
En lgica, una tautologa (del griego , "decir lo mismo") es una frmula
bien formada de un sistema de lgica proposicional que resulta verdadera para
cualquier interpretacin; es decir, para cualquier asignacin de valores de
verdad que se haga a sus frmulas atmicas.
1

2
La construccin de una tabla de
verdad es un mtodo efectivopara determinar si una frmula cualquiera es una
tautologa o no

Contradiccin
En lgica, una contradiccin es una incompatibilidad entre dos o
ms proposiciones. Por ejemplo, las oraciones llueve y no llueve y ni llueve ni
truena, pero llueve y truena expresan contradicciones.
En lgica proposicional, una contradiccin se define como una frmula que resulta
falsa para cualquier interpretacin, es decir para cualquier asignacin de valores
de verdadque se haga a sus frmulas atmicas

Contingencia

En lgica y filosofa, la contingencia es el modo de ser de lo que no
es necesario ni imposible, sino que puede ser o no ser el caso.
1
En general la
contingencia se predica de los estados de cosas, los hechos, los eventos o
las proposiciones.
1
Existe un debate sobre si es aceptable hablar
de entidades contingentes (o entidades necesarias o imposibles),
1
conocido como
el debate en torno a las modalidades de dicto (de la palabra) y de res (de la cosa).