Está en la página 1de 31

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.
• Dibujar el circuito lógico asociado a un esquema
proposicional.
• Escribir las implicaciones asociadas.
• Demostrar implicaciones lógicas y leyes lógicas o
tautologías empleando tablas de verdad.
• Analizar la validez de un razonamiento lógico empleando
tablas de verdad.
• Negar una conjunción, disyunción, implicación y
proposiciones cuantificadas universal o existencialmente.

2
La lógica estudia la forma de razonamiento, es
una disciplina que por medio de reglas y
técnicas determina si un argumento es válido.
La lógica es ampliamente aplicada en la
filosofía, matemática, computación, física. En
las matemáticas para demostrar teoremas e
inferir resultados que puedan ser aplicados en
investigaciones. En computación para revisión
y creación de programas (software).

3
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”

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


2. La luna es un planeta.(F) 5. ¡Ven acá! (?)
3. “x” es divisor de 8.(?)
Notación: “las representaremos con una letra minúscula;
llamadas variables de enunciado(p; q; r; s; t;
t etc.)”.

4
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:
1) 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)
2) 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)
5
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 sólo si” DOBLE IMPLICACIÓN
“ ” “O” (con sentido excluyente)
DISYUNCIÓN
EXCLUYENTE 6
OPERACIONES LÓGICAS

NEGACIÓN
EJEMPLO:
p -p • p: el 5 es impar V(p)= V

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 .

7
CONJUNCIÓN O PRODUCTO LÓGICO
EJEMPLO:
p q p q
• p: El 4 es un número par. V(p)= V
V V • q: El 4 es divisor de 8. V(q)= V
V
• pq: El 4 es un número par y es divisor
de 8.
V F F
V(p q)=
V
F V F

F F F

•Es una operación binaria y es


verdadera solo cuando las dos
proposiciones son verdaderas 8
DISYUNCIÓN O SUMA LÓGICA

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

• Es una operación binaria y es


verdadera si al menos una de las
proposiciones es verdadera. 9
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
V F V V
casa. V(pq)=
F V V
• Es una operación binaria y es
F F F verdadera 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.
10
CONDICIONAL O IMPLICACIÓN
MATERIAL
EJEMPLO:
p q p q p: La luz se enciende. V(p)= V
q: El foco funciona. V(q)= V
V V V
p q: Si la luz se enciende, entonces el foco
V F F funciona. 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.
11
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 y
F V F sólo 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.
12
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 13
EQUIVALENTES
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 ]  p
V V V F F V F
TAUTOLOGÍA
F
V F F V V F
F
F V V F V V
V
F V F 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  - p)
F V F
V V V F F
F V V F TAUTOLOGÍA
V F V F
F V F
F V V F V
V V V
F F F 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

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

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

V (pq) = V (pasa corriente) V(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
21
V (-p q) = V (pasa corriente)
AHORA, TE PROPONEMOS QUE
REALICES EL CIRCUITO LÓGICO
DE LA DOBLE IMPLICACIÓN.

22
RAZONAMIENTO DEDUCTIVO VÁLIDO
• Llamamos razonamiento a un par ordenado ({pi},p) siendo {pi}, un
conjunto finito de proposiciones, llamadas premisas, y p una
proposición, llamada conclusión, respecto de la cual se afirma que
deriva de las premisas.
• Un razonamiento es deductivo si y sólo si las premisas son evidencias
de la verdad de la conclusión.
• Llamamos regla de inferencia, a todo esquema válido de razonamiento,
independientemente de la V o F de las proposiciones componentes. De
este modo toda regla de inferencia es tautológica.

• Un razonamiento deductivo es válido cuando el condicional


cuyo antecedente la conjunción de las premisas, y el consecuente es la
conclusión, es tautológico.
23
p
• Ley del Modus Ponens: p q
q

p q
• Ley del Modus Tollens: q
p

pq
qr
• Ley del Silogismo Hipotético:
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 del siguiente razonamiento

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
CUANTIFICADOR
ES
• 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
EJEMPLO: CONSIDERAMOS EL SIGUIENTE CASO:

30
31

También podría gustarte