Logica

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 29

UNIDAD Nº 1

Lógica
MATEMÁTCA

1
OBJETIVOS
 Reconocer proposiciones simples y compuestas.
 Definir las operaciones proposicionales: negación, conjunción,
disyunción incluyente y excluyente, implicación y doble
implicación.
 Identificar condiciones necesarias, suficientes y necesarias y
suficientes.
 Dada una implicación, escribir las implicaciones asociadas.
 Demostrar implicaciones lógicas y leyes lógicas o tautologías
empleando tablas de verdad.
 Dada una función proposicional, transformarla en proposición
lógica empleando cuantificadores.
 Negar una conjunción, disyunción, implicación y proposiciones
cuantificadas universal o existencialmente.
 Analizar la validez de un razonamiento lógico empleando tablas
de verdad.
 Dibujar el circuito lógico asociado a un esquema proposicional.
2
“LÓGICA PROPOSICIONAL”

PROPOSICIÓN
Definición 1:”Es toda oración para lo cual tenga sentido decir que
aquello que expresa es verdadero o falso”

n El siete es número primo. (V) n ¿Quién cantó?. (?)


n La luna es un planeta. (F) n ¡Ven acá! (?)
n “x” es divisor de 8. (?)

Notación: “las representaremos con una letra minúscula;


llamadas variables de enunciado(p; q; r; s; t;etc.)”.
t
EJEMPLO:
p: Ana visita a María. ; q: María es visitada por Ana.
3
Definición 2:
“Es el significado de toda oración declarativa”

PROPOSICIONES SIMPLES Y COMPUESTAS


Una proposición es simple cuando ninguna de sus partes propias es a su
vez una proposición sin cambiarle el sentido. En caso contrario es
compuesta.
EJEMPLO:
4) Proposición Simple.
 p: María come. (Es una proposición)
 q: María (NO es una proposición)
 r: come (NO es una proposición)
8) Proposición Compuesta.
 p: Pedro camina y lee. (Es una proposición)
 q: Pedro camina. (Es una proposición)
 r: Pedro lee. (Es una proposición)

4
VALOR DE VERDAD
“Es la cualidad de una proposición de ser verdadera o falsa”. En
símbolo:
V (p) = (V) se lee: Valor de verdad de “p” = verdadero
V (q) = (F) se lee: Valor de verdad de “q” = falso

CONECTIVOS LÓGICOS

CONECTIVOS SIGNIFICADO OPERACIÓN


“∼ ” “NO”; o” No es cierto” NEGACIÓN
“∧ ” “Y”; o “Pero también” CONJUNCIÓN
“∨ ” “O” (con sentido incluyente) DISYUNCIÓN
INCLUYENTE
“⇒ ” “IMPLICA”; o “Si ...entonces” CONDICIONAL
“⇔ ” “Si y solo si” DOBLE IMPLICACIÓN
“∨ ” “O” (con sentido excluyente)
DISYUNCIÓN
EXCLUYENTE
5
OPERACIONES LÓGICAS

NEGACIÓN: EJEMPLO:
• p: el 5 es impar V(p)= V
p -p
V F • -p: el 5 no es impar V(∼p)= F
F V ó bien;
-p: no es cierto que el 5 es impar.

 Es una operación unitaria pues interviene una sola proposición.

6
CONJUNCIÓN O PRODUCTO LÓGICO

EJEMPLO:
p q p∧ q V
• p: El 4 es un número par.V(p)=

V V • q: El 4 es divisor de 8. V(q)= V
V
• p∧ q: El 4 es un número par y es
V F F divisor de 8.
V V(p ∧q)=
F V F

F F F
• Es una operación binaria y es
verdadera solo cuando las dos
proposiciones son verdaderas

7
DISYUNCIÓN O SUMA LÓGICA

p q p∨ q EJEMPLO:
• p: El sol es una estrella. V(p)= V
V V V • q: Venus es un planeta . V(q)= V

V F V • p∨ q: El sol es una estrella o Venus es


F V V un planeta. V(p∨q)= V

F F F

• Es una operación binaria y es


verdadera si al menos una de las
proposiciones es verdadera.
8
DISYUNCIÓN EXCLUYENTE

EJEMPLO:
p q p ∨q • p: Esta tarde voy al cine. V(p)= V
• q: Esta tarde me quedo en casa. V(q)= F
V V F
• p ∨ q: Esta tarde voy al cine o me quedo en casa.
V F V V V(p∨q)=

F V V
 Es una operación binaria y es verdadera
