UNIDAD V: LOGICA SIMBOLICA

OBJETIVO:
CONTENIDO:
Utilizar el lenguaje 1. El Lenguaje
simbólico de la lógica
Simbólico
proposicional.
2. Tablas de Verdad
Conocer las tablas de
verdad para
comprobar la verdad
o falsedad de las
proposiciones.

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 1
 El Lenguaje Simbólico de la Lógica
Proposicional
Características fundamentales: la
sencillez, la claridad y la exactitud.
El lenguaje simbólico es universal,
unívoco (un mismo significado)
Ejemplo de lenguaje simbólico:
F = ma
Na Cl
H2 O
LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 2
 Reglas para construir el lenguaje
simbólico

1. Las proposiciones simples se

simbolizan con letras minúsculas: p,
q, r, s, t
Ejemplo:
El agua hierve a 60 º C, se puede
simbolizar por “p”

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 3
 2. Los conectivos lógicos se simbolizan de
la siguiente manera:
Nombre del Términos de Símbolos
Conectivo Expresión
Negación “No”, “No es cierto que” ~, -
Conjunción “y”, “pero”, “aunque” ,., 
Disyunción Inclusiva “o”

Disyunción Exclusiva “y/o”, “o…..o” 
Condicional “Si…..entonces”
 , 
Bicondicional “Si y solo si”  , 
LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 4
 Ejemplos de Simbolización

a) No es cierto que Caracas es la capital de

Perú. Se simboliza así: ~ p
 

b) Si la vaca de leche, entonces tendremos

leche. Se simboliza así: p  q
c) La silla es plástica y la mesa es de madera. Se
simboliza así: p  q

d) Jaragua es una novela o una clase de zacate. Se
simboliza así: p  q

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 5
 Usos de proposiciones y conectivos.
Reglas:
1. Para cada proposición simple usar una
letra
2. El símbolo de la negación se escribe
siempre a la izquierda de una proposición
simple o compuesta, ejemplo: ~ p , ~ ( p
q) 
3. Los símbolos de los conectivos se
escriben siempre entre las letras o
proposiciones, ejemplo: p  q

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 6
 Agrupación de proposiciones
Se utilizan: paréntesis, corchetes y
llaves
Ejemplos:
a) p  q
b) [ ( p  q)  p]
c) { [ ( p  q ) p ]  q }

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 7
 Los signos de puntuación del lenguaje
natural nos orientan que signos de
agrupación son los adecuados para
emplear, así:

a) La “,” indica que debemos usar ( )

b) El “;” indica que debemos usar [ ]
c) El “.” indica que debemos usar { }

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 8
 TABLAS DE VERDAD

Son gráficas, mediante las cuales es

posible visualizar las diversas
combinaciones de valores de verdad
que se les da a las proposiciones, y
así poder saber si dichos enunciados
son tautológicos, contradictorios o
contingentes.

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 9
 TABLAS DE VERDAD DE LOS
DIVERSOS CONECTIVOS

TABLA DE VERDAD TABLA DE VERDAD DE LA

DE LA NEGACION CONJUNCION

p ~p p q p q
V V V
V F
V F F
F V F V F
F F F

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 10
 TABLA DE VERDAD DE LA TABLA DE VERDAD DE LA
DISYUNCION EXCLUSIVA DISYUNCION INCLUSIVA

p q p q p q p q

V V F V V V
V F V V F V
F V V F V V

F F F F F F

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 11
 TABLA DE VERDAD DE LA TABLA DE VERDAD DE LA
CONDICIONAL BICONDICIONAL

p q p q p q p q

V V V V V V

V F F V F F
F V V F V F
F F V F F V

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 12
 GRACIAS
POR SU
ATENCIÓN

LÓGICA MATEMÁTICA
08/03/22 PROF: CRISTELA FUENTES 13