SIMBOLIZACIN DE PROPOSICIONES

Cada proposicin tiene una forma lgica a la cual se le d un nombre. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposicin se denomina simple cuando en ella no interviene ninguna conectiva lgica o trmino de enlace (y, o, no, si...entonces..., si y slo si). Si se juntan una o varias proposiciones simples con un trmino de enlace, se forma una proposicincompuesta. Los trminos de enlace, "y", "o", "si... entonces...", "si y slo si"; se usan para ligar dos proposiciones, en cambio el trmino de enlace "no" se agrega a una sola proposicin. Ejemplo: Hoy es jueves Hay clases de matemticas Ambas proposiciones son simples. Con estas proposiciones se pueden construir proposiciones compuestas tales como: Hoy es jueves y hay clases de matemticas. Hoy es jueves o hay clases de matemticas. Si hoy es jueves entonces hay clases de matemticas. Hoy no es jueves.

PROPOSICIN. Para la LGICA se consideran proposiciones, aquellas expresiones lingsticas que tienen una funcin informativa. De ellas tiene sentido decir si son verdaderas o falsas.
Ejemplo: Consideramos las siguientes oraciones.- Estn atendiendo? -Atiendan! -El calor dilata los cuerpos -Hoy es sbado -Estamos en la clase de Lgic Se trata de cinco oraciones diferentes: una interrogativa, una imperativa y tres declarativas. Una pregunta puede formularse o no, una orden puede ser cumplida o no. En cambio de las tres ltimas que son declarativas, tiene sentido decir si son V F.

PROPOSICIONES SIMPLES Y COMPUESTAS Una proposicin simple o atmica (PA) es una proposicin completa sin trminos de enlace Una proposicin compuesta o molecular (PM) est formada por una o ms proposiciones atmicas unidas por trminos de enlace. Ejemplos: Las mujeres no atienden las explicaciones Hoy es lunes y hay clase.Hoy no es lunes implica que hay clases Hoy es lunes o hay clase Hoy es lunes si y solo si hay clase Estas proposiciones moleculares se han construido con una o dos proposiciones atmicas y distintos trminos de enlace .Los trminos de enlace "y" , "no" , "o" , "si...entonces" y "si y solo si" no forman parte de las proposiciones atmicas. Se han aadido a ellas para construir una proposicin molecular

TERMINO DE ENLACE Y SUS SIMBOLOS Estas proposiciones moleculares se han construido con una o dos proposiciones atmicas y distintos trminos de enlace .Los trminos de enlace "y" , "no" , "o" , "si...entonces" y "si y solo si" no forman parte de las proposiciones atmicas. Se han aadido a ellas para construir una proposicin molecular. La forma de las PM construidas, depende del trmino de enlace utilizado y no del contenido de la proposicin o proposiciones atmicas. Es decir, si en una PM se sustituyen las proposiciones atmicas por otras proposiciones atmicas cualesquiera, la forma de la proposicin molecular se conserva. En el ejemplo: Hoy es lunes y hay clase, se puede representar la forma de esta PM utilizando el trmino de enlace "y" de la siguiente manera ( ) y ( )

Se pueden sustituir los parntesis, por cualquier proposicin y la forma es la misma

Ejemplo:

Es rojo y es azul
Soy alumno de este curso y estoy en la clase de lgica. Se pueden tambin utilizar proposiciones moleculares y la forma es la misma. Ejemplo: No me gusta esta clase y deseo no estar aqu Tambin se podra utilizar una proposicin molecular y una proposicin atmica. Ejemplo: Soy alumno de este curso y no me gusta lgica Cualesquiera sean las proposiciones con las que se llenan los espacios, la forma es la de una proposicin molecular con el trmino de enlace "y". Todo lo dicho es aplicable a los trminos de enlace antes mencionados

Ejem: ( si ( (

) o ( ) entonces ( ) si y solo si (

) ; no (
)

AGRUPAMIENTOS Y PARNTESIS

Es frecuente encontrar proposiciones que tienen ms de un trmino de enlace pero, siempre, uno de los trminos de enlace es el mayor, por esto se le denominar dominante porque es el que acta sobre toda la proposicin.

Ejemplo: ( p q ) r es una conjuncin

Los parntesis son smbolos de puntuacin de la lgica. Muestran como est agrupada una proposicin y, por lo tanto, sealan cul es el trmino de enlace dominante

REGLA 1 El signo es ms potente que los otros trminos de enlace ( p q ) ( r s ) puede escribirse p q r s REGLA 2 El signo es ms potente que y . ( p q ) ( rs ) puede escribirse pq rs. REGLA 3 El signo de negacin ( ) es ms dbil que cualquiera de los otros trminos de enlace. pq ( conjuncin) no es lo mismo que ( pq) ( negacin) REGLA 4 Los signos y son igualmente fuertes. Cuando se presentan ambos en una proposicin, se tienen que poner siempre los parntesis para indicar cul es el trmino de enlace dominante. Ejemplo: p q r no es claro ( p q) r conjuncin p (q r) disyuncin