F F F solamente cuando una de ellas es
verdadera.
 Para resaltar el sentido excluyente de la
“o” se usa la doble “o”. Ejemplo: esta
tarde,o voy al cine; o me quedo en casa.

9
CONDICIONAL O IMPLICACIÓN MATERIAL

EJEMPLO:
p q p ⇒q
p: Si gano la lotería. V(p)= V
V V V q: Te regalo una moto. V(q)= V

V F F p ⇒ q: Si gano la lotería, entonces te regalo


una moto. ⇒V(p⇒q)= V
F V V

F F V

La implicación material es falsa solo


cuando el antecedente “p” es verdadero y
el consecuente “q” es falso
10
BICONDICIONAL O DOBLE IMPLICACIÓN
EJEMPLO:
p q p⇔ q
• p: El triángulo “T” es equilátero. V(p)= V
V V V • q: El triángulo “T” es equiángulo. V(q)= V
V F F • p ⇔ q: El triángulo “T” es equilátero; si
F V F y solo si, es equiángulo. ⇒ V(p⇔ q)=V

F F V
• La doble implicación es verdadera solo
si las dos proposiciones tienen el mismo
valor de verdad.

11
OBSERVACIÓN:
La conjunción de la implicación material y su recíproco es equivalente al
bicondicional.

p q p ⇔q p ⇒ q ∧ q⇒ p
V V V V V V V V V V
V F F V F F F F V V
F V F F V V F V F F
F F V F V F V F V F

SON
EQUIVALENTES
12
CONDICIÓN SUFICIENTE – CONDICIÓN NECESARIA
Consideramos la tabla de la implicación solo en los casos en que es
verdadera.
 EJEMPLO:

p q p⇒ q p: Si ”R” es un rombo.
V V q: “R” es un paralelogramo.
V
V F F p ⇒ q: Si “R” es un rombo; entonces es un
paralelogramo.
F V V
 El ser rombo es condición suficiente para ser
F F V paralelogramo, pero no es necesario que
siempre lo sea.
 En cambio, el ser paralelogramo es
condición necesaria para ser un rombo, pero
no es suficiente, pues debe cumplir otras
condiciones. (lados congruentes)

”q” si “p” (condición suficiente) De esto se deduce el


significado del “si y solo
”p” si solo “q” (condición necesaria) 13
si” de la doble implicación
IMPLICACIONES ASOCIADAS O CONJUGADAS
• Dado el condicional p⇒q que llamaremos directo, se pueden
obtener a partir de él otros condicionales que son: el
contrario, el recíproco y el contrarrecíproco a partir del
siguiente esquema.
p ⇒q RECÍPROCO q⇒p

CONTRARIO CONTRARRECÍPROCO CONTRARIO

− p ⇒ −q − q ⇒ −p

De lo cual resulta:
p ⇒ q ⇔∼ q⇒∼ p ; ó q ⇒ p⇔ ∼ p ⇒ ∼ q

14
PROPIEDADES DE LAS OPERACIONES LÓGICAS
• Las proposiciones compuestas que siempre resultan verdaderas cualquiera
sea el valor de verdad de cada una de las proposiciones que la componen
se llaman tautologías o leyes lógicas; las que siempre resultan falsas se las
llama contradicción; y , las que no corresponden a ninguna de las
anteriores son contingentes.
EJEMPLO:

[( p ⇒q) ∧ ∼q ] ⇒ ∼
pV V V F F V F
TAUTOLOGÍA
V F F F V V F
F V V F F V V
F V F V V V V

15
LA NEGACIÓN
Involutiva: -(-p) ⇔ p
DE LA CONJUNCIÓN Y DE LA DISYUNCIÓN
Idempotente: (p ∧ p) ⇔ p ; (p ∨ p) ⇔ p
Conmutativa: (p ∧ q) ⇔ (q ∧ p) ; (p ∨ q) ⇔ (q ∨ p)
Asociativa (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r);
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r);
Mutuamente Distributivas (a la derecha y a la izquierda):
(p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r); (p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r)
DE LA IMPLICACIÓN NO es Idempotente:
NO es Conmutativa:
NO es Asociativa:

DEL BICONDICIONAL : ES Conmutativa:


ES Asociativa:
16
LEYES de DE MORGAN
La negación de una conjunción es equivalente a la disyunción de
sus negaciones.
- (p ∧ q) ⇔ (- p ∨ - q)
La negación de una disyunción es equivalente a la conjunción de
sus negaciones.
- (p ∨ q) ⇔ (-p ∧ - q)
Demostración:

