Docente:
Mg. Juan Alfredo Díaz Hoyos
UNIVERSIDAD PRIVADA ANTENOR ORREGO
UPAO
[Link]
APROXIMANDONOS AL TEMA
¿Cómo determinamos la veracidad o falsedad de esta proposición lógica?
V “La Cop 21 se celebró en París el año 2015” F
COP 21: se cierra en París el acuerdo final
para frenar el cambio climático
El ambicioso acuerdo se alcanzó a las
4:30 de la madrugada tras más de 24
horas de negociación.
Diario la República 12/12/2015
¿Y cuando la proposición es compuesta?
¿Puede aplicarse la misma consideración
Opción Opción Opción Opción
1: 2: 3: 4:
V-V V-F F-V F-F
“La Cop 21 se celebró en París el año 2015 y la
cop 20 se llevó a cabo en Lima en el año 2014”
¿Afecta el conector lógico al determinar la
veracidad o falsedad de una proposición
compuesta?
Opción Opción Opción Opción
1: 2: 3: 4:
V-V V-F F-V F-F
“La Cop 21 se celebró en París el año
2015 salvo que únicamente la Cop 20.”
¿Cómo se ¿Cuál es la
establece la necesidad de
determinar la
verdad de un veracidad o
esquema falsedad de un
proposicional? esquema lógico?
¿Qué reglas
son necesarias
utilizar?
RESULTADO DE
APRENDIZAJE
Aplica con corrección las reglas
lógicas para establecer la verdad
formal de los esquemas lógicos.
Verdad formal: definición
Proceso mediante el cual se evalúa la
veracidad o falsedad de las expresiones
verbales (proposiciones), para lo cual es
importante conocer y aplicar las
funciones veritativas que rigen para
conector lógico.
PREGUNTAS GUÍA:
¿Qué se entiende por verdad formal?
¿Qué debemos saber para establecer la verdad formal de un
esquema lógico?
¿Qué leyes lógicas debo conocer?
¿Cómo se diseña y opera con la tabla de verdad?
¿Qué procedimiento se sigue para establecer la verdad formal de un
esquema?
¿Qué clase de esquemas es posible obtener luego de evaluar la
verdad formal de un esquema lógico?
IDEA 1: Cuando la proposición es compuesta, su
valor de verdad está en función de la verdad que
independientemente tenga cada proposición, así
como del conector que une a ambas proposiciones.
CADA CONECTOR LÓGICO TIENE SUS
PROPIAS REGLAS DE CONEXIÓN.
P1=V P1=V
∧ V F
P2=V P2=V
IDEA 2: La verdad formal nos permite conocer
los valores de veracidad (V) o falsedad(F) de
una fórmula o argumento.
SE FUNDAMENTA EN EL PRINCIPIO
LÓGICO DEL TERCIO EXCLUIDO: Una
proposición lógica o bien es verdadera o
bien es falsa.
MÉTODOS PARA ESTABLECER LA VERDAD FORMAL
[Link]
documentos/publicacion-
desarrollo-pensamiento-
[Link]
LAS TABLAS DE VERDAD
Wittgenstein (1889- 1951); filósofo Vienés inventó el
método de “las tablas de verdad”
PROCEDIMIENTO:
Jerarquizar Evaluar la
Ubicar la la fórmula, fórmula de
Determinar acuerdo a las
fórmula en es decir reglas de las
el número
el lugar determinar funciones
de arreglos veritativas,
correspond que procediendo
mediante
iente en la funciones desde las
la fórmula estructuras de
tabla de deben
respectiva. menor jerarquía
verdad resolverse hasta la de
primero. mayor jerarquía.
Funciones veritativas
REGLAS DE VERDAD FORMAL:
p , q p q p q p q p p q pq
q
V V V V V V V F
V F F V F V F V
F V F V V F F V
F F F F V V V F
REGLAS:
p , q pq p/q -q
V V F F F
V F F V V
F V F V F
F F V V V
JERARQUÍA DE CONECTORES
Cuando la fórmula no presenta signos de
agrupación.
1° 2° 3° 4° 5° 6°
↔ → ∨ ∧ -
JERARQUÍA DE CONECTORES
Cuando la fórmula no presenta signos de agrupación.
p -q p q p
Los conectores de menos jerarquía tienen prioridad en la resolución.
Tautológico VVVVVVVV
Básica Contingente VFFVVVFV
Contradictorio FFFFFFFFF
TIPOS DE
ESQUEMAS
VVVVVVVV
Consistentes
VFFVVVFV
General
Inconsistentes FFFFFFFFF
CRITERIO2: según el tipo de conector lógico
implicativo
Disyuntivo biimplicativo
Conjuntivo inalternativo
Implicativo,
etc.
TIPOS DE ESQUEMA: TAUTOLOGÍAS
TIPOS DE ESQUEMA: CONTRADICTORIOS
TIPOS DE ESQUEMA: CONTINGENTES
Recomendaciones
EJEMPLO 1:
Encuentra la verdad formal del siguiente esquema lógico:
(p q) (r p)
p q r (p q) (r v p)
N° DE VARIABLES:
N° DE ARREGLOS:
CONECTOR LÓGICO
PRINCIPAL:
TIPOS DE ESQUEMA:
EJEMPLO 2:
Encuentra la verdad formal del siguiente esquema lógico:
(p q) = - (p - q)
p Q (p q) = - (p -q)
N° DE VARIABLES:
N° DE ARREGLOS:
CONECTOR LÓGICO
PRINCIPAL:
TIPOS DE ESQUEMA:
EJEMPLO 3:
Encuentra la verdad formal del siguiente esquema lógico:
P Q R [-p (q v r)] = [(p v r) q]
V V V
V V F N° DE VARIABLES:
V F V N° DE ARREGLOS: 8
V F F CONECTOR LÓGICO
F V V PRINCIPAL:
F V F TIPOS DE ESQUEMA:
F F V
F F F
EJEMPLO 4:
Encuentra la verdad formal del siguiente esquema lógico:
- (p - q) = (q - p)
p Q - (p -q) = (q -p
V V
V F N° DE VARIABLES:
F V N° DE ARREGLOS:
F F CONECTOR LÓGICO PRINCIPAL:
TIPOS DE ESQUEMA:
MÉTODO DIRECTO Determinar la
veracidad o falsedad
de cada proposición
Dadas las proposiciones:
p: El concepto es una forma del pensamento.
q: El término es la expresión del juicio. Reemplazar los
valores de V-F
r: La proposición es la explicitación del razonamiento. debajo de cada
variable.
HALLAR EL VALOR DE VERDAD DE LOS ESQUEMAS:
P -q vr
Evaluar la V-F
siguiendo la regla
de conectores.
MÉTODO DIRECTO
Dadas las proposiciones:
• p: Em democracia el poder estatal está dividido.
• q: En democracia los gobernantes no respetan la constitución
• r: En democracia impera el respeto a la ley.
HALLAR EL VALOR DE VERDAD DE LOS ESQUEMAS:
(P v - q) r)
¿Para qué establecemos la verdad formal
de un esquema lógico?
¿Cómo establecemos la verdad formal?
¿Qué recomendaciones deberíamos
considerar al momento de operar con las
tablas de verdad?
¿A qué se denominan arreglos?,
¿cómo se establecen?
¿Cuántos arreglos tendrá la
tabla de verdad de una
proposición con cinco
variables?
Referencias Bibliográficas
Arredondo M. (2015). Lógica. Temas básicos.
México. Patria.
Lázaro C. (2013): Lógica y razonamiento lógico.
Bustamante A. (2009) Lógica y argumentación.
Colombia. Pearson.
Irving, C. (2007). Introducción a la lógica. México:
Limusa.
(2013). Lógica nociones y aplicaciones . México: Mc
Graw Hill.
