SlideShare a Scribd company logo
1 of 36
Download to read offline
ASIGNATURA:
Matemática aplicada a la
Medicina
2014
 Lógica y Conjuntos
 Análisis combinatorio y probabilidades
 Sistema de números reales
 Relaciones y funciones.
 Logaritmos y exponenciales.
 Limites y derivadas.
 Integrales
2
CONTENIDO
Enunciado abierto
Son expresiones que contienen variables y que no
tienen propiedad de ser verdaderos o falsos.
Ejemplo: 𝒙 𝟑 + 5 = 130 ; Ella tiene 17 años.
3
Lógica Proposicional
Enunciado:
Se considera así a toda frase u oración que se emite. Algunos
enunciados indican expresiones imperativas, exclamativas,
interrogativas; otros en cambio pueden ser verdaderos o
falsos.
Ejemplo:
¿Esta feliz en la facultad?, ¡Que bueno volverte a ver!
La vida universitaria es agitada. , 𝑥2 + 3 = 28
 Es toda expresión o enunciado que tiene la propiedad de ser
verdadera o falsa; pero no ambos a la vez.
Ejemplo:
4
Proposición:
 Notación.
Generalmente a las proposiciones se les denota por letras minúsculas
tales como: p, q, r, ..
Así : p: Luis estudia ; q : Luis trabaja
Función proposicional p(x), esta se convierte en una proposición cuando
la variable toma un valor determinado.
p(x)= 3X + 2 = 11, si X es 3 es verdadero en otros valores de X, la
proposición es falsa.
Luis Pasteur descubrió la vacuna contra la rabia..
52 - 5= 120
Si estudio matemática, entonces apruebo el examen.
Daniel Alcides Carrión es considerado el precursor de la medicina peruana.
1. Todo cardiólogo, es medico………..…………………( )
2. El frio es mejor que el calor…………………………..( )
3. No es cierto que cero es impar………………………( )
4. La UPSM de Chiclayo tiene facultad de Medicina..( )
5. 3.5 + 2.3 = 21…………..……………………………………..( )
6. p(x)= x²+2x – 2 ≥ 6………………………………………..( )
5
Ejercicios:
En cada uno de los ejercicios indicar si es una
proposición lógica.
Conectivos lógicos
p : Luis estudia
q : Luis trabaja
: Luis estudia “y” trabajaqp 
6
Son expresiones que enlazan dos o más proposiciones Entre estas , se
tiene: “o”; “y” ; “entonces”, “implica”; “ si y solo si”, etc.
Los conectivos lógicos que usaremos son:
7
p q p q
V V V
V F F
F V F
F F F
Su tabla de verdad es:
La conjunción sólo es verdadera, cuando las
dos proposiciones son verdaderas
8
•La Disyunción:
Relaciona dos o más proposiciones con la palabra “0”;
que se denota por “ “
Su tabla de verdad es:

p q p q
V V V
V F V
F V V
F F F

La disyunción sólo es falsa, cuando ambas
proposiciones son falsas.
9
La disyunción exclusiva o diferencia
simétrica
La disyunción exclusiva, sólo admite que es verdadera,
si una de las proposiciones es verdadera y la otra es
falsa. Se denota por:  poro
p q p q
V V F
V F V
F V V
F F F
Se lee:“p o q pero no ambos”
:qΛp
“ o es p o es q”
p: Javier Pérez de Cuellar nació
en Tumbes.
q: Javier Pérez de Cuellar nació
en Lima.
“ o Javier Pérez de Cuellar nació en
Tumbes o en Lima”.
:qΛp
∆
10
La negación:
La negación de una proposición “p”, es otra proposición
, denotado por “ ~p”, que se lee: “no p” , o “no es
cierto que”, cuya verdad o falsedad queda
determinada por la siguiente tabla:
p ~p
V F
F V
Ejemplo:
P: Eduardo es estudioso
~p: Eduardo no es estudioso, o también: No es
cierto que Eduardo es estudioso
11
El condicional:
En el condicional: p q
“p” se llama antecedente
“q” se llama consecuente

Denotado por el símbolo: se lee: “Entonces” o “implica”, etc.
Por lo tanto, este conectivo une dos o más proposiciones con la palabra
“entonces”
Ejemplo: p: Eduardo estudia
q: Eduardo aprueba el examen
p q : Si Eduardo estudia, entonces aprueba el examen.


12
p q p ⇒ q
V V V
V F F
F V V
F F V
Su tabla de verdad es:
Nota: En el condicional: p → 𝑞
Sólo, es falso, cuando el antecedente es verdadero y el
consecuente es falso; en todo los demás casos es verdadero.
13
Al condicional se le asocia tres expresiones
lógicas importantes:
Sea el condicional: p ⇒ q
La proposición Recíproca es: q ⇒ p
La proposición inversa es: ~p ⇒ ~ q
La Contrarrecíproca es: ~q ⇒ ~p
Construyendo la tabla de verdad, se tiene:
qp  pq  qp  pq 
Directo Rcíproco
p q
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Inversa Contrarecíproco
14
El Bicondicional o Doble implicación
Denotado por: Se lee: “Sí y sólo sí”.
Relaciona dos o más proposiciones mediante la
palabra “sí y sólo si”. Su tabla de verdad es:

