Semana 1 - Logica Matematica

LÓGICA
MATEMÁTICA
Es la disciplina que trata de métodos de razonamiento. En un nivel
elemental,la lógica proporciona reglas y técnicas para determinar la validez
de un argumento dado.
ENUNCIADO
Es toda frase u oración .Pueden ser mandatos,interrogaciones , expresiones
de
emoción,aﬁrmaciones o negaciones.
EJEMPLOS::
1. ¿Dónde estás?
2. ¡Viva el Perú!.
3. 4 =2+3
4. 0 es el elemento neutro de la adición
5. 91 es número primo.
6. x=3
7. 2x > 3y
PROPOSICIÓN
Es todo enunciado que tiene la cualidad de ser VERDADERA (V) o FALSA (F),pero nunca
puede
ser V y F a la vez.
De los ejemplos :
3 es una proposición falsa (F) 4 “ “ “ verdadera (V)
5“ “ “ ?
6,7 son enunciados abiertos
Notación.-Las proposiciones se denotan con las letras p,q,r,etc.

CLASIFICACIÓN
Las proposiciones pueden ser simples o compuestas
Proposición Simple: (atómica o elemental): son aquellas que tienen un sólo

sujeto y
un solo predicado. No llevan ningún conectivo lógico.
EJ.
1. 8 es múltiplo de 3(?)
2. 2 es número primo (?)
3. 87 es múltiplo de 5 (?)
CLASIFICACIÓN
Proposición Compuesta (molecular o coligativa)
Son las proposiciones que se obtienen al enlazar dos o más

proposiciones
simples mediante conectivos lógicos (V, 𝖠 ,⇒ ,⇔ , )

EJEMPLOS :
1. 7 es número racional y primo.

2. Paolo Guerrero es futbolista ,pero no es voleibolista.
CONECTORES O CONECTIVOS LÓGICOS
Son símbolos que nos permiten relacionar dos o más proposiciones
simples.
Entre los más importantes tenemos:
Negación, conjunción,disyunción, condicional y bicondicional.
Negación: Dada una proposición”p”la negación de p es otra proposición que

se denota por ~p y se lee” no p” o “ no es cierto que p”.
Tabla de verdad p ~p
V F
F V
CONECTORES
LOGICOS
Conjunción: Dadas dos proposiciones p y q.La conjunción de p y q se denota: p𝖠q
se lee pyq
Principio Lógico de la Conjunción:La conjunción “p𝖠q” es”V”sólo cuando “p es V” y
“q
es V”.Si uno de ellos es falso el resultado es falso.
Tabla de verdad: p q p𝖠q
V V V
V F F
F V F
F F F
CONECTORES
LÓGICOS
NOTA: Las palabras:”pero” ,”sin embargo”, “además”, “no obstante”,”aunque”,
“a la vez”,equivalen al conectivo “𝖠”.
Ej. p: 2 es número primo (V) q: o es número natural (F) r : 91 es múltiplo
de 7 (V) p𝖠 q : Es una proposición (F) p 𝖠 r: “ “ “ (V)

CONECTORES
LÓGICOS
Disyunción
la
Inclusiva: La disyunción inclusiva de dos proposiciones p y q es
proposición compuesta p o q ( o =y/o) ,se denota “ La p ∨ q”.
Principio lógico de la disyunción inclusiva
La disyunción inclusiva” pvq” es falsa sólo cuando p y q son falsas.

p q p∨q
Tabla de verdad
V V V
V F V
F V V
F F F
CONECTORES
LÓGICOS
Ej. Sean:
p : o es elemento neutro de la multiplicación (F)
q : 29 es número primo (V)
r : 3 es divisor de 89 (F)
p v q : (V)
r v q : (V)
p v r : (F)
CONECTORES
LÓGICOS
Disyunción Exclusiva : p Δ q , se lee :” p o q” ,pero no ambos o también : ”o p,
o q”
Es verdadera sólo cuando una de sus componentes es verdadera.

p q pΔq
Tabla de Verdad
V V F
V F V
F V V
F F F
CONECTORES
LÓGICOS
Ej. Sean:
p: 1.4 es número irracional (F)

q: 1 es elemento neutro multiplicativo (V)
r: -6 ≥ 4 (F)
p⧋ q (V)
q⧋ r (V)
p ⧋ r (F)
CONECTORES
LÓGICOS
LA CONDICIONAL.-La proposición “si p entonces q” ,denotada simbólicamente
por
“p→q” ,es la condicional de p y q donde:
p se llama Antecedente (Hipótesis)
q“ “ Consecuente (Tesis o Conclusión)
Principio lógico de la condicional
p→q es FALSA , sólo si el antecedente es Verdadero y el consecuente Falso.