- (p ∨ q) ⇔ ( -q ∧ -
F p)V V V V F F F
F V V F V V F F TAUTOLOGÍA

F F V V V F F V
V F F F V V V V
17
CIRCUITOS LÓGICOS
LA NEGACIÓN:
Se interpreta con un circuito con un solo interruptor (p) que deja pasar o
corta la corriente desde el terminal (T1) al terminal (T2). Si la proposición
es “V(p)=V” pasa corriente; y si es “V(” p) = F” no pasa corriente.

p -p
T1 T2 T1 T2
V (p) = V V (-p) = F
CONJUNCIÓN LÓGICA:
LÓGICA se interpreta mediante un circuito en serie

p q p -q
T1 T2 T1 T2
V (p) = V V (q) = V V (p) = V V (-q) = F

V (p∧q) = V (pasa corriente) V (p ∧ -q) = F (no pasa corriente)


18
DISYUNCIÓN LÓGICA
se interpreta mediante un circuito en paralelo con dos
interruptores.

p p

V (p) = V T2 T1 V (p) = V
T1 T2
q -q

V (q) = V V (-q) = F

V (p∨q) = V (pasa corriente) (p ∨ - q) = V (pasa corriente)

19
DISYUNCIÓN EXCLUSIVA:
EXCLUSIVA
el circuito se hace en base a las operaciones anteriores; pues decir, “ó
p ó q”
q se quiere significar que, se cumple “p” y no se cumple “q” o bien
no se cumple “p” y se cumple “q”.
En símbolos
(p ∨ q) ⇔ (p ∧ -q) ∨ (- p ∧ q)
son expresiones equivalentes(verificar con tablas de verdad). El
circuito se hace en base a la última expresión.
p -q

V (p) = V V (- q) = F
T1 T2
-p q
V (- p) = F V (q) = V

V (p ∧ - q) = F (no pasa corriente) ; ó,


⇔ V(p ∨ q) = F
V (- p ∧ q) = F (no pasa corriente)
20
IMPLICACIÓN MATERIAL:
MATERIAL
El circuito se hace teniendo en cuenta la equivalencia de las siguientes
expresiones. Como:
(p ⇒ q) ⇔ -(p ∧ -q)
Aplicando la primera ley de De Morgan a la 2° expresión:

⇒ -(p ∧ -q) ⇔ -(p ∨ - q) ⇒ Aplicando la doble negación


⇒ (-p ∨ q) Por lo tanto; (p ⇒ q) ⇔ (-p ∨ q)

En consecuencia; el circuito se hace en base a la última expresión.


-p
V (- p) = F
T1 T2
q

V (q) = V

V (-p ∨ q) = V (pasa corriente) 21


Ahora, te proponemos que realices
el circuito lógico de la doble
implicación.

22
Razonamiento Deductivo Válido

Un razonamiento deductivo es válido si no


es posible que las premisas sean verdaderas
y la conclusión falsa.

Regla de inferencia , es todo esquema válido


de razonamiento.

23
p
 Ley del modus ponens: p ⇒q
q

p ⇒q
 Ley del modus tolens: −q
−p

p⇒q
 Ley del Silogismo hipotético:
q⇒r
p⇒r

24
Para analizar la validez de un razonamiento hay que tener en
cuenta tres pasos:

 1) Distinguir las premisas y la conclusión


 2) Expresar el texto simbólicamente
 3) Se construye la tabla de verdad,
recordando que de la verdad de las
premisas, se deduce la verdad de la
conclusión.

25
 Ejemplo: Analizar la validez de los siguientes
razonamientos:

 Martín está cansado o enfermo.


 Si Martín está cansado, entonces se queda en cama.
 No se queda en cama.
 Está enfermo

26
Función Proposicional

 La función proposicional en una variable o


indeterminada “x” es toda oración en la que figura
x como sujeto en objeto directo, la cual se
convierte en proposición para cada especificación
de x.

 A partir de funciones proposicionales es posible


obtener proposiciones generales mediante un
proceso llamado de cuantificación.

27
 Las expresiones:
 Para todo x, se verifica P(x) se denota:

∀x : P( x )

 Existe x, tal que se verifica se denota:

∃x : P( x )

28
Negación de proposiciones cuantificadas.
La negación de una función proposicional cuantificada
universalmente cambia el cuantificador en existencial, y se
niega la función proposicional.

La negación de una función proposicional cuantificada


existencialmente se cambia el cuantificador en
universal, y se niega la función proposicional.
29

También podría gustarte