qp p q
V V V
V F F
F V F
F F V
p: Londres está en Inglaterra
q: París está en Francia.
Londres está en Inglaterra
si, y solamente si,
París está en Francia.
qp 
15
Cálculo de valores de verdad de fórmulas lógicas
Utilizando los conectivos lógicos estudiados, se pueden
combinar cualquier número finito de fórmulas lógicas para
obtener el valor de verdad de otras expresiones más
complejas.
Tener en cuenta que el número de combinaciones de
valores de verdad de una proposición, está supeditado al
número de variables o proposiciones simples que
intervienen. Para esto basta aplicar la fórmula: 2n ,
donde “n” indica el número de variables que hay en la
proposición compuesta.
16
p q
V V F V V F F
V F F V F V V
F V V F F V F
F F V F F F V
Ejemplo:
Construir la tabla de verdad de las siguientes
expresiones lógicas:
 
   qrprqpb
qpqpa


)()(~.)
~)(~.)
Solución:   qpqpa ~(~.) 
  qpqp ~)(~ 
17
   qrprqpb  )()(~.)
   qrprqp  )()(~p q r
V V V F F V V V V V
V V F F F V V V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
18
Proposiciones equivalentes:
Se dice que dos proposiciones son equivalentes, si
tienen iguales valores de verdad.
Ejemplo:
,~ qpyqp 
Construyendo su tabla de verdad:
qp p q ~ p ∨ q
V V V V
V F F F
F V V V
F F V V
Son equivalentes
19
Tautologías, contradicciones y contingencias:
• Una expresión proposicional se llama Tautología, si
los valores de su tabla de verdad todos son verdaderos
• Una expresión proposicional se llama Contradicción, si
los valores de su tabla de verdad, todos son falsos.
• Una expresión proposicional se llama Contingencia,
si en los valores de su tabla de verdad hay valores
verdaderos y falsos
Determinar si el siguiente esquema es tautológico, contingente o
contradictorio.
pp)]~q(~q)(p[~ p q
V V F V V F F F V V
V F F V V V F F V V
F V F V V F F V V F
F F V F V V V V V F
pp)]~q(~q)(p[~ 
20
r~]s)~Δ(sq)p~[( 
21
Solución:
= V
V V
V V
VV
r~]s)~Δ(sq)p~[( 
22
Equivalencias Notables
)()()
)()()
)()()
:.4
)
)
)
:.3
)
)
:.2
)(~~
:)(:.1
rqprqpc
rqprqpb
rqprqpa
AsociativaLey
pqqpc
pqqpb
pqqpa
aConmutativLey
pppb
pppa
iaIdempotencdeLey
pp
negaciónDobleinvolucióndeLey













23
Equivalencias notables:
Fppc
ppb
Vqpa
oComplementdeLeyes
qpqpb
qpqpa
MorganDdeLey
rpqprqpd
rpqprqpc
rpqprqpb
rpqprqpa
vasDistributiLeyes












~)
)(~~)
~)
:.7
~~)(~)
~)(~)
:´.6
)()()()
)()()()
)()()()
)()()()
:.5
24
Principales leyes lógicas
qpqppdqpqppc
pqppbpqppa
AbsorsióndeLey
FFpdpFpc
pVpbVVpa
IdentidaddeLeyes
qpqpqpb
pqqpqpa
nalBicondiciodelLey
pqqpc
qpqpb
qpqpa
onaldelCondiciLeyes













)(~))(~)
)())()
:.11
))
))
:.10
)~(~)()()
)()()()
:.9
~~)()
~)(~)
~)
:.8
25
Principales leyes lógicas
   
iónContradiccCíaTautoT
CCpdpCpc
TTpbpTpa
NeutrosElementos
rppppprppppb
rqprqpa
nExportaciódeLey
pqqpb
pqqpa
iónTransposicdeLey
nnn










;log
))
))
:.14
)()....()....()
)()()
:.13
)~(~)()
)~(~)()
:.12
321321
26
CUANTIFICADORES
Función Proposicional:
Es todo enunciado abierto, que tiene la propiedad de convertirse
en una proposición al ser sustituido la variable “x” por una
constante específica. Se les denota asi:
P(x) ; q(x) ; etc.
Ejemplo:
Sea : = 0 ; donde si reemplazamos x por 2 , la
expresión es verdadera; si reemplazamos x por – 4, la
expresión es falsa. Esto escribimos así:
P(2): 4 – 12 + 8=0 es verdadera.
P(- 4): 16+24 + 8 12 es falsa.
27
TIPOS DE CUANTIFICADORES
1.- Cuantificador Universal:
Es toda función proposicional precedida por el prefijo “Para Todo”,
que está denotado por:
Así por ejemplo:
Se lee: “Para todo x perteneciente a los reales, x2 es mayor o igual
a cero”
2.- Cuantificador Existencial
Es toda función proposicional precedida por el prefijo “Existe algún
x”, que está denotado por :

0: 2
 xRx
082::
"lg"::
2


