Programa de Estudios Básicos

Lógica y Filosofía
UNIDAD 2. LÓGICA PROPOSICIONAL Y VALIDEZ
Noción de cálculo

2023 - II
Profesores del curso
Elaborado por Julio C. Zegarra Valdivia.
SEMANA 6
CONTENIDO

• Noción de cálculo
• Sintaxis: Símbolos primitivos,
reglas de formación y formulas
bien formadas (fbfs) de Lógica
Proposicional.
• Verdad y Validez
• Funciones de verdad
• Método decisorio: Diagramas
semánticos

Logros de Aprendizaje:
a)Comprende la naturaleza de la lógica
proposicional, reconociendo
elementos de su cálculo de la Lógica
del Primer Orden.
b)Maneja y decide sobre fórmulas
mediante los métodos decisorios.

2
PRIMERA
SESIÓN
Noción de cálculo
  Un razonamiento
correcto, ya sea en
matemática, física o en
LÓGICA
PROPOSICIONAL
la conversación casual.
Y VALIDEZ es válido en virtud de
NOCIONES
su forma lógica.
BÁSICAS

P. SUPPES

4
2.1. EL LENGUAJE DE LA
LÓGICA PROPOSICIONAL (LP)

Llamaremos (LP) a un conjunto de

signos admitidos
convencionalmente sin definición.

5
.
Símbolos primitivos del sistema de L. P.

Operadores
Variables
 p,
 , 
 q,
,
 r, ..., etc. ,
,
 Siempre deben ir con
letras minúsculas 
6
Símbolos auxiliares:

 (,),

 [,],

 {,},

 Los llamados puntos auxiliares "•"

7
 REGLAS DE FORMACIÓN
• Determinan las posibles combinaciones correctas
de los símbolos primitivos.

• Permiten construir fórmulas bien formadas (fbf) del

sistema.

8
1.- Cada variable proposicional por sí sola
es una fbf.

2.- Si A es una (fbf), entonces ~ (A) es

una (fbf)

9
3) Si A y B son fbfs, entonces
 (A  B)
 (A v B)
 (A  B)
 (A  B) son fbfs

4) Ninguna otra fórmula es una fbf en LP

10
 FUNCIONES
VERITATIVAS
• Son interpretaciones semánticas de las
posibilidades de verdad o falsedad de las
proposiciones en base a sus conectivas.

11
SEGUNDA SESIÓN
DIAGRAMAS SEMÁNTICOS
 LOS DIAGRAMAS
SEMÁNTICOS
• Es un método decisorio, que nos permite evaluar
fórmulas (decidir sobre ellas).

• Si estas fórmulas son:

• Tautológicas,
• Contradictorias
• Contingentes.

13
FUNCIONES DE VERDAD,
REGLAS SEMÁNTICAS
PARA OPERAR CON
DIAGRAMAS.
Material didáctico Páginas
26 -27

14
 Pasos para operar con diagramas
semánticos

• En primer lugar, ubicar y reconocer el

operador principal para elegir luego la
hipótesis.

• [ p  (q  r )   p  r]

15
• F [ p  (q  r )   p  r] 1
• V[ p( qr)] 3
• F[pr] 2 El diagrama
• F[ p ] semántico
• F [ r ] es válido.

•V[p] V [ q  r] 4

V[ q ]
V [ r ]

16
 BIBLIOGRAFÍA

ROSALES, Diógenes. (1998) Introducción a la lógica. Lima: Monterrico.

__________________ (2020) La Argumentación, Lógica del pensamiento Natural.

TRELLES, O. ROSALES, D. (2002) Introducción a la lógica. Lima: Fondo Editorial PUCP.