LIC.

MIGUEL INTI MORENO

INSTITUCION EDUCATIVA N 86234 SAN FRANCISCO - MANGAS

AREA: MATEMTICA TEMA:

LGICA PROPOSICIONAL

PROFESOR:
Lic. MIGUEL INTI MORENO

Tambin llamada lgica simblica o matemtica, es aquella parte de la lgica que estudia las proposiciones y smbolos utilizados en la formacin de nuevas proposiciones que podrn ser verdaderas o falsas, sealadas por reglas formales.

ENUNCIADO Es toda frase u oracin que seala alguna idea. Segn el uso del lenguaje puede cumplir las siguientes funciones: directiva, expresiva e informativa. Ejemplos: qu hora es? No saltes Que bella es! Ojale regreses. El cuaderno es azul.

PROPOSICION Es aquel enunciado aseverativo (afirma algo) del cual se puede sealar que es verdadero o falso, pero no ambos a la vez, con respecto a una realidad. Ejemplos: Todas las aves vuelan 1/3 es un nmero entero

Proposiciones Simples o Atmicas Son aquellos en los que aparece una afirmaci n o accin. Se caracterizan por ser expresadas mediante oraciones que no utilizan conjunciones gramaticales y el adverbio no. Proposiciones Compuestas o Moleculares Constituidas por proposiciones simples, enlazadas entre si por conjunciones gramaticales: y, o, si entonces, s y solo s. O afectadas del adverbio de negacin no.

CONECTIVOS LGICOS: Son smbolos que se usan para relacionar proposiciones; para formar proposiciones compuestas partiendo de las proposiciones simples.
Smbolo Nombre Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Lenguaje comn no, no es cierto que no es el caso que y, pero, sin embargo, adems, aunque. o o, o... o... si... entonces... si... dado que... ... siempre que... s y solo s

OPERACIONES LGICAS Son operaciones que utilizan proposiciones para transformarlas en otras, usando los conectivos lgicos.
Proposiciones Conectivos Lgicos Proposicin Compuesta

Operacin Lgica Se tiene las siguientes operaciones lgicas: Conjuncin. Disyuncin dbil o inclusiva. Disyuncin fuerte o exclusiva. Condicional. Bicondicinal. Negacin.

Conjuncin ( )

Une dos proposiciones mediante el trmino y Ejemplo: Juan es estudiante y juega ftbol p: Juan es estudiante En smbolos p q q: Juan juega ftbol Tabla de verdad de la conjuncin

p V V F F

q V F V F

pq V F F F

La Conjuncin es verdadera cuando ambas proposiciones son verdaderas, caso contrario ser falso

Disyuncin Inclusiva (v)

Une dos proposiciones mediante el trmino o Ejemplo: Juan ir al cine o al estadio p: Juan ir al cine q: Juan ir al estadio

En smbolos p q

Tabla de verdad de la disyuncin inclusiva

p V V F F

q V F V F

pq V F F F

La Disyuncin Inclusiva es falsa cuando ambas proposiciones son falsos, caso contrario ser verdadero.

Disyuncin Exclusiva ( )
Une dos proposiciones mediante el conector o pero exclusivo. Ejemplo: Einstein era peruano o judo P: Einstein era Peruano En smbolos p q q: Einstein era Judo Tabla de verdad de la disyuncin exclusiva

p V V F F

q V F V F

pq F V V F

La Disyuncin Exclusiva es falsa cuando ambas proposiciones tienen igual valor y verdadera cuando tiene valores diferentes.

Condicional ( )
Es la combinacin de dos proposiciones mediante: si... entonces. Ejemplo: Si trabajas tendrs dinero P: Trabajas En smbolos p q q: Tendrs dinero Tabla de verdad de la condicional

p V V F F

q V F V F

pq V F V V

El condicional es falso cuando el antecedente es verdadero y el consecuente es falso, en los dems casos es verdadero.

Bicondicional ( )
Es la combinacin de dos proposiciones con ... si y solo si ... Ejemplo: Sers profesional si y solo si estudias P: Sers profesional En smbolos p q q: Estudias Tabla de verdad de la condicional

p V V F F

q V F V F

pq V F F V

La bicondicional es verdadera cuando ambas proposiciones tienen igual valor y falsa cuando tienen diferentes valores.

Negacin (~)
Cambia el valor de verdad de la proposicin Ejemplo: No es cierto que Juan sea ingeniero y mdico P: Juan es Ingeniero q: Juan es mdico En smbolos ~(p q)

Tabla de verdad de la negacin de las proposiciones p y q

p V V F F

q V F V F

~p F F V V

~q F V F V

RESUMEN DE LAS TABLAS DE VERDAD DE LAS OPERACIONES LGICAS

p V V F F

q V F V F

(p q) (p v q) (p q) (p q) (p q) V F F F V V V F F V V F V F V V V F F V

~p F F V V

~q F V F V

Observaciones:
~(~ p) = p p q ~(p q) Cuando las proposiciones compuestas tienen ms de 2 conectivos, se usan signos de agrupacin. Al enlazar n proposiciones simples resultan 2n valores de verdad. Ejemplo: a)(p q) r b) p [p (q r)]

n = 3 ; 23 = 8 valores de verdad

A) Determinar los valores de verdad de las siguientes proposiciones:

I. (2 + 5 = 7) (3 - 1 = 4)

II.(3 + 5 = 8) (4 + 2 = 7)

III. (4 - 0 = 0) (6 - 4 > 1)

IV. (5 + 4 < 9) (2 + 5 = 8)

B) Sabiendo que: p = V; q = F; r = F. Hallar los valores de verdad de:

a) (p q) (p ~r) b) (p q) (q r)

ESQUEMA MOLECULAR

EVALUACIN DE ESQUEMAS MOLECULARES Es determinar los valores de verdad debajo de los conectivos lgicos de mayor jerarqua, segn la distribucin de los valores veritativos en la matriz principal de la tabla de verdad de un esquema molecular, este puede ser: Contradiccin Tautologa Contingencia.

CONTRADICCIN Cuando los valores de su operador principal son todos falsos. Ejemplo: Evaluar [(p q) q ] q

TAUTOLOGA Cuando todos los valores del operador principal son verdaderos. Ejemplo: Evaluar [(p q) q ] q

CONTINGENCIA Cuando los valores de su operador tiene por lo menos una verdad y una falsedad. Ejemplo: Evaluar (p q) (p q)

Determinar los valores de verdad de las siguientes proposiciones:

I. (2 + 5 = 7) (3 - 1 = 4)

II.(3 + 5 = 8) (4 + 2 = 7)

Determinar los valores de verdad de las siguientes proposiciones:

III. (4 - 0 = 0) (6 - 4 > 1)

IV. (5 + 4 < 9) (2 + 5 = 8)

I. Evaluar las siguientes proposiciones compuestas:

II. Evaluar las siguientes proposiciones compuestas:

3) [(p q) r] [(q r) p] p q r

I. Evaluar las siguientes proposiciones compuestas:

a)(p ~q) (~p q) c) (~q p) (q ~ p) e) (p q) (~p q) [(p q) q)] [(q p) q] b) (q ~p) (p ~q) d) (p q) (p ~q) f) [(p ~q) q] ~p

TAREA DOMICILIARIA

II. Sabiendo que: p = V; q = F; r = F. Hallar los valores de verdad de:

a) (p q) (r ~r) c) (r p) (p q) b) (p q) (q r) d) (p q) (q r)