xRxEjemplo
xúnaExisteleesex
28
Negación de los Cuantificadores:
Dada una función proposicional , tal como : P(x), entonces
si esta función proposicional está cuantificada y se
niega,entonces, se cumple la siguiente igualdad:
  )(~:)(:~ xpAxxpAx 
Dada una función proposicional, tal como : P(x), entonces,
si esta función proposicional está cuantificada en forma
existencial y se niega, entonces, se cumple la igualdad:
  )(~:)(:~ xpAxxpAx 
Ejercicios de aplicación
1.El valor de verdad de las siguientes proposiciones,
es:
a) (5 – 3 = 8 ) ( 1 – 7 = 6 )………
… F…… ……F………= …V….
b) (3³.4²÷ 2³.3² ≥ 5) Λ ( 4.5.2 – 3.2.5= 8)
……V………. Λ ……F…= …F…
2. Si p(x): x² - 36 = 0 ; q(x): x – 5 = 0 ; r(x): x² > 25
Hallar el valor de verdad de:
a) [p(- 7) Λ ~ q(4)] r(4)
F F = V
b)[(p(5) Λ q(7)) (r(6) v q(2))] [~ p(6) v Q(5)]
V V = V
3. Construir la tabla de verdad de la siguiente proposición:
a) (p ~ q) (q p)
30
Ejercicios de aplicación
p q (p ~ q) (q p)
V V F F V
V F V V V
F V V F F
F F F F V
4. Determinar si la siguiente proposición es
tautología , contingencia o contradicción.
a) [~p Λ (q Λ ~r)] [(~p Λ q) v ~ (p v r)]
31
Ejercicio de aplicación
p q r [~p Λ (q Λ ~r)] [(~p Λ q) v ~ (p v r)]
V V V F V F
V V F F F V
V F V F V F
V F F F V F
F V V F F V
F V F V V V
F F V F V F
F F F F F V
5. Si la proposición: ~ (pΛq) Λ (q p) es verdadera;
entonces los valores de verdad de p y q; es:
~ (pΛq) Λ(q p) V(p)= F
V V V(q)= F
V
6. Si la proposición:(~p Λ q) (~s v r) es falsa. Hallar
el valor de verdad de cada uno de las
proposiciones:
a) ~[(p q) r ]
b) ~ [(~p Λ q) Λ (~ r v r ) Λ s
32
Ejercicios de aplicación
7. Cuales de las siguientes proposiciones lógicas son
equivalentes:
a) ~(q ~p) (q v p)
b) ~(p q) [(p v q) Λ ~ q]
33
Ejercicios de aplicación
p q ~(q ~p) (q v p)
V V V V V
V F F F V
F V F F V
F F F V F
8. Determinar el valor de verdad de las siguientes
proposiciones.
a)
X² - X = 0
X.(X – 1) = 0
X = 0 v X = 1………….(V)
b) /x + y = 7
34
Ejercicios de aplicación
 Solución:
∼ 𝑝 ∨∼ 𝑞 ∨ (𝑝 ∨∼ 𝑞)
p ∨∼ 𝑞
9. Simplificar la siguiente proposición:
𝑝 ∨∼ 𝑞 ∧ 𝑞 → 𝑝
∼ 𝑝 ∨∼ 𝑞 ∧ 𝑞 ∨ 𝑝
∼ 𝑝 ∨∼ 𝑞 ∨∼ 𝑞 ∨ 𝑝
 1. Si P(x) : x3 = 27 ; q(x): x2 = 9 ; r(x) : x < 10. Hallar el valor
de verdad de:
 I) [ p(1) → q(12)] ↔ [r(-3) ∨ ∼ r (3)]
 II)[ p(0) ∧ ∼q(-1)] ∨ [ r( - 5) → ( r(- 6) ∨ r(0))]
 III) [ (p(3) ∨ p(2)) ↔ (r(2) ∧ ∼q(3))] ↔[∼q(3) ∨ ∼p(-3)]
 a) VVV b) VVF c) VFV d) FVF e) FFF
 2. Si la proposición compuesta : ~𝑝 ∧ 𝑞 → ~𝑠 ∨ 𝑟 ,
es falsa, entonces los valores de verdad de : p , q , r y s
; es:
 a) FVVF b) FVFV c) VVVV
d) FFFF e) VVFF
36
Preguntas de exámenes Pasados

More Related Content

What's hot

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadoresPacheco Huarotto, Luis
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicionalJesus García Asensio
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 
Elementos de lógica
Elementos de lógicaElementos de lógica
Elementos de lógicaJosué Zapeta
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basicaYanina C.J
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógicaMarco Alberca
 

What's hot (20)

TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Conectivos
ConectivosConectivos
Conectivos
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Elementos de lógica
Elementos de lógicaElementos de lógica
Elementos de lógica
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Elipse
ElipseElipse
Elipse
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición lógica
 

Viewers also liked

Medicina y logica
Medicina y logicaMedicina y logica
Medicina y logicanicollediaz
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezElsa Guédez
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresjazzme
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1pinzonjhon
 
LI2011-T9: Formas normales de Skolem y cláusulas
LI2011-T9: Formas normales de Skolem y cláusulasLI2011-T9: Formas normales de Skolem y cláusulas
LI2011-T9: Formas normales de Skolem y cláusulasJosé A. Alonso
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicioneshilgri
 
Formas normales de Skolem para lógica proposicional y de predicados
Formas normales de Skolem para lógica proposicional y de predicadosFormas normales de Skolem para lógica proposicional y de predicados
Formas normales de Skolem para lógica proposicional y de predicadosFacultad de Ciencias y Sistemas
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 CuantificadoresSaúl Qc
 
Lógica y vida cotidiana
Lógica y vida cotidianaLógica y vida cotidiana
Lógica y vida cotidianafilos2
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasJosé A. Alonso
 
Lógica Proposicional
Lógica Proposicional Lógica Proposicional
Lógica Proposicional licorsa
 
Metodo indagatorio AGRARIA 2012, ECBI
Metodo indagatorio  AGRARIA 2012, ECBIMetodo indagatorio  AGRARIA 2012, ECBI
Metodo indagatorio AGRARIA 2012, ECBICESAR V
 
Trabajo de liderazgo
Trabajo de liderazgoTrabajo de liderazgo
Trabajo de liderazgoMaria Mattos
 
Revisado gajardo mdd 2
Revisado gajardo  mdd 2Revisado gajardo  mdd 2
Revisado gajardo mdd 2Maria Mattos
 

Viewers also liked (20)

Medicina y logica
Medicina y logicaMedicina y logica
Medicina y logica
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Lógica para neófitos
Lógica para neófitosLógica para neófitos
Lógica para neófitos
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1
 