NOTA: Los términos “porque, puesto que, ya que, siempre que, cuando,
cada vez que, dado que” también son conectores condicionales.
CONECTORES
LÓGICOS
Tabla de Verdad
:
p q p→q
V V V
V F F
F V V
F F V
CONECTORES
LÓGICOS
Ej. Sean:
p: 1,5 es un número real

(V)
q: -3 ≧-5 (V)
r: 2≦ -2 (F)
p→q es (V) q→r es (F)
r→p es(V)
CONECTORES
LÓGICOS
Proposición Recíproca
La proposición recíproca que corresponde a la condicional p→q es

q→p.
Proposición Inversa
La proposición inversa que corresponde a la condicional p→q es

∼p→∼q.
Proposición Contrarecíproca
La proposición contrarecíproca de p→q es ∿q→∼p

CONECTORES
LaLÓGICOS
Bicondicional .- La proposición “ p si y solo si q” denotada simbólicamente
por
“p↔q”es la bicondicional de p y q.
Principio Lógico :
p↔q es verdadera si ambas componentes son verdadera o ambas falsas.

p q p↔q
V V V
V F F
F V F
F F V
CONECTORES
LÓGICOS
LA NEGACIÓN
Dada una proposición”p”la negación de p es otra proposición se denota por

“∼p”
y se lee” no p” o “ no es cierto que p”.
Tabla de verdad
p ∼p
V F
F V
Evaluación de Esquemas Moleculares
Consiste en hallar los valores del operador principala partir de la validez de cada una de las
proposiciones simples.(variables proposicionales)
El número de valores que se asigna a cada variable proposicional depende de la fórmula 2 n

donde :n= número total de variables proposicionales y 2 es una constante que indica los dos
valores (V) o (F) que tiene una proposición simple.
Luego en una TABLA DE VERDAD, se escriben horizontalmente todas las variables

proposicionales y el esquema molecular, debajo de las variables proposicionales se escriben
en columna,todas las combinaciones posibles de verdad y falsedad.
Evaluación de Esquemas Moleculares
A continuación se aplica la regla a cada uno de los conectivos empezando por el
de menor alcance y terminando con el de mayor jerarquía.
Ej.Construya la tabla de valores para el siguiente esquema molecular:
⦍(p𝖠q)→~r⦎⟷p .Como hay tres variables proposicionales p,q,r. n=3
El número total de combinaciones posibles de valores de verdad es 23=8
Para p consideramos 4 (V) y 4 (F) ,para q 2 (V) y 2 (F) alternando,para r 1 (V) y 1

(F) alternando.
pqr ⦍(p𝖠q)→~r⦎⟷p
VVV VFFFV
VVF VVVVV
VFV FVFVV
VFF FVVVV
FVV FVFFF
FVF FVVFF
FFV FVFFF
FVF FVVFF
Tautología Contradicción y Contingencia
Un esquema molecular es TAUTOLOGÍA cuando los valores de su operador principal
son todos verdaderos.
Un esquema molecular es CONTRADICCIÓN cuando los valores de su operador

principal son todos falsos .
Un esquema molecular es consistencia cuando en su resultado hay por lo menos

una verdad y una falsedad.
Ejercicios:
Construya su tabla de verdad para cada uno de los siguientes esquemas

moleculares y determine si es tautología, contradicción o contingencia:
Tautología, Contradicción y
Consistencia
a) ⦍ ~(pvq)⦎⟷⦍~p𝖠~q⦎
b) ⦍(p𝖠q)→~r⦎⟷(pvr)
c) ⦍~(pvq)vr⦎⟶⦍(~p𝖠~q)vr⦎
EQUIVALENCIA E IMPLICACIÓN
EQUIVALENCIA
Dos fórmulas A y B son equivalentes cuando unidas por el bicondicional “↔”

el resultado es una TAUTOLOGÍA.
NOTACIÓN: si A Y B son equivalentes denotamos: A≅ B
Ej.Determinar que~(pvq)≅(~p𝖠~q)
Construimos la tabla de valores para la proposición: ~(pvq)↔

(~p𝖠~q)
EQUIVALENCIA
p q ~(pvq)↔(~p𝖠~q
)
V V F V V F
F F
V F F V V F
F V
F V F V V V
F F
F F V F V V
V V
Es una tautología por lo tanto: ~(pvq)≅(~p𝖠~q)

IMPLICACIÓN
Una fórmula A implica a B, cuando unidas por el condicional”→”el resultado es
una TAUTOLOGÍA.
Ej. Comprobar que ⦗(p→q) 𝖠 p ⦎⟶q es una implicación.

pq ⦗(p→q) 𝖠 p ⦎⟶ q
VV V V V V
VF F F V F
FV V F V V
FF V F V F
Lueg ⦗(p→q) 𝖠 p ⦎⟶q es una implicación.

o
BIBLIOGRAFÍA Y ENLACES DE VIDEOS
Armando Venero Baldeón : Matemática
Básica
Moisés Lázaro Carrión : Matemática Básica
Eduardo Espinoza Ramos : Matemática
Básica Ricardo Figueroa García :

VIDEOS DE LÓGICA PROPOSICIONAL
https://youtu.be/6iDhahJve0
https://youtu.be/gNdrxk5yTWU
https://youtu.be/xwQt2RVYH2U
https://youtu.be/76D53KlrMiw
https://youtu.b

Semana 1 - Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Semana 1 - Logica Matematica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Semana 1 - Logica Matematica

Cargado por

Copyright:

Formatos disponibles

LÓGICA

6,7 son enunciados abiertos

Notación.-Las proposiciones se denotan con las letras p,q,r,etc.

Proposición Simple: (atómica o elemental): son aquellas que tienen un sólo

Son las proposiciones que se obtienen al enlazar dos o más

simples mediante conectivos lógicos (V, 𝖠 ,⇒ ,⇔ , )

1. 7 es número racional y primo.

Entre los más importantes tenemos:

Negación, conjunción,disyunción, condicional y bicondicional.

Negación: Dada una proposición”p”la negación de p es otra proposición que

Tabla de verdad: p q p𝖠q

de 7 (V) p𝖠 q : Es una proposición (F) p 𝖠 r: “ “ “ (V)

proposición compuesta p o q ( o =y/o) ,se denota “ La p ∨ q”.

Principio lógico de la disyunción inclusiva

La disyunción inclusiva” pvq” es falsa sólo cuando p y q son falsas.

p : o es elemento neutro de la multiplicación (F)

q : 29 es número primo (V)

Es verdadera sólo cuando una de sus componentes es verdadera.

p: 1.4 es número irracional (F)

“p→q” ,es la condicional de p y q donde:

p se llama Antecedente (Hipótesis)

q“ “ Consecuente (Tesis o Conclusión)

Principio lógico de la condicional

p→q es FALSA , sólo si el antecedente es Verdadero y el consecuente Falso.

p: 1,5 es un número real

La proposición recíproca que corresponde a la condicional p→q es

La proposición inversa que corresponde a la condicional p→q es

La proposición contrarecíproca de p→q es ∿q→∼p

p↔q es verdadera si ambas componentes son verdadera o ambas falsas.

Dada una proposición”p”la negación de p es otra proposición se denota por

y se lee” no p” o “ no es cierto que p”.

El número de valores que se asigna a cada variable proposicional depende de la fórmula 2 n

Luego en una TABLA DE VERDAD, se escriben horizontalmente todas las variables

Ej.Construya la tabla de valores para el siguiente esquema molecular:

⦍(p𝖠q)→~r⦎⟷p .Como hay tres variables proposicionales p,q,r. n=3

El número total de combinaciones posibles de valores de verdad es 23=8

Para p consideramos 4 (V) y 4 (F) ,para q 2 (V) y 2 (F) alternando,para r 1 (V) y 1

Un esquema molecular es CONTRADICCIÓN cuando los valores de su operador

Un esquema molecular es consistencia cuando en su resultado hay por lo menos

Construya su tabla de verdad para cada uno de los siguientes esquemas

Dos fórmulas A y B son equivalentes cuando unidas por el bicondicional “↔”

Construimos la tabla de valores para la proposición: ~(pvq)↔

Es una tautología por lo tanto: ~(pvq)≅(~p𝖠~q)

Ej. Comprobar que ⦗(p→q) 𝖠 p ⦎⟶q es una implicación.

Lueg ⦗(p→q) 𝖠 p ⦎⟶q es una implicación.

Eduardo Espinoza Ramos : Matemática

Básica Ricardo Figueroa García :

También podría gustarte