Lgica simblica

Introduccin a las proposiciones

Concepto de Proposiciones
Las proposiciones son el lenguaje formal de la lgica simblica por el cual estn regidas todas las leyes de esta
matemtica que utiliza la simbologa como su principal fuente de estudio.
En si las proposiciones son oraciones literarias o matemticas en la cual tiene sentido establecer un valor de
verdad o falsedad. Es decir una proposicin puede ser verdadera o falsa y no ambas a la vez. Y por lo tanto una
oracin que no tenga sentido o carezca de valor no ser considerada proposicin

Clasificacin de las Proposiciones

Las Proposiciones de Clasifican en los siguientes tipos de oraciones:
a) Oraciones Declarativas Simples
Son oraciones llamadas DECLARATIVAS por que declaran algo como su propio nombre dice y tambin
son llamadas simples por que carecen de conectivos lgicos. Para mejor comprendimiento son oraciones
formadas por una sola oracin de ah el nombre SIMPLE
b) Oraciones Declarativas Compuestas
Son oraciones llamadas Compuestas por que al contrario de las simples. Este tipo de oraciones tienen la
presencia de conectivos lgicos y estn formadas por mas de una oracin es decir pueden estar formadas por
infinitas oraciones.

Oraciones que no son consideradas Proposiciones

Las siguientes Oraciones nunca sern consideradas proposiciones:
a) Oraciones Interrogativas (?)
Este tipo de Oraciones llamadas Interrogativas son oraciones que indican alguna pregunta dentro del
lenguaje literario y por este motivo estas oraciones carecen de un valor de verdad es decir no pueden ser ni
verdaderas ni falsas. Al no ser consideradas ni falsas ni verdaderas no pueden ser proposiciones.
Ejemplos:
1.- Como te llamas? No tiene sentido afirmar si es verdadero o falso
2.- A donde Vas?
No tiene sentido afirmar si es verdadero o falso
3.- Quien sos?
No tiene sentido afirmar si es verdadero o falso
4.- Que te gusta tomar?
No tiene sentido afirmar si es verdadero o falso
5.- Cuantos aos tenes?
No tiene sentido afirmar si es verdadero o falso
Por lo tanto llegamos a la conclusin de que cualquier oracin interrogativa no puede ser considerada una
proposicin.
b) Oraciones de Admiracin (!)
Estas oraciones de Admiracin tampoco son consideradas proposiciones ya que este tipo de oracin indica
algo admirable y por ende no tiene sentido afirmar si dicha oracin es verdadera o falsa. Al tener esta
caractersticas no podrn ser consideradas proposiciones
Ejemplos:
1.- Viva Bolivia!
No tiene sentido afirmar si es verdadero o falso
2.- Viva Santa Cruz!
No tiene sentido afirmar si es verdadero o falso
3.- es Linda mi tierra!
No tiene sentido afirmar si es verdadero o falso
4.- Viva Oriente Petrolero! No tiene sentido afirmar si es verdadero o falso
c) Oraciones de Deseo
Estas oraciones de Deseo tambin no son consideradas proposiciones ya que cuando uno expresa un deseo
este deseo puede ser falso y verdadero al mismo tiempo. Al tener esta caracterstica no pueden ser
consideradas proposiciones
Ejemplos:
1.- Deseo helados
2.- Quiero ir a la plaza
3.- Quiero que gane oriente petrolero

4.- Quiero darte un beso

d) Oraciones de Orden
Es otro tipo de oraciones las cuales entran en el grupo de las no pertenecientes a las proposiciones ya que
una oracin literal de orden no tendr sentido afirmar si es verdadera o falsa por el mismo hecho de que se
trata de una oracin de orden al tener esta caracterstica no ser considerada Proposicin.
Ejemplos:
1.- Treme una silla
2.- Bscame un lpiz
3.- Traigan todos los documentos
4.- Acomoden en aula

Tipos de Conectivos Lgicos en una Proposicin