LMF-T4: Formas normales
LMF-T4: Formas normalesLMF-T4: Formas normales
LMF-T4: Formas normales
 
LI2011-T9: Formas normales de Skolem y cláusulas
LI2011-T9: Formas normales de Skolem y cláusulasLI2011-T9: Formas normales de Skolem y cláusulas
LI2011-T9: Formas normales de Skolem y cláusulas
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Formas normales de Skolem para lógica proposicional y de predicados
Formas normales de Skolem para lógica proposicional y de predicadosFormas normales de Skolem para lógica proposicional y de predicados
Formas normales de Skolem para lógica proposicional y de predicados
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
Lógica y vida cotidiana
Lógica y vida cotidianaLógica y vida cotidiana
Lógica y vida cotidiana
 
LIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivasLIT4: Formales normales conjuntivas y disyuntivas
LIT4: Formales normales conjuntivas y disyuntivas
 
Lógica Proposicional
Lógica Proposicional Lógica Proposicional
Lógica Proposicional
 
Metodo indagatorio AGRARIA 2012, ECBI
Metodo indagatorio  AGRARIA 2012, ECBIMetodo indagatorio  AGRARIA 2012, ECBI
Metodo indagatorio AGRARIA 2012, ECBI
 
Trabajo de liderazgo
Trabajo de liderazgoTrabajo de liderazgo
Trabajo de liderazgo
 
Opción C: experiencia personal y TIC
Opción C: experiencia personal y TICOpción C: experiencia personal y TIC
Opción C: experiencia personal y TIC
 
Revisado gajardo mdd 2
Revisado gajardo  mdd 2Revisado gajardo  mdd 2
Revisado gajardo mdd 2
 
Textos cientìficos
Textos cientìficosTextos cientìficos
Textos cientìficos
 

Similar to LÓGICA PROPOSICIONAL

Similar to LÓGICA PROPOSICIONAL (20)

Estructura
EstructuraEstructura
Estructura
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Ing. Civil - Cuadernillo 2018
Ing. Civil  - Cuadernillo 2018Ing. Civil  - Cuadernillo 2018
Ing. Civil - Cuadernillo 2018
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
calculo proposicional
calculo proposicionalcalculo proposicional
calculo proposicional
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógica
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 

More from CESAR V

Fascículo u5 indagación y alfabetización científica y tecnológica
Fascículo u5 indagación y alfabetización científica y tecnológicaFascículo u5 indagación y alfabetización científica y tecnológica
Fascículo u5 indagación y alfabetización científica y tecnológicaCESAR V
 
Jornada de reflexión 2017 abril 03
Jornada de reflexión 2017 abril  03Jornada de reflexión 2017 abril  03
Jornada de reflexión 2017 abril 03CESAR V
 
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZOCESAR V
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCESAR V
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCESAR V
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO  CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO CESAR V
 
ANÁLISIS COMBINATORIO
ANÁLISIS COMBINATORIOANÁLISIS COMBINATORIO
ANÁLISIS COMBINATORIOCESAR V
 
NÚMEROS REALES II
NÚMEROS REALES IINÚMEROS REALES II
NÚMEROS REALES IICESAR V
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES ICESAR V
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSCESAR V
 
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTE
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTEMÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTE
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTECESAR V
 
OTP CIENCIA TECNOLOGÍA Y AMBIENTE
OTP CIENCIA TECNOLOGÍA Y AMBIENTEOTP CIENCIA TECNOLOGÍA Y AMBIENTE
OTP CIENCIA TECNOLOGÍA Y AMBIENTECESAR V
 

More from CESAR V (12)

Fascículo u5 indagación y alfabetización científica y tecnológica
Fascículo u5 indagación y alfabetización científica y tecnológicaFascículo u5 indagación y alfabetización científica y tecnológica
Fascículo u5 indagación y alfabetización científica y tecnológica
 
Jornada de reflexión 2017 abril 03
Jornada de reflexión 2017 abril  03Jornada de reflexión 2017 abril  03
Jornada de reflexión 2017 abril 03
 
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO
1591GUÍA METODOLÓGICA para la FORMULACIÓN de la PLANIFICACIÓN de MEDIANO PLAZO
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMEROCIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO
 
CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO  CIENCIA Y TECNOLOGÍA PRIMERO
CIENCIA Y TECNOLOGÍA PRIMERO
 
ANÁLISIS COMBINATORIO
ANÁLISIS COMBINATORIOANÁLISIS COMBINATORIO
ANÁLISIS COMBINATORIO
 
NÚMEROS REALES II
NÚMEROS REALES IINÚMEROS REALES II
NÚMEROS REALES II
 
NÚMEROS REALES I
NÚMEROS REALES INÚMEROS REALES I
NÚMEROS REALES I
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOS
 
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTE
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTEMÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTE
MÓDULO DE CIENCIA TECNOLOGÍA Y AMBIENTE
 
OTP CIENCIA TECNOLOGÍA Y AMBIENTE
OTP CIENCIA TECNOLOGÍA Y AMBIENTEOTP CIENCIA TECNOLOGÍA Y AMBIENTE
OTP CIENCIA TECNOLOGÍA Y AMBIENTE
 

Recently uploaded

Neuropatía periférica terminado harrison
Neuropatía periférica terminado harrisonNeuropatía periférica terminado harrison
Neuropatía periférica terminado harrisonScarlettVeronicaAmpa
 
Guía para la publicidad de medicamentos de uso humano_ Generalitat de Catalunya
Guía para la publicidad de medicamentos de uso humano_ Generalitat de CatalunyaGuía para la publicidad de medicamentos de uso humano_ Generalitat de Catalunya
Guía para la publicidad de medicamentos de uso humano_ Generalitat de CatalunyaRichard Canabate
 
