UNIVERSIDAD PRIVADA ANTENOR ORREGO

DEPARTAMENTO ACADEMICO DE HUMANIDADES

UPAO
 LÓGICA

SESION 11:
VERDAD FORMAL

https://issuu.com/sucettgarcia/docs/revista_digital_de_l_gica_matem_tic
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

COP21: 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 1: Opción 2: Opción 3: Opción 4:

V-V V-F F-V F-F

“El coronavirus se creo en China y se propago por todo el

mundo”
¿Afecta el conector lógico al determinar la
veracidad o falsedad de una proposición
compuesta?

Opción 1: Opción 2: Opción 3: Opción 4:

V-V V-F F-V F-F

“El coronavirus se creo en China salvo que únicamente

sea contagiado por un murciélago”
DIALOGUE
MOS ¿Cuál es la
¿Cómo se establece necesidad de
la verdad de un determinar la
esquema veracidad o
proposicional? falsedad de un
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.
 Tercio excluido
si una alternativa
A es B o es falsa, la otra
Todo tiene que ser
es verdadera. No
o no ser A no es B caben otra
posibilidad.
 MÉTODOS PARA ESTABLECER LA VERDAD FORMAL

Tabla semántica Método Método de

o tabla de verdad directo Post

https://www.sanmateo.edu.co/docu
mentos/publicacion-desarrollo-pens
amiento-logico.pdf
LAS TABLAS DE VERDAD
 Wittgenstein (1889- 1951); filósofo Vienés inventó el
método de “las tablas de verdad”
 PROCEDIMIENTO:
Evaluar la
Jerarquizar fórmula de
Ubicar la la fórmula, Determina acuerdo a las
fórmula en es decir r el reglas de las
funciones
el lugar determina número de veritativas,
correspon r que arreglos procediendo
desde las
diente en funciones mediante estructuras de
la tabla de deben la fórmula menor jerarquía
verdad resolverse respectiva. hasta la de
mayor
primero. jerarquía.
FUNCIONES
VERITATIVAS
REGLAS DE VERDAD FORMAL:
p , q p  q p  q p  q p  p  q pq
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 pq 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

conjuntivo biimplicativo

Implicativo,
inalternativo
etc.
TIPOS DE ESQUEMA: TAUTOLOGÍAS
TIPOS DE ESQUEMA: CONTRADICTORIOS
TIPOS DE ESQUEMA: CONTINGENTES
 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: 2
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: 2
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 uma forma del pensamento.
q: El término es la expresión del juicio. Reemplazar los valores
r: La proposición es la explicitación del razonamiento. de V-F 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: La educación inicial peruana es inclusiva.
q: La educación inicial peruana comprende el I y II ciclo de la educación
básica.
r: Aprender a leer y escribir es el objetivo central de la educación inicial.
 
HALLAR EL VALOR DE VERDAD DE LOS ESQUEMAS:

(P v - q)  r)
RESUMIE
NDO:
¿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?
RESUMIE
NDO:
¿A qué se denominan arreglos?, ¿cómo se
establecen?

¿Cuántos arreglos tendrá la tabla de verdad de una

proposición con cinco variables?--
DESARROLLAMOS
EL LABORATORIO

PLANIFICAMOS LA
TSA 3
 MÉTODO DE POST

MÉTODO DE POST

“Procedimiento de reducción al absurdo" porque se trata de calcular

el valor de falso de todo el algoritmo analizado. Para ello
ajustaremos los valores de cada variable conforme a las leyes de los
signos y si éstos encajan exactamente, sabremos entonces que por
lo menos existe un valor falso en la matriz principal del algoritmo y,
por tanto, ésta no podrá ser tautológica, siendo, por el contrario,
contradictoria o consistente. En consecuencia, el algoritmo
representará una inferencia inválida.
 La variable A, asume valores de V
y F.

[ ( - A  - B) ∧ B ]  A
F V F
V
V
V F

SI LOS VALORES DE LAS VARIABLEES SE CONTRADICEN, EL ARGUMENTO ES VALIDO.

SI LOS VALORES DE LAS VARIABLES NO SE CONTRADICEN, EL ARGUMENTO ES
INVALIDO.
REOLVEM
OS:
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.