VARIABLES PROPOSICIONALES Son smbolos que permiten reemplazar el contenido de una proposicin sean atmica o molecular -.

Se utilizan generalmente letras minsculas partiendo de la p en adelante y si se requiere se le coloca un sub. ndice (p1, p2 ,p3 etc.) Por representar a las proposiciones se le denomina variables proposicionales. As una proposicin ATMICA se representa: SENTENCIA
Maria y Jos son amigos . ---------se representa Chame es un pueblo pequeo. ------------ Vilma no vino. ---------------------------- p q -p

SE LEE
p q no p

As una proposicin COMPUESTA O MOLECULAR se representa: SENTENCIA SE LEE

O Simn Bolvar era poltico o militar de carrera ------pq O p O q No ( p y q) No p si y solo si No es verdad llueve y hace fro ---------------------------- ~ (p q) Juan Jos miente si y solo si oculta la verdad ------------- ~ p q q No es el caso que Mara no va al mercado y Compra pescado--------------------------------------------q ~ (~ p q)

No es el caso que no p y

Forma proposicional
Una forma proposicional es lo que se obtiene al reemplazar, una proposicin. La cual va a tener un valor de verdad, y va a estar formada por conectores lgicos y proposiciones.

Para armar una forma proposicional es muy importante reconocer sus conectores lgicos. Un ejemplo: a: Voy al cine. b: Compro palomitas. Si voy al cine entonces compro palomitas y si compro palomitas, voy al cine (a => b) ^ (b => a) a 0 b 0 a => b 1 b => a 1 (a => b) ^ (b => a) 1

0 1 1

1 0 1

1 0 1

0 1 1

0 0 1

Como se puede observar se ha representado por letras del abecedario las proposiciones ej.: (a: Voy al cine) Las cuales estn unidas por operadores lgicos, por lo cual mediante su operacin, van a obtener un valor de verdad. Tambin es muy importante identificar una proposicin y los operadores lgicos ya que si no conocemos estos, no podremos realizarlo correctamente.

Tipos de forma proposicional

Existen 3 formas proposicionales: Tautolgicas.- Es aquella forma proposicional que siempre da como resultado verdadero (1). p. Voy al cine q. Compr palomitas p => (q =>p) Si voy al cine entonces compro palomitas solo si voy al cine. p 0 0 1 1 q 0 1 0 1 q => p 1 0 1 1 p =>(q =>p) 1 1 1 1

a 0

b 0

a 1

a^b 0

( a ^ b) ^ a 0

0 Contradicciones.- Es aquella forma proposicional que siempre da como resultado falso (0). a: Voy al cine. b: Compro palomitas. (a ^ b) ^ a No voy al cine y compro palomitas y voy al cine. 1 1

1 0 1

1 0 0

1 0 0

0 0 0

Contingencia.- Es aquella forma proposicional que siempre es verdadera y falsa a la vez (0 1). a: Voy al cine. b: Compro palomitas. 0 (a => b) ^ (b => a) Si voy al cine entonces compro palomitas y si compro palomitas, voy al cine 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 a b a => b b => a (a => b) ^ (b => a)