histologadelsistemanervioso-130606195212-phpapp01 (1).pptx
histologadelsistemanervioso-130606195212-phpapp01 (1).pptxhistologadelsistemanervioso-130606195212-phpapp01 (1).pptx
histologadelsistemanervioso-130606195212-phpapp01 (1).pptxJesusSantacruz7
 
Epifisiolisis breve resumen de la patología
Epifisiolisis breve resumen de la patologíaEpifisiolisis breve resumen de la patología
Epifisiolisis breve resumen de la patologíaDiegoRivasVazquez
 
9.- DESVENTAJAS DEL REVELADO MANUAL.pptx
9.- DESVENTAJAS DEL REVELADO MANUAL.pptx9.- DESVENTAJAS DEL REVELADO MANUAL.pptx
9.- DESVENTAJAS DEL REVELADO MANUAL.pptxSergioRamirezCastill1
 
Farmacoterapia de la insuficiencia cardiaca congestiva
Farmacoterapia de la insuficiencia cardiaca congestivaFarmacoterapia de la insuficiencia cardiaca congestiva
Farmacoterapia de la insuficiencia cardiaca congestivaJaveriana Cali
 
Mapa mental de Antígenos y anticuerpos.pdf
Mapa mental de Antígenos y anticuerpos.pdfMapa mental de Antígenos y anticuerpos.pdf
Mapa mental de Antígenos y anticuerpos.pdfcabanasosarin
 
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizar
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizarTAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizar
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizaraldercarrillo
 
BORGES QUEMADOS libro sobre quemaduras completo
BORGES QUEMADOS libro sobre quemaduras completoBORGES QUEMADOS libro sobre quemaduras completo
BORGES QUEMADOS libro sobre quemaduras completoFabianClavijo3
 
Introducción a la Dentición Permanente.pptx
Introducción a la Dentición Permanente.pptxIntroducción a la Dentición Permanente.pptx
Introducción a la Dentición Permanente.pptxgenesisanaya1176
 
FITOQUÍMICA PRODUCTOS NATURALES ESPINACA
FITOQUÍMICA PRODUCTOS NATURALES ESPINACAFITOQUÍMICA PRODUCTOS NATURALES ESPINACA
FITOQUÍMICA PRODUCTOS NATURALES ESPINACACintyFiore
 
Familia como unidad de análisis de la Medicina familiarpptx
Familia como unidad de análisis de la Medicina familiarpptxFamilia como unidad de análisis de la Medicina familiarpptx
Familia como unidad de análisis de la Medicina familiarpptxkarenhdezcastro
 
RIAS TALLER HEARTS 3.0 FINAL - ENFOCADO EN RCV
RIAS  TALLER  HEARTS  3.0 FINAL - ENFOCADO EN RCVRIAS  TALLER  HEARTS  3.0 FINAL - ENFOCADO EN RCV
RIAS TALLER HEARTS 3.0 FINAL - ENFOCADO EN RCVMauriCioGutiRrez35
 
Bases conceptuales del Proyecto Socio Integrador
Bases conceptuales del Proyecto Socio IntegradorBases conceptuales del Proyecto Socio Integrador
Bases conceptuales del Proyecto Socio IntegradorElizabeCarolinaRodrg
 
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosf
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosfSD-Lic. Enfermería y Obstetricia.pd plan de estidiosf
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosfGadiTovar1
 
Medicamentos Antihipertensivos-12.pptx.pdf
Medicamentos Antihipertensivos-12.pptx.pdfMedicamentos Antihipertensivos-12.pptx.pdf
Medicamentos Antihipertensivos-12.pptx.pdfjorgedavidnag
 
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdf
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdfCOMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdf
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdfjairorodriguez469183
 
Historia de la pediatria en mexico linea del tiempo
Historia de la pediatria en mexico linea del tiempoHistoria de la pediatria en mexico linea del tiempo
Historia de la pediatria en mexico linea del tiempoEduardoJonathanGarci
 
Psicoterapia básica para Pediatría de Atención Primaria.pdf
Psicoterapia básica para Pediatría de Atención Primaria.pdfPsicoterapia básica para Pediatría de Atención Primaria.pdf
Psicoterapia básica para Pediatría de Atención Primaria.pdfPediatriadeponent
 
Radiografía de tórax pediátrico internado médico
Radiografía de tórax pediátrico internado médicoRadiografía de tórax pediátrico internado médico
Radiografía de tórax pediátrico internado médicocristhiancueva7
 

Recently uploaded (20)

Neuropatía periférica terminado harrison
Neuropatía periférica terminado harrisonNeuropatía periférica terminado harrison
Neuropatía periférica terminado harrison
 
Guía para la publicidad de medicamentos de uso humano_ Generalitat de Catalunya
Guía para la publicidad de medicamentos de uso humano_ Generalitat de CatalunyaGuía para la publicidad de medicamentos de uso humano_ Generalitat de Catalunya
Guía para la publicidad de medicamentos de uso humano_ Generalitat de Catalunya
 
histologadelsistemanervioso-130606195212-phpapp01 (1).pptx
histologadelsistemanervioso-130606195212-phpapp01 (1).pptxhistologadelsistemanervioso-130606195212-phpapp01 (1).pptx
histologadelsistemanervioso-130606195212-phpapp01 (1).pptx
 
Epifisiolisis breve resumen de la patología
Epifisiolisis breve resumen de la patologíaEpifisiolisis breve resumen de la patología
Epifisiolisis breve resumen de la patología
 