Existe una infinidad de Conectivos Lgicos dentro de la lgica simblica sin embargo para fines de la
materia se estudiaran 5 tipos de conectivos lgicos los cuales veremos a continuacin. Por ende un
conectivo lgico es una herramienta simblica que permite unir ms de una oracin por lo tanto se utilizaran
en las oraciones declarativas consideradas Compuestas.
a) Conjuncion (^)
El smbolo utilizado para la conjuncion en la lgica simblica es una V pero en forma volcada (^) este tipo
de conectivo tendr un significado propio dentro de las oraciones. La conjuncion reemplazara la consonante
y en las proposiciones y por lo tanto se llega a la conclusin de que el valor de (^) = y se leer tal como la
consonante.
b) Disyuncin (v)
La disyuncin es otro smbolo matemtico perteneciente a los conectivos lgicos cuya representacin es una
(V) normal. Tambin este conectivo tendr su significado propio en las oraciones. La disyuncin
reemplazara la Vocal O en las proposiciones y por ende se llega a la conclusin de que el valor de (v) = O y
se leer tal como la vocal
c) Implicacin ()
La implicacin es uno de los conectivos mas importantes ya que tiene mas valor que la conjuncion y la
disyuncin su simbologa matemtica es una flecha () es un conectivo que tiene varios significados y por
ende habr que prestarle un poco mas de atencin. Reemplazara las palabras Entonces, Luego, Por ende.
Por tanto Etc.
En las proposiciones y por ende se llega a la conclusin de que el smbolo () tendr varios significados y
se leer conforma a la palabra que reemplac.
d) Doble Implicacin ()
La Doble Implicacin es un conectivo mas fuerte que la implicacin y por ende mas fuerte que la disyuncin
y conjuncion su smbolo matemtico es (). Tiene su significado correspondiente dentro de las oraciones
reemplazara a la palabra Si y Solo Si en las proposiciones y se leer tal como se lea dicha palabra.
e) Disyuncin Exclusiva (V)
La disyuncin exclusiva dentro de la jerarqua de los conectivos viene a ocupar el primer lugar. Su
simbologa matemtica es una (v) Normal que a diferencia de la disyuncin tiene una lnea debajo de la (V)
lo que por lo tanto permite diferenciarlas. Reemplazara en las oraciones a la palabra O p O q Pero no
ambas lo que implica que se tendr que elegir una sola opcin y no las dos al mismo tiempo. Se leer tal
como se pronuncie la palabra correspondiente.

Valores de Verdad de Una Proposicin

El valor de verdad de una proposicin tiene por objetivo demostrar con que valor de verdad esta actuando
una proposicin. Este valor puede ser verdadero o falso dependiendo de la veracidad de dicha oracin. Se
simboliza de la siguiente manera tomando el siguiente significado.
(P) = F o V Significa el valor de verdad de la proposicin P es igual a F o V

PROBLEMAS QUE INVOLUCRAN RESOLUCIONES CON PROPOSICIONES

a) PROBLEMA TIPO I (Dada una Oracin Determinar si es Proposicin)
- Determinar si las siguientes Oraciones son Proposiciones
1.- la Gravedad vale 9,81 mt/sg2
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
2.- 3+3=9
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
3.- Algebra es una materia de primer semestre
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
4.- el cielo es de color celeste
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
5.- newton fue un famoso qumico
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
6.- La carrera de Ingeniera Petrolera pertenece a la facultad de Ciencias Econmicas
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
7.- La materia de algebra I es una materia muy difcil
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin

Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
8.- las vocales son diez
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
9.- El tema de Derivadas pertenece a la materia de Ecuaciones Diferenciales
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
10.- En el curso existen ms de 100 Alumnos
Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede decir si es
verdadera o falsa
11.- 3+3
Solucin
1er Paso.- Verificando que tipo de oracin es
Es una expresin Matemtica sin sentido
2do Paso.- Determinar si es Proposicin
No es una proposicin por que carece de igualdad por lo tanto no se puede decir si es verdadera o
falsa.
12.- Quiero ir a la Plaza
Solucin
1er Paso.- Verificando que tipo de oracin es
Es una oracin de deseo
2do Paso.- Determinar si es Proposicin
No es una proposicin por que es una oracin de Deseo y por lo tanto no tiene sentido afirmar si es
verdadera o falsa
13.- Quiero Jugar Cartas
Solucin
1er Paso.- Verificando que tipo de oracin es
Es una oracin de deseo
2do Paso.- Determinar si es Proposicin
No es una proposicin por que es una oracin de Deseo y por lo tanto no tiene sentido afirmar si es
verdadera o falsa

Bibliografia

http://www.monografias.com/trabajos81/algebra-logica-introduccion-proposiciones/algebra-logicaintroduccion-proposiciones.shtml