Por Mnica Mara Agudelo B.

rea de Formacin General LGICO MATEMTICA

Por Mnica Mara Agudelo B.

LA BODA

Cuando Mara pregunt a Carlos si quera casarse con ella, este contest:

No estara mintiendo si te dijera que no puedo, no decirte que es imposible negarte que si creo que es verdadero, que no deja de ser falso que no vayamos a casarnos

Por Mnica Mara Agudelo B.

Mapas conceptuales

Por Mnica Mara Agudelo B.

Sancho Panza se convierte en gobernador de la nsula de Barataria, en donde por ley, toda persona que llega a esta nsula, debe explicar el motivo de su viaje.

Si la persona dice la verdad, es puesta en libertad; si la persona miente, deber ser colgada.

Cules son sus principales ventajas?

Una persona llega a Barataria y afirma: Estoy aqu para que me cuelguen Ser o no colgada esta persona?
Ventajas

Mapas conceptuales

Por Mnica Mara Agudelo B.

Mapas conceptuales

Concepto

Por Mnica Mara Agudelo B.

Qu es una Proposicin Lgica?

Mapas conceptuales

Por Mnica Mara Agudelo B.

Mapas conceptuales

La matemtica es una ciencia. La psicologa estudia el comportamiento humano. El agua esta compuesta por hidrogeno y oxigeno. Csar Vallejo naci en Trujillo. En el Per hay mas mujeres que varones. El hombre es mas rpido que la tortuga. La aceleracin de la gravedad es 9,8 m/s2

Origen

Por Mnica Mara Agudelo B.

Enunciados aseverativos Leyes cientficas Frmulas matemticas Frmulas lgicas Enunciados cerrados
Mapas conceptuales

Personajes o hechos literarios Supersticiones Dudas, splicas, deseos, rdenes Refranes, proverbios Enunciados abiertos Creencias religiosas Enunciados interrogativos Apreciaciones per Personajes ficticios, absurdos.

Por Mnica Mara Agudelo B.

OPERADOR

SMBOLO

TRMINO REPRESENTATIVO

ALGUNAS EXPRESIONES EQUIVALENTES

1. Negacin 2. Conjuntor

no y

3. Disyuntor a) Inclusiva o dbil

b) Exclusiva o fuerte 4. Implicador
Mapas conceptuales

o
O.o

No es cierto que . Es falso que. ..as como . ..pero . ..tambien . ..y/o . ..o bien . ..o slo . .salvo que nicamente ..implica . ..en consecuencia . ..luego . ..slo si. ..dado que. , siempre que ..equivale a . ..siempre y cuando.

Si.entonces .si.

5. Replicador 6. Biimplicador

si y solo si .

Por Mnica Mara Agudelo B.

TIPOS DE PROPOSICIONES

Mapas conceptuales

Es la que no contiene ningn conectivo lgico.

Es la que contiene al menos un conectivo lgico.

Por Mnica Mara Agudelo B.

Mapas conceptuales

Identificar proposiciones simples y asignarles variables en orden alfabtico.

Identificar los conectores lgicos.

Reemplazar las proposiciones simples por sus respectivas variables.

Escribir la frmula lgica.

Por Mnica Mara Agudelo B.

EJEMPLO
Si la inundacin destruye mi casa o el fuego destruye mi

casa, entonces mi compaa de seguros me pagar. Paso 1: p = la inundacin destruye mi casa q = el fuego destruye mi casa r = mi compaa de seguros me pagar Paso 2: Si la inundacin destruye mi casa o el fuego destruye mi casa, entonces mi compaa de seguros me pagar.
Mapas conceptuales

Paso 3: Paso 4:

si p o q, entonces r (p V q) 6 r

Por Mnica Mara Agudelo B.

TRMINOS DEL LENGUAJE NATURAL

NEGADOR Es falso que A. es mentira que A. es inconcebible que A. no ocurre que A. es refutable A. CONJUNCIN A Incluso B. DISYUNTOR EXCLUYENTE O FUERTE O A o B. O bien A o bien B. A o solamente B. A o nicamente B. A o solo B DISYUNTOR INCLUYENTE O DBIL A menos que B.

A al igual que B.
A tambin B. A tanto como B.
Mapas conceptuales

A salvo que B.
A excepto B. A ya bien B. A o tambin B.

A as como B.