9.- DESVENTAJAS DEL REVELADO MANUAL.pptx
9.- DESVENTAJAS DEL REVELADO MANUAL.pptx9.- DESVENTAJAS DEL REVELADO MANUAL.pptx
9.- DESVENTAJAS DEL REVELADO MANUAL.pptx
 
Farmacoterapia de la insuficiencia cardiaca congestiva
Farmacoterapia de la insuficiencia cardiaca congestivaFarmacoterapia de la insuficiencia cardiaca congestiva
Farmacoterapia de la insuficiencia cardiaca congestiva
 
Mapa mental de Antígenos y anticuerpos.pdf
Mapa mental de Antígenos y anticuerpos.pdfMapa mental de Antígenos y anticuerpos.pdf
Mapa mental de Antígenos y anticuerpos.pdf
 
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizar
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizarTAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizar
TAREA 2 SEMIOLOGIA RADIOLOGICA.docx. erika villamizar
 
BORGES QUEMADOS libro sobre quemaduras completo
BORGES QUEMADOS libro sobre quemaduras completoBORGES QUEMADOS libro sobre quemaduras completo
BORGES QUEMADOS libro sobre quemaduras completo
 
Introducción a la Dentición Permanente.pptx
Introducción a la Dentición Permanente.pptxIntroducción a la Dentición Permanente.pptx
Introducción a la Dentición Permanente.pptx
 
FITOQUÍMICA PRODUCTOS NATURALES ESPINACA
FITOQUÍMICA PRODUCTOS NATURALES ESPINACAFITOQUÍMICA PRODUCTOS NATURALES ESPINACA
FITOQUÍMICA PRODUCTOS NATURALES ESPINACA
 
Familia como unidad de análisis de la Medicina familiarpptx
Familia como unidad de análisis de la Medicina familiarpptxFamilia como unidad de análisis de la Medicina familiarpptx
Familia como unidad de análisis de la Medicina familiarpptx
 
RIAS TALLER HEARTS 3.0 FINAL - ENFOCADO EN RCV
RIAS  TALLER  HEARTS  3.0 FINAL - ENFOCADO EN RCVRIAS  TALLER  HEARTS  3.0 FINAL - ENFOCADO EN RCV
RIAS TALLER HEARTS 3.0 FINAL - ENFOCADO EN RCV
 
Bases conceptuales del Proyecto Socio Integrador
Bases conceptuales del Proyecto Socio IntegradorBases conceptuales del Proyecto Socio Integrador
Bases conceptuales del Proyecto Socio Integrador
 
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosf
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosfSD-Lic. Enfermería y Obstetricia.pd plan de estidiosf
SD-Lic. Enfermería y Obstetricia.pd plan de estidiosf
 
Medicamentos Antihipertensivos-12.pptx.pdf
Medicamentos Antihipertensivos-12.pptx.pdfMedicamentos Antihipertensivos-12.pptx.pdf
Medicamentos Antihipertensivos-12.pptx.pdf
 
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdf
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdfCOMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdf
COMPENDIO DE INDICADORES DEL IMPACTO Y RESULTADO.pdf
 
Historia de la pediatria en mexico linea del tiempo
Historia de la pediatria en mexico linea del tiempoHistoria de la pediatria en mexico linea del tiempo
Historia de la pediatria en mexico linea del tiempo
 
Psicoterapia básica para Pediatría de Atención Primaria.pdf
Psicoterapia básica para Pediatría de Atención Primaria.pdfPsicoterapia básica para Pediatría de Atención Primaria.pdf
Psicoterapia básica para Pediatría de Atención Primaria.pdf
 
Radiografía de tórax pediátrico internado médico
Radiografía de tórax pediátrico internado médicoRadiografía de tórax pediátrico internado médico
Radiografía de tórax pediátrico internado médico
 

