Está en la página 1de 6

CONCEPTO GENERAL DE LOGICA La lgica es una ciencia, que estudia el lenguaje cientfico, su planteamiento, su organizacin en entidades jerrquicas, y los

mtodos para analizar toda forma escrita de dicho lenguaje. CONCEPTO DE LOGICA PROPOSICIONAL La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. Para que sea posible tal manera de estudiar las proposiciones, se deben cumplir los requisitos siguientes: 1. RESTRINGIR LOS VALORES DE VERDAD DE LAS PROPOSICIONES A DOS: "Formalmente hablando, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez." REPRESENTAR LAS PROPOSICIONES DE MANERA GENERAL: "Las proposiciones se representan mediante variables proposicionales simbolizadas mediantes letras." Esto nos permitir desligar la proposicin del estilo de su redaccin, y del entorno en el cual el ponente propuso su discurso. ES POSIBLE COMBINAR LAS PROPOSICIONES EN FORMULAS: "Estas pueden ser, segn valor de verdad: Tautologa o validez: es una frmula que siempre es verdadera. Contradiccin: es una frmula que siempre es falsa. Contingencia: es una frmula que puede ser verdadera o falsa."

2.

3.

4. LAS FORMULAS DEBEN CUMPLIR CON ALGUNOS REQUISITOS, LLAMADAS REGLAS DE FORMACION, Y BASICAMENTE SE HACEN COHERENTES SI: Una variable proposicional es una sentencia (tambin llamada frmula) bien formada. Una sentencia bien formada precedida de la negacin es una sentencia bien formada. Dos sentencias bien formadas unidas por una de las partculas conectivas binarias constituye una sentencia bien formada. 5. LAS FORMULAS QUE COMBINAN MAS DE UNA PROPOSICION, SENTENCIA O ENUNCIADO, LO HACEN POR MEDIO DE CONECTIVAS LOGICAS, QUE SE CLASIFICAN DE LA SIGUIENTE MANERA: Singulares: se aplican a una nica sentencia, SOLO SE USA LA NEGACION. Binarias: se aplican a dos sentencias, SE DEFINEN CUATRO, QUE SON: LA CONJUNCIN O SUMA LGICA, LA DISYUNCIN, LA CONDICIONAL, Y LA DOBLE CONDICIONAL. 6. SE DEBE CONTAR CON UN CONJUNTO DE SIMBOLOS PARA REALIZAR EL PROCESAMIENTO MATEMATICO DE LOS ENUNCIADOS Y DE LAS FORMULAS: "Un lenguaje de primer orden, es una coleccin de distintos smbolos, LLAMADOS TAMBIN EN CONJUNTO VOCABULARIO LGICO, clasificados como sigue: El smbolo de igualdad Las conectivas: TAMBIEN LLAMADAS, EN CONJUNTO, PARTICULAS LOGICAS y que sirven para formar las ESTRUCURAS LOGICAS. El cuantificador universal y el parntesis Un conjunto contable de smbolos de variable

Un conjunto de smbolos de constante Un conjunto de smbolos de funcin Un conjunto de smbolos de relacin"


Smbolo en este articulo

CONECTIVAS LOGICAS
Conectiva Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente Expresin en el lenguaje natural no y o Si entonces Si y solo si ni..ni O bien o bien

Ejemplo No est lloviendo Est lloviendo y esta nublado Est lloviendo o est soleando Si est soleando entonces es de da Esta nublado si y solo si hay nubes visibles Ni esta soleado ni nublado O bien esta soleado, o bien esta nublado

Smbolo alternativo

^ v

~ &

significa equivale a.

Lmites de la lgica proposicional La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: 1. Todos los hombres son mortales. 2. Scrates es un hombre. 3. Por lo tanto, Scrates es mortal. Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: 1. p 1. q 2. Por lo tanto, r

"El equipo jug con orden y disciplina pese a que actu con varios suplentes", es una proposicin compuesta: se ha obtenido a partir de las proposiciones: a1) el equipo jug con orden; a2) el equipo jug con disciplina; a3) el equipo actu con varios suplentes. Las proposiciones a1 y a2 se han unido mediante la conjuncin "y"; a2 y a3 por medio de la expresin "pese a que". No vi la pelcula, pero le la novela: = p q p q No me gusta trasnochar ni madrugar: = p q p q SIMBOLIZADO a. Si p, entonces q: p q b. No es el caso que p y q: (p ^ q) c. p solamente si q y no-r: p (q r) d. p o no-q: p v q e. Si p y q, entonces no-r o s: (p^q) (r v s) f. Si p, entonces q, y si q, entonces p: (p q) (q p) g. Si p y q, entonces r. p. Luego si q, entonces r: (p ^q) r, p |-q r h. No me gusta trasnochar ni madrugar: p q Formalizando las siguientes proposiciones a. No es cierto que no me guste bailar. [p: me gusta bailar]. (p) b. Me gusta bailar y leer libros de ciencia ficcin. [p: me gusta bailar. q: me gusta leer libros de ciencia ficcin]. p^q c. Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos. [p: los gatos de mi hermana sueltan pelo. q: me gusta acariciar los gatos]. p q d. Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre. [p: ver un marciano con mis propios ojos. q: creer en los extraterrestres] p q

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energmeno. [p: salir a dar un paseo. q: estudiar como un energmeno]. p v q Actividad N 01 Simbolizar los siguientes proposiciones: Llueve y hace sol Llueve y no hace sol Llueve o hace sol Si no llueve, hace sol No es cierto que llueva No es cierto que no llueva Har sol si y slo si no llueve

Nota _____ 1pts 3pts 2pts 2pts 4pts 3pts 5pts

----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Enlaza cada proposicin con su formalizacin Cada uno vale 4pts Ejemplo:
Llueve = p, Hace sol = q, Las brujas se peinan = r 1 2 3 4 5 Llueve y hace sol No es cierto que si llueve y hace sol las brujas se peinan Las brujas se peinan nicamente si llueve y hace sol Cuando las brujas no se peinan, no llueve o no hace sol Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan

Nota _____

A B C D E

pq r(p q) r( pq) [(p q) r] (pr) (qr)

Enlaza cada proposicin con su formalizacin: Cada uno vale 5pts Ejemplo:

Nota _____

Las estrellas emiten luz = p ; Los planetas reflejan la luz = q ; Los planetas giran alrededor de las estrellas = r Si las estrellas emiten luz, entonces los planetas la reflejan 1 A (p v q) r y giran alrededor de ellas Las estrellas emiten luz o los planetas la reflejan y, por otra 2 B (pq) r parte, los planetas giran alrededor de ellas Los planetas reflejan luz si y slo si las estrellas la emiten y 3 C p (qr) los planetas giran alrededor de ellas Si no es cierto que las estrellas emiten luz y que los 4 planetas la reflejan, entonces stos no giran alrededor de D q (p r) ellas