Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sesion 5
Sesion 5
FORMALIZACIÓN
CONECTORES LÓGICOS
DEFINICIÓN: Enlaza, une proposiciones.
CLASES:
Monádicos: Negador
Diádicos: Conjuntor, disyuntor, implicador,
replicador, biimplicador, y funciones sheffer
EJERCICIOS
1) Son formas lingüísticas del conjuntor:
1. No solo A sino B
2. A con B
3. A de modo semejante B
4. Tanto A cuanto B
5. A no obstante B
Son ciertas:
a) 1,2,3 b) 2,4,5 c) 1,2,4
d) 1 y 5 e) Todas
CLAVE: E
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
4) 4 y 6 son múltiplos de 2
Conector:
Proposición: P = 4 es múltiplo de 2
q = 6 es múltiplo de 2
Formalización: pq
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
RECONOCE Y FORMALIZA EL
TIPO DE PROPOSICIÓN
1.Energía equivale a trabajo.
Formalización: p
2. Alex así vemos que Daniel trabajan juntos.
Formalización: p
3. Los países de Servia y Croacia se habían unido para formar
Yugoslavia.
Formalización: p
4. Elvis Daga, no dijo:“La glucólisis no consiste en la degradación
del acetil coenzima”.
Formalización: -p
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
FORMALIZACIÓN II
DEFINICIÓN: Simbolización de proposiciones y
conectores mediante reglas y jerarquías de
agrupación.
ESTRUCTURAS:
1) Si A entonces B
AB
2) Si A,B
AB
3) Si A B
A B
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
4) A si B
A B
5) A si de la forma B
A B
7) Porque A,B
AB
8) A porque B
A B
9) A dado que B
A B
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
OJO: A B
Cond. Suficiente Cond. Necesaria
Antecedente Consecuente
Causa Efecto
16) A es necesario para B
A B
17) A es suficiente para B
A B
18) Para A es suficiente B
A B
OJO:
El término: “Solo si” = “necesario”
25) Solo si A ,B
A B
26) A solo si B
AB
27) A si y solo si B
A B
28) A excepto que B
AB
29) A excepto B
A B
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
30) A es diferente a B
A B
31) En modo alguno
A
32) En forma alguna
A
33) En absoluto
A
34) Es absoluto
A
35) No es necesario
A
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
(A B) (C D)
(A B) C
[ (A B) C] D
(A B) (C D)
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
EJERCICIOS
FORMALIZANDO
PROPOSICIONES
1) 2x2=4 es diferente a 5x2 =10, dado que 5!=120
A v B C
Formalizando: (A v B) C
Formalizando: A v (B C)
Formalizando: (A B) ( A B)
Identificando variables:
Variable A: 2 x2 = 4 Variable B: 2x3 =6
Identificando variables:
Variable A: tengo dinero Variable B: voy al cine
Variable C: yo trabajo Variable D: yo estudio
Formalizando: [ (A B) ( C v D) ] (B A)
Identificando variables:
Variable «p»: amanece Variable «q»: sale el sol
Variable «r»: hace frio Variable «s»: estamos en invierno
Variable «t»: hay viento
Formalizando: {[ (p q) v r ] s} (t s)
Dr. Elvis Daga
CICLO MAYO – SETIEMBRE 2022
EJERCICIOS