Académique Documents
Professionnel Documents
Culture Documents
PROPOSICIONES
LGICAS.
2016-II
Mapa de Contenidos
Enunciados
Proposiciones
Qu son las
Proposiciones Lgicas?
Cmo se clasifican
las proposiciones?
P. Simples
P. Compuestas
Conjuncin
Disyuncin
Implicacin
Cmo se
formaliza una
Proposicin
Lgica?
Qu estudia la Lgica?
La Lgica aparece cuando el hombre primitivo tiene la capacidad de razonar y obtener
deducciones o inferencias.
Como ciencia formal aparece hace 2500 aos en la poca de Aristteles
Estudia la forma del razonamiento
Es una disciplina que por medio de reglas, leyes y tcnicas determina si un argumento
es vlido ( V F).
La aplicacin lgica es el anlisis y la construccin de argumentos
4
(V)
b) Leyes cientficas:
o F=m.T
o E = m. c 2
(F)
(F)
c) Enunciados cerrados:
o x+3 = 7 si x= 1
o x 2 4 = 0 si x = - 2
(F)
(V)
6
Ejemplos de Enunciados
1. Splicas:
Puedo darle un consejo!
2. rdenes:
No puedes manejar sin brevete!
3. Preguntas:
Cmo te llamas?
4. Refranes :
Perro que ladra, no muerde.
5. Enunciados abiertos :
x + 6 = 25
6. Apreciaciones personales:
Creo que este cuaderno es bonito.
7
Clases de Proposiciones
Simples o
atmicas
Carecen de
conectores
lgicos.
No pueden
dividirse en ms
de dos
proposiciones.
Compuestas o
moleculares
Estn unidos
por
conectores
lgicos.
Pueden ser
separadas en
ms de una
proposicin
simple.
8
Smbolo
Trmino
Conjuncin
Oo
Condicional o implicacin
Si entonces
Replicador
si
9
Smbolo
Bi condicional o bi implicador
Trmino
si y slo si
In alterador
ni, ni
In compatibilizador
es in compatible con
Negacin
No
Se determina el
conectivo usado
EJEMPLO
La Universidad Autnoma del Per tiene su sede principal en el distrito de Villa El Salvador y ofrece
11 carreras profesionales.
(V)Y(V)
(V)
CONECTIVO
Y
11
Tabla de Verdad
p
pq
pq
pq
pq
pq
pq
pq
pq
12
13
Ejemplos de Formalizacin
2 no es un nmero impar y 3 no es par.
p: 2 es un nmero impar
: no
: y
: no
q: 3 es un nmero par
Bibliografa Consultada
Acua, C., Alfaro, J. (2015). Matemtica Bsica. Lima: UA
Acua, E., Castillo, M., DOnofrio, S., Galarza,B., Guzman, A., Lastres, P.,
Rosales, D., & Villanueva, E. (2014). Lgica y Epistemologa. Lima: PUCP.
15