Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Prof. Lic. Javier Velásquez Espinoza
Prof. Lic. Javier Velásquez Espinoza
LGICA
Es la ciencia que estudia el razonamiento inductivo y
deductivo. El razonamiento inductivo es aquel que permite
llegar a conclusiones generales a partir de observaciones
particulares, por el contrario, el razonamiento deductivo nos
permite llegar a conclusiones particulares a partir de
observaciones generales.
ENUNCIADO: Es toda frase u oracin que informa, expresa o
dictamina alguna idea a travs de afirmaciones o negaciones,
preguntas, expresiones de emocin o de saludo, rdenes, etc.
ENUNCIADO ABIERTO: Es un enunciado en forma de
x<9
x + 2 = 10
a+b=1
a 2 + b2 = c 2
SON PROPOSICIONES:
NO SON PROPOSICIONES:
39 es un nmero primo
F)
V)
F)
:p
:q
:r
( F)
( V)
( F)
Conectivos lgicos
Son palabras que permiten relacionar dos
proposiciones o negar una proposicin
simple. Cuando se les representan por
smbolos se les llama operadores lgicos.
Los siguientes conectivos son los ms
recurrentes:
1. si y slo si
2. o . . . o
3. sientonces
4. o
5. y
6. no
p q
p q r
21
22
23
En general para
n proposiciones,
se pueden
presentar 2n
posibilidades
q
Simbologa: p q
Simbologa: r s
q
Simbologa: p q
Notas:
Ejemplo
La suma de las cifras de 426 es mltiplo de 3 por consiguiente es divisible entre 3
(antecedente) p
(consecuente) q
(consecuente) q
(antecedente) p
q
Simbologa: p q
El bicondicional es verdadero
solo si ambas proposiciones poseen
idnticos valores de verdad
El bicondicional es falso
solo si ambas proposiciones poseen
diferentes valores de verdad
TABLA RESUMEN
Conector
Valor de
verdad
Condicin
Si el antecedente es verdadero y
el consecuente es falso
Si la proposicin es falsa.
EVALUACIN
DE UNA
FRMULA
LGICA
Ejemplo:
Evaluar el siguiente
esquema
molecular:
(p q)
r)
Solucin
V V V
V V V
V F F
V F F
F F V
F V
F F
F F
(pq)
(p
( p r)
1.
2.
3.
(q r) p
V V V F
( r p)
V
V V
(p r)
F
F V