LÓGICA PROPOSICIONAL

  • 2.  Lógica y Conjuntos  Análisis combinatorio y probabilidades  Sistema de números reales  Relaciones y funciones.  Logaritmos y exponenciales.  Limites y derivadas.  Integrales 2 CONTENIDO
  • 3. Enunciado abierto Son expresiones que contienen variables y que no tienen propiedad de ser verdaderos o falsos. Ejemplo: 𝒙 𝟑 + 5 = 130 ; Ella tiene 17 años. 3 Lógica Proposicional Enunciado: Se considera así a toda frase u oración que se emite. Algunos enunciados indican expresiones imperativas, exclamativas, interrogativas; otros en cambio pueden ser verdaderos o falsos. Ejemplo: ¿Esta feliz en la facultad?, ¡Que bueno volverte a ver! La vida universitaria es agitada. , 𝑥2 + 3 = 28
  • 4.  Es toda expresión o enunciado que tiene la propiedad de ser verdadera o falsa; pero no ambos a la vez. Ejemplo: 4 Proposición:  Notación. Generalmente a las proposiciones se les denota por letras minúsculas tales como: p, q, r, .. Así : p: Luis estudia ; q : Luis trabaja Función proposicional p(x), esta se convierte en una proposición cuando la variable toma un valor determinado. p(x)= 3X + 2 = 11, si X es 3 es verdadero en otros valores de X, la proposición es falsa. Luis Pasteur descubrió la vacuna contra la rabia.. 52 - 5= 120 Si estudio matemática, entonces apruebo el examen. Daniel Alcides Carrión es considerado el precursor de la medicina peruana.
  • 5. 1. Todo cardiólogo, es medico………..…………………( ) 2. El frio es mejor que el calor…………………………..( ) 3. No es cierto que cero es impar………………………( ) 4. La UPSM de Chiclayo tiene facultad de Medicina..( ) 5. 3.5 + 2.3 = 21…………..……………………………………..( ) 6. p(x)= x²+2x – 2 ≥ 6………………………………………..( ) 5 Ejercicios: En cada uno de los ejercicios indicar si es una proposición lógica.
  • 6. Conectivos lógicos p : Luis estudia q : Luis trabaja : Luis estudia “y” trabajaqp  6 Son expresiones que enlazan dos o más proposiciones Entre estas , se tiene: “o”; “y” ; “entonces”, “implica”; “ si y solo si”, etc. Los conectivos lógicos que usaremos son:
  • 7. 7 p q p q V V V V F F F V F F F F Su tabla de verdad es: La conjunción sólo es verdadera, cuando las dos proposiciones son verdaderas
  • 8. 8 •La Disyunción: Relaciona dos o más proposiciones con la palabra “0”; que se denota por “ “ Su tabla de verdad es:  p q p q V V V V F V F V V F F F  La disyunción sólo es falsa, cuando ambas proposiciones son falsas.
  • 9. 9 La disyunción exclusiva o diferencia simétrica La disyunción exclusiva, sólo admite que es verdadera, si una de las proposiciones es verdadera y la otra es falsa. Se denota por:  poro p q p q V V F V F V F V V F F F Se lee:“p o q pero no ambos” :qΛp “ o es p o es q” p: Javier Pérez de Cuellar nació en Tumbes. q: Javier Pérez de Cuellar nació en Lima. “ o Javier Pérez de Cuellar nació en Tumbes o en Lima”. :qΛp ∆
  • 10. 10 La negación: La negación de una proposición “p”, es otra proposición , denotado por “ ~p”, que se lee: “no p” , o “no es cierto que”, cuya verdad o falsedad queda determinada por la siguiente tabla: p ~p V F F V Ejemplo: P: Eduardo es estudioso ~p: Eduardo no es estudioso, o también: No es cierto que Eduardo es estudioso
  • 11. 11 El condicional: En el condicional: p q “p” se llama antecedente “q” se llama consecuente  Denotado por el símbolo: se lee: “Entonces” o “implica”, etc. Por lo tanto, este conectivo une dos o más proposiciones con la palabra “entonces” Ejemplo: p: Eduardo estudia q: Eduardo aprueba el examen p q : Si Eduardo estudia, entonces aprueba el examen.  
  • 12. 12 p q p ⇒ q V V V V F F F V V F F V Su tabla de verdad es: Nota: En el condicional: p → 𝑞 Sólo, es falso, cuando el antecedente es verdadero y el consecuente es falso; en todo los demás casos es verdadero.
  • 13. 13 Al condicional se le asocia tres expresiones lógicas importantes: Sea el condicional: p ⇒ q La proposición Recíproca es: q ⇒ p La proposición inversa es: ~p ⇒ ~ q La Contrarrecíproca es: ~q ⇒ ~p Construyendo la tabla de verdad, se tiene: qp  pq  qp  pq  Directo Rcíproco p q V V V V V V V F F V V F F V V F F V F F V V V V Inversa Contrarecíproco
  • 14. 14 El Bicondicional o Doble implicación Denotado por: Se lee: “Sí y sólo sí”. Relaciona dos o más proposiciones mediante la palabra “sí y sólo si”. Su tabla de verdad es:  qp p q V V V V F F F V F F F V p: Londres está en Inglaterra q: París está en Francia. Londres está en Inglaterra si, y solamente si, París está en Francia. qp 
  • 15. 15 Cálculo de valores de verdad de fórmulas lógicas Utilizando los conectivos lógicos estudiados, se pueden combinar cualquier número finito de fórmulas lógicas para obtener el valor de verdad de otras expresiones más complejas. Tener en cuenta que el número de combinaciones de valores de verdad de una proposición, está supeditado al número de variables o proposiciones simples que intervienen. Para esto basta aplicar la fórmula: 2n , donde “n” indica el número de variables que hay en la proposición compuesta.
  • 16. 16 p q V V F V V F F V F F V F V V F V V F F V F F F V F F F V Ejemplo: Construir la tabla de verdad de las siguientes expresiones lógicas:      qrprqpb qpqpa   )()(~.) ~)(~.) Solución:   qpqpa ~(~.)    qpqp ~)(~ 
  • 17. 17    qrprqpb  )()(~.)    qrprqp  )()(~p q r V V V F F V V V V V V V F F F V V V V V V F V F F V V V F F V F F F F F V V F F F V V V V V V V V V F V F V V V F F F V F F V V V V F V F F F F F V F F V F F F
  • 18. 18 Proposiciones equivalentes: Se dice que dos proposiciones son equivalentes, si tienen iguales valores de verdad. Ejemplo: ,~ qpyqp  Construyendo su tabla de verdad: qp p q ~ p ∨ q V V V V V F F F F V V V F F V V Son equivalentes
  • 19. 19 Tautologías, contradicciones y contingencias: • Una expresión proposicional se llama Tautología, si los valores de su tabla de verdad todos son verdaderos • Una expresión proposicional se llama Contradicción, si los valores de su tabla de verdad, todos son falsos. • Una expresión proposicional se llama Contingencia, si en los valores de su tabla de verdad hay valores verdaderos y falsos
  • 20. Determinar si el siguiente esquema es tautológico, contingente o contradictorio. pp)]~q(~q)(p[~ p q V V F V V F F F V V V F F V V V F F V V F V F V V F F V V F F F V F V V V V V F pp)]~q(~q)(p[~  20
  • 21. r~]s)~Δ(sq)p~[(  21 Solución: = V V V V V VV r~]s)~Δ(sq)p~[( 
  • 25. 25 Principales leyes lógicas     iónContradiccCíaTautoT CCpdpCpc TTpbpTpa NeutrosElementos rppppprppppb rqprqpa nExportaciódeLey pqqpb pqqpa iónTransposicdeLey nnn           ;log )) )) :.14 )()....()....() )()() :.13 )~(~)() )~(~)() :.12 321321
  • 26. 26 CUANTIFICADORES Función Proposicional: Es todo enunciado abierto, que tiene la propiedad de convertirse en una proposición al ser sustituido la variable “x” por una constante específica. Se les denota asi: P(x) ; q(x) ; etc. Ejemplo: Sea : = 0 ; donde si reemplazamos x por 2 , la expresión es verdadera; si reemplazamos x por – 4, la expresión es falsa. Esto escribimos así: P(2): 4 – 12 + 8=0 es verdadera. P(- 4): 16+24 + 8 12 es falsa.
  • 27. 27 TIPOS DE CUANTIFICADORES 1.- Cuantificador Universal: Es toda función proposicional precedida por el prefijo “Para Todo”, que está denotado por: Así por ejemplo: Se lee: “Para todo x perteneciente a los reales, x2 es mayor o igual a cero” 2.- Cuantificador Existencial Es toda función proposicional precedida por el prefijo “Existe algún x”, que está denotado por :  0: 2  xRx 082:: "lg":: 2   xRxEjemplo xúnaExisteleesex
  • 28. 28 Negación de los Cuantificadores: Dada una función proposicional , tal como : P(x), entonces si esta función proposicional está cuantificada y se niega,entonces, se cumple la siguiente igualdad:   )(~:)(:~ xpAxxpAx  Dada una función proposicional, tal como : P(x), entonces, si esta función proposicional está cuantificada en forma existencial y se niega, entonces, se cumple la igualdad:   )(~:)(:~ xpAxxpAx 
  • 29. Ejercicios de aplicación 1.El valor de verdad de las siguientes proposiciones, es: a) (5 – 3 = 8 ) ( 1 – 7 = 6 )……… … F…… ……F………= …V…. b) (3³.4²÷ 2³.3² ≥ 5) Λ ( 4.5.2 – 3.2.5= 8) ……V………. Λ ……F…= …F… 2. Si p(x): x² - 36 = 0 ; q(x): x – 5 = 0 ; r(x): x² > 25 Hallar el valor de verdad de: a) [p(- 7) Λ ~ q(4)] r(4) F F = V b)[(p(5) Λ q(7)) (r(6) v q(2))] [~ p(6) v Q(5)] V V = V
  • 30. 3. Construir la tabla de verdad de la siguiente proposición: a) (p ~ q) (q p) 30 Ejercicios de aplicación p q (p ~ q) (q p) V V F F V V F V V V F V V F F F F F F V
  • 31. 4. Determinar si la siguiente proposición es tautología , contingencia o contradicción. a) [~p Λ (q Λ ~r)] [(~p Λ q) v ~ (p v r)] 31 Ejercicio de aplicación p q r [~p Λ (q Λ ~r)] [(~p Λ q) v ~ (p v r)] V V V F V F V V F F F V V F V F V F V F F F V F F V V F F V F V F V V V F F V F V F F F F F F V
  • 32. 5. Si la proposición: ~ (pΛq) Λ (q p) es verdadera; entonces los valores de verdad de p y q; es: ~ (pΛq) Λ(q p) V(p)= F V V V(q)= F V 6. Si la proposición:(~p Λ q) (~s v r) es falsa. Hallar el valor de verdad de cada uno de las proposiciones: a) ~[(p q) r ] b) ~ [(~p Λ q) Λ (~ r v r ) Λ s 32 Ejercicios de aplicación
  • 33. 7. Cuales de las siguientes proposiciones lógicas son equivalentes: a) ~(q ~p) (q v p) b) ~(p q) [(p v q) Λ ~ q] 33 Ejercicios de aplicación p q ~(q ~p) (q v p) V V V V V V F F F V F V F F V F F F V F
  • 34. 8. Determinar el valor de verdad de las siguientes proposiciones. a) X² - X = 0 X.(X – 1) = 0 X = 0 v X = 1………….(V) b) /x + y = 7 34 Ejercicios de aplicación
  • 35.  Solución: ∼ 𝑝 ∨∼ 𝑞 ∨ (𝑝 ∨∼ 𝑞) p ∨∼ 𝑞 9. Simplificar la siguiente proposición: 𝑝 ∨∼ 𝑞 ∧ 𝑞 → 𝑝 ∼ 𝑝 ∨∼ 𝑞 ∧ 𝑞 ∨ 𝑝 ∼ 𝑝 ∨∼ 𝑞 ∨∼ 𝑞 ∨ 𝑝
  • 36.  1. Si P(x) : x3 = 27 ; q(x): x2 = 9 ; r(x) : x < 10. Hallar el valor de verdad de:  I) [ p(1) → q(12)] ↔ [r(-3) ∨ ∼ r (3)]  II)[ p(0) ∧ ∼q(-1)] ∨ [ r( - 5) → ( r(- 6) ∨ r(0))]  III) [ (p(3) ∨ p(2)) ↔ (r(2) ∧ ∼q(3))] ↔[∼q(3) ∨ ∼p(-3)]  a) VVV b) VVF c) VFV d) FVF e) FFF  2. Si la proposición compuesta : ~𝑝 ∧ 𝑞 → ~𝑠 ∨ 𝑟 , es falsa, entonces los valores de verdad de : p , q , r y s ; es:  a) FVVF b) FVFV c) VVVV d) FFFF e) VVFF 36 Preguntas de exámenes Pasados