A al mismo tiempo B.
A sin embargo B. A aunque B. A pero B.

A a no ser que B.
A o incluso B. A o B. A o en todo caso B.

Por Mnica Mara Agudelo B.

TRMINOS DEL LENGUAJE NATURAL

IMPLICADOR O CONDICIONAL

REPLICADOR

BIIMPLICADOR, EQUIVALENCIA O BICONDICIONAL A si y solo si B. A siempre y cuando B. A es lo mismo que B. A equivale a B. A es condicin suficiente y necesaria para B.
A es igual que B

A implica B. Si A entonces B. A por lo tanto B. A luego B. Se supone A para B. De A derivamos B. Mapas conceptuales A por consiguiente B. A solo si B.

A porque B. Solo si A, B. A cada vez que B. A dado que B. A si B.

Tan solo si A entonces B. A se supone B. A puesto que B.

Por Mnica Mara Agudelo B.

VERDAD FORMAL
La verdad formal es aquella que se obtiene evaluando esquemas moleculares, haciendo uso de reglas de conectores lgicos y tablas de verdad.

Por Mnica Mara Agudelo B.

Esquemas Moleculares
Son Frmulas compuestas por variables, operadores lgicos y en algunos casos signos de agrupacin.

Esquemas Moleculares

Sin Signos de agrupacin.

Con Signos de agrupacin.

Por Mnica Mara Agudelo B.

A) Sin signos de agrupacin, su clasificacin la determina el operador de mayor jerarqua.

Jerarqua de Conectores lgicos
Jerarqua Operador 1 2 3 4 5 6

B) Con signos de agrupacin, su nombre lo determina el conector principal que une los bloques; pueden ser:
1. 2. 3. Tautolgico Contingente Contradictorio

Por Mnica Mara Agudelo B.

Tablas de Verdad
Es un conjunto ordenado de valores de verdad de proposiciones compuestas, que resultan de la aplicacin de reglas de los conectores lgicos sobre los valores de verdad de las proposiciones simples que las componen.
p V V F F q V F V F

Nmero de valores de verdad : 2n n: nmero de variables Ejemplo. Si tenemos dos variables p y q , (n=2) entonces 22 = 4

Mapas conceptuales

Por Mnica Mara Agudelo B.

NEGACIN p p V F F V

CONJUNCIN p q p q

DISYUNCIN (INCLUSIVA) p V V F F q V F V F p q V V V F

V
V F F

V
F V F

V
F F F

DISYUNCIN (EXCLUSIVA) p
Mapas conceptuales

CONDICIONAL p V V F F q V F V F p q V F V V

BICONDICIONAL p V V F F q V F V F p q V F F V

q V F V F

p D q F V V F

V V F F

Por Mnica Mara Agudelo B.

Formulas Lgicas

Evaluar una proposicin compuesta es determinar el grado de validez de la misma, para sus distintos valores. Se presentan tres casos: 1.TAUTOLOGA Se llama as a la proposicin compuesta en la cual los valores de verdad de su conectivo principal son todos verdaderos. 2. CONTRADICCIN Cuando los valores de verdad de su conectivo principal resultan siempre falsa.
Mapas 3. CONTINGENCIA conceptuales Es cuando la proposicin compuesta no es tautologa ni contradiccin, es decir su conectivo principal presenta al menos una verdadera (V) y al menos una falsa (F).

Por Mnica Mara Agudelo B.

Lee los enunciados, e identifica proposiciones y sus clases.

1. Identifique si son o no proposiciones

Mapas conceptuales

1.La capital del Per es Lima. 2.Corre que se acaba! 3.Csar Vallejo fue un escritor. 4.Cmo hago para conseguir los clientes? 5.No hay derecho! 6.El seor Ral es un trabajador independiente.

Por Mnica Mara Agudelo B.

2. Traduzca las siguientes proposiciones a lenguaje simblico, luego formalice: p = Los Olivos tiene un parque de diversiones. q = Independencia tiene un parque de diversiones. Los Olivos tiene un parque de diversiones pero Independencia no lo tiene 3. Traduzca las siguientes proposiciones a lenguaje simblico, luego formalice: p = Tottus hace descuentos los fines de semana. q = Metro hace descuentos los fines de semana. Tanto Tottus como Metro hacen descuentos los fines de semana

Por Mnica Mara Agudelo B.

Sigue Adelante Tu Puedes slo falta que practiques.