Propiedades de los operadores lgicos CONJUNCIN (p^q) (q^p) [(p^q)^r] [(p^(q^r)] (p^p) p (p^1) p (p^0) 0 0 1 1 0 (p) p pv(q^r) (pvq) ^ (pvr) p^(qvr) (p^q) v (p^r) Distributivas Negacin Doble Negacin o Involutiva Conmutativa Asociativa Idempotencia Identidad Absorcin DISYUNCIN (pvq) (qvp) [(pvq)vr] [(pv(qvr)] (pvp) p (pv0) p (pv1) 1

(p^q) (pvq) (pvq) (p^q) (pvp) 1 (p^p) 0 (pq) (qp) (pq) (pvq) (pq) (pvq) (pq) (p^q) [(p^q)r] [p(qr) (pq) [(p^q)0] (pq) [(pq)^(qp) (pq) (qp) [(pr) ^ (qr)] [(pvq)r] [(pq) ^ (pr)] [p(q^r)] Implicacin Lgica Una proposicin condicional o implicacin lgica, es aquella que est formada por dos proposiciones atmicas o moleculares, condicionadas una de la otra. Se dice que la proposicin P implica lgicamente la proposicin Q, y se escribe P Q, si Q es verdad cuando P es verdad. La cual se indica de la siguiente manera: p q Se lee Si p entonces q. A la proposicin p le llamaremos antecedente y a la proposicin q le llamaremos consecuente, en algunos otros contextos se le llama Si condicional en el cual el antecedente es la condicin que debe cumplirse, y el consecuente es la consecuencia lgica que se deriva de la condicin. Otras connotaciones de la proposicin condicional son: Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente. Ejemplos: Es herbvoro si se alimenta de plantas. Se llama issceles siempre que el triangulo tenga dos lados iguales. Equivalencia Exportacin Reduccin al Absurdo Implicacin De Morgan Tercero Excluido Contradiccin Contrapositiva o Contrarrecproca

La implicacin lgica tiene sus orgenes en la aplicacin de la inteligencia social ante situaciones cotidianas, en nuestra capacidad de comportarnos de acuerdo a normas y reglas, estas reglas son del tipo: Bajo tal condicin, debe ocurrir tal otra cosa. Si se cumpli tal requisito, entonces es aceptado que suceda tal cosa. Algunos ejemplos: Si pague por el pan entonces lo puedo llevar a casa Si tengo mi entrada entonces puedo entrar al cine. Si corto el pasto entonces puedo ir a la fiesta esta noche. La regla deja de respetarse, cuando habiendo cumplido una condicin ("me saqu un 10 en mi examen semanal") se nos niega el beneficio ("no puedo ir a la fiesta"), es decir, cuando no se obtuvo el resultado deseado.

Estas reglas y muchas otras que abundan en nuestra vida, nos permiten obtener ciertos beneficios como resultado de haber cumplido con una condicin. Si << condicin >> Entonces << beneficio >> Sin embargo, tratar de dar una explicacin a todas las situaciones de la vida cotidiana mediante pura lgica puede ser muy discutido, toda persona que sabe de lgica sabe que el concepto de verdad no siempre puede ser demostrable de manera material. Por tal motivo podemos asegurar que para que una implicacin sea lgicamente correcta no es necesario que haya una relacin entre el antecedente y el consecuente, es decir que la verdad entre una proposicin condicional es independiente de las relaciones que puedan existir o no entre los siginficados del antecedente y el consecuente, por ejemplo: Si la tierra gira alrededor del sol entonces Calkin es un municipio de Campeche. Esta proposicin es verdadera a pesar de que no existe relacin entre los significados de sus proposiciones componentes. En la lgica proposicional no existe una especie de modelo real que pueda fundamentar y justificar la validez de alguna inferencia, en consecuencia, las inferencias justificadas apoyndose en dichos principios, o no son vlidas lgicamente o son vlidas por otras razones, por otros principios o fundamentos. Ejemplo: El pap de Juan le dice: Si sacas un 10 en tu examen, entonces podrs ir al antro este fin de semana Si nos fijamos bien, veremos que a Juan no le estn dando a elegir como en los ejemplos anteriores, esta vez le estn poniendo una condicin que se reflejar en una consecuencia, si lo ejemplificamos en dos proposiciones atmicas quedara de la siguiente manera: p: Juan saca 10 en su examen. q: Juan va al antro el fin de semana. p q que se lee Si Juan saca 10 entonces Juan va al antro el fin de semana. 1. Proposicin condicional 2. Antecedente o condicin 3. Consecuencia Reflejndolo en una tabla de verdad nos queda: p q pq V V F F 1. V F V F V F V V

En la primera fila podemos ver que si Juan saca 10 en su examen entonces va al antro, se cumple la consecuencia lgica. 2. En la segunda fila tenemos Juan saca 10 en su examen, pero no va al antro, NO se cumple la consecuencia lgica. 3. En la tercera fila Juan no saca 10 en su examen, pero va al antro, se cumple la consecuencia lgica. 4. Juan no saca 10 en su examen y no va al antro, se cumple la consecuencia lgica. El conectivo condicional nos da, pues una proposicin que es falsa cuando sea verdadera el antecedente y falso el consecuente.