Escuela Profesional de Enfermera Competencia Lgico Matemtica

Captulo 01 Lgica Proposicional Sesin 02: Formalizacin y valoracin de proposiciones Mg. Oliver Vsquez Leyva

Cmo se representan simblicamente las proposiciones?

Letras minsculas como p, q, r, s, t,

etc. Para cada p1, p2, p3 . p(n) Identifican a cualquier proposicin simple

p: El gato es un animal mamfero.

(......) (......) (......) (......)

q: 20 es divisible por 6.
r: 5 es un nmero primo. s: Csar Vallejo naci en Pars t: El ngulo recto mide 90

(......)

Valores y diagramas de rbol

a) Una proposicin V

p
F

p
V F

b) n proposiciones =

Ejemplo: 2 proposiciones = El nmero de combinaciones 2 posibles ser V

p
F V

p q
V V F F V F V F

q
F

Operaciones lgicas
La Negacin
Tenemos una proposicin p la negacin es

no p
Simblicamente: Tenemos p la negacin es

Ejemplo: p
p: 8 es un nmero par; (V); su negacin es: p: 8 no es un nmero par (F) P No es cierto que 8 es un nmero par. q: La luna no es un planeta; (V)

V q: La luna es un planeta; (F); su negacin: F

p F V

Operaciones lgicas
La Conjuncin
Es el resultado de unir proposiciones con el

conector y. Simblicamente: Tenemos p q se lee p y q. El resultado es verdad slo cuando todos los Ejemplo: valores son V. 1. Pars est en Europa y Per en Amrica: p (V) p p q q q (V) (V) V V
V

2. 12 es mltiplo de 3 y 4 es divisor de V 15: (F) F (V) (F) F

Operaciones lgicas
La Disyuncin
Se conoce como suma lgica de p y q y se denota

como o. Establece una alternativa. Simblicamente: Tenemos p v q se lee p o q. Ejemplo:

a) Felipe es profesor o es estudiante de ingeniera. p v q b) Vargas LLosa naci en Per o naci en Chile. p v q

Operaciones lgicas
La Disyuncin
La Disyuncin incluyente
Se conoce como disyuncin dbil.

Es verdad cuando por lo menos una es verdadera.

Simblicamente: Tenemos p v q se lee p o q.

Ejemplo:
Determine el valor de verdad: 12 es mltiplo de 3 o 5 es nmero par Sean: p: 12 es mltiplo de 3, (V) q: 5 es nmero par, (F) Luego: p q: (V)
p q V q p

V F
V F

V V
V F

V
F F

Operaciones lgicas
La Disyuncin
La Disyuncin excluyente
Se conoce como disyuncin fuerte.

Es verdad cuando una es verdadera.

Simblicamente: Tenemos p q se lee p o q.

Ejemplo:
Determine el valor lgico: p Gabriel Garca Mrquez es chileno o es q venezolano V Sean: p: Gabriel Garca Mrquez es chileno, V (F) q: Gabriel Garca Mrquez es venezolano, (F) V Luego p q: (F) F
p F V q

Operaciones lgicas
El condicional o implicacin
Se denomina proposicin condicional si, .,

entonces. Simblicamente: Tenemos p q se lee p entonces q. El resultado es falsa si y slo si la antecedente p q es p V y la consecuente es F, en los dems casos es V V V.
V
F

F
V

Ejemplo:

F F V Si hoy viajo a Lima entonces hoy falto a la universidad. p que viajo a Lima, necesariamente no qasisto a la universidad, es decir En el caso

si el antecedente ocurre, el consecuente debe cumplirse. De hecho la proposicin solo ser falsa cuando sea verdad que viaje y no falte a la universidad; es decir si el antecedente es verdadero y el consecuente falso

Operaciones lgicas
La bicondicional
Se denomina doble implicacin si y slo si. Simblicamente: Tenemos pq se lee p si y slo

si q. El resultado es verdad si y slo si tengan los mismo valores y es falsa cuando uno de las Ejemplo: proposiciones es F. y slo cuando Pedro est enfermo cuando tiene fiebre, p q p: Pedro est enfermo V V q: Pedro tiene fiebre
V
F F

p q V

F
F V

V F

Operaciones lgicas
Resumen de conectivos
CONECTIVOS LOGICOS

SIMBOLOS

NOMBRES

no y
o O............... o Si......entonces...... .. ......si y solo si......

Negacin Conjuncin
Disyuncin incluyente Disyuncin excluyente

Condicional
Bicondicional

Frmulas o esquemas lgicos

Resumen de conectivos
CONECTIVOS LOGICOS

SIMBOLOS

NOMBRES

no y
o O............... o Si......entonces...... .. ......si y solo si......

Negacin Conjuncin
Disyuncin incluyente Disyuncin excluyente

Condicional
Bicondicional

Frmulas o esquemas lgicos

Al conjunto de variables proposicionales, conectivos lgicos y signos de agrupacin se llama Frmulas lgicas o esquemas lgicos. Se representa con letras maysculas: A, B, C, etc

Recomendaciones

Los signos de agrupacin: parntesis, corchetes, llaves, etc, son usados en la formacin de las frmulas lgicas para evitar las ambigedades y darle mayor o menor jerarqua a los operadores lgicos.

En los operadores lgicos (conectivos lgicos) en general, la negacin es el de menor jerarqua, le siguen la y que tienen igual jerarqua y, es el de mayor jerarqua. En cada esquema lgico slo un operador es el de mayor jerarqua y es el que le da el nombre.
Evaluar un esquema lgico consiste construir su tabla de valores del operador principal (mayor jerarqua) a partir de la validez de cada uno de las variables proposicionales.

Ejemplo:

Sean A: p (~ p q), B: [r (~ p q)] (p ~ r)

Clases de esquemas moleculares

Al conjunto de variables proposicionales, conectivos lgicos y signos de agrupacin se llama Frmulas lgicas o esquemas lgicos. Se representa con letras maysculas: A, B, C, etc

Recomendaciones
Una tautologa es una frmula lgica que es verdadera para

Ejemplo:

cualquier valor lgico que se le asigne a sus variables proposicionales. Una contradiccin es una frmula lgica que es falsa para cualquier valor lgico que se le asigne a sus variables proposicionales. Una contingencia es una frmula lgica cuando por lo menos hay una verdad y una falsedad de su operador principal.

Sean A: p (~ p q), B: [r (~ p q)] (p ~ r)

Cuadros resmenes de conectivos lgicos:

La negacin puede traducirse como:

No es cierto que ...

Es falso que... Nunca ...

Nadie que sea ...

No es el caso que ... No es verdad que

Jams ...
Es inconcebible que... Es imposible que ...

No ocurre que...
Es mentira que ... No es el caso que Es refutable que

Es absurdo que
No acaece que... Es inadmisible que Es falaz que

Es errneo que ...

De ningn modo Es incierto que En modo alguno

Cuadros resmenes de conectivos lgicos:

La conjuncin puede traducirse como:

Pero Sin embargo

Aun cuando Al igual que

No obstante Aunque

Adems
A la vez

Tanto .como .

Ms an

Incluso
As como

Siempre ambos. Tambin con.. No slo.sino tambin. Es compatible con A pesar de As mismo

Del mismo modo .con . los dos a la vez De la misma forma que

Cuadros resmenes de conectivos lgicos:

Otras formas de conexin que nos indican una disyuncin inclusiva son:

A menos que Excepto que Salvo que

O en todo caso O tambin O incluso

A no ser que
Y bien o tambin

O bien
Al menos uno de los dos .o . Alternativamente

O sino

Cuadros resmenes de conectivos lgicos:

La disyuncin excluyente puede traducirse como:

O ... o ...
O bien ... o bien ... No es equivalente ... con ... ....a menos que solamente... ....excepto que slo....

... no equivale a ...

No es cierto que...equivale a... O solo .... o solo .... ...salvo que nicamente...

....o bien necesariamente....

....o exclusivamente.... ....no es idntico a....

....no es lo mismo Salvo que .... o ....

Cuadros resmenes de conectivos lgicos:

La manera de expresar la condicional en el orden antecedente consecuente, son las siguientes:

Si p, entonces q

p por tanto q

Siempre que p entonces q p por consiguiente q p es suficiente para q p por ende q

p implica q

p por conclusin q

Ya que p bien se ve que q Dado que p por eso q

En cuanto p por tanto q Porque p por eso q

Cuadros resmenes de conectivos lgicos:

La otra forma consecuente-antecedente:

q si p q siempre que p

q es implicada para q de modo que p p q cada vez que p q puesto que p q porque p Solamente porque p, q q cada vez que p q se concluye de p

q es necesario para q en vista que p p Slo si p, q Slo cuando p, q q dado que p q ya que p

q a condicin de que q dado que p p q supone que p q sigue de p

nicamente si p, q

Cuadros resmenes de conectivos lgicos:

La bicondicional puede traducirse como: siempre y cuando es equivalente a es lo mismo que cuando y slo cuando Si y slo si p, q siempre que cuando es idntico a y Es suficiente para que suficiente sea Es condicin necesaria y suficiente para por lo cual y segn lo cual cada vez que y slo si si de la forma slo implica y est implicado por Siempre que y siempre que

ACTIVIDADES DE SISTEMATIZACIN 02
Formalice y evale los siguientes esquemas moleculares: Dos es un nmero primo porque solo es divisible por s mismo y por la unidad. Si y slo si n es par, n es mltiplo de 2 Apruebas matemtica si y solo estudias con dedicacin. Decepcionado se lanz del octavo piso y muri. hay que pagar 100 soles y ser socio para ingresar al teatro.

Evale los siguientes esquemas moleculares: (p q) ~s] ~r (p q) (r p) (p q) (p ~q)

ACTIVIDADES DE EVALUACIN 02
Formalice y evale los siguientes esquemas moleculares: 1. Cuando obtengan mi ttulo ingreso a la carrera magisterial, pero no ingreso a la magisterial, luego no obtuve mi ttulo. 2. Viene a casa o se va de viaje, pero no viene en consecuencia se va de viaje. 3. Si vas al estadio pierdes tu dinero, si no vas al estadio, vas a la playa. Si no fuiste a la playa entonces perdiste tu dinero. Evale los siguientes esquemas moleculares: 1. p q q p 2. p q p 3. p q p q p q 4. p q p q p q q p 5. p q p r r q r 6. p qr q pr pq r 7. p q ~ ~p q

Gracias
Bibliografa:
Texto Gua USS: Formacin General para la

Asignatura Competencia Lgico Matemtica. FIGUEROA GARCIA, R. (2006). Matemtica Bsica, Ed. RFG. Lima Per.

Oliver Vsquez Leyva:

Magister en Ciencias de la Educacin por la UNPRG. MBA Magister en Administracin Estratgica de Negocios por CENTRUM - PUCP. Licenciado en Educacin en la Esp. De Matemtica y Computacin por la UNPRG. Ingeniero de Sistemas por la UNPRG.