1

UNIVERSIDAD “RÓMULO GALLEGOS”

ÁREA DE SISTEMAS
CATEDRA: LÓGICA MATEMÁTICA
PROF. ROSNNA ROJAS R.
SEMESTRE N° I

VALORES DE CERTEZA

Cada proposición tiene un valor de certeza, estos son: V= Verdadero o Cierto y F= Falso.

El valor de certeza de una proposición cierta es (V) y de una proposición falsa es (F).

Cada proposición atómica o molecular tiene uno de estos dos valores de certeza posibles.

Si se conocen los valores de certeza de las proposiciones atómicas componentes de una

proposición molecular, entonces conoceremos el valor de la proposición molecular; ya que los
términos de enlaces son conocidos como “términos de enlaces de certeza funcional”.

En este sentido, los valores de certeza de las proposiciones moleculares, dependen de los
valores de certeza de las proporciones atómicas, componentes y términos de enlaces que las
unen.

A.- Conjunción: La Conjunción de dos proposiciones es cierta o verdadera si y solo si ambas

son verdaderas.
Entonces:

p q pΛq
v v v
v f f
f v f
f f f

Comprobación:
1.- a= San Juan de los Morros está en Guárico.
b= Barbacoas pertenece al Estado Aragua.
p = Verdadero (V) p Λ q = (V)
q = Verdadero (V)
2.- Dos es un número par y tres es un número par.
p = Dos es un número par. (V) p Λ q = (F)
q = Tres es un número par. (F)
3.- Caracas es un Estado y Maracay es una Ciudad.
p = Caracas es un Estado. (F) p Λ q = (F)
q = Maracay es una Ciudad. (V)
4.- Venezuela es un Continente y Asia es un país.
p = Venezuela es un Continente. (F)
q = Asia es un país. (F) p Λ q = (F)

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 2

B.- Negación: La negación de una proposición cierta es falsa y la negación de una

proposición falsa es cierta.
Entonces:

p ¬p
v f
f v

Comprobación:
1. p = Ingeniería de informática en la UNERG son 10 semestres. (V)
p = Ingeniería de informática en la UNERG no son 10 semestre. (F)
- No es cierto que … (F)
- Es Falso que ... (F)
- No es el Caso que… (F)
- No ocurre que … (F)

2.- p = La decano de Área de Sistemas se Llama María (F)

p = La decano de Área de Sistemas no se llama María (V)
- No es cierto que… (V)
- Es Falso que … (V)
- No es el caso que … (V)
- No ocurre que … (V)

C.- Disyunción: La Disyunción de dos proposiciones de cierta si y solo si por lo menos una de
las dos proposiciones es verdadera.
Entonces:

p q pvq
v v v
v f v
f v v
f f f

Comprobación:
1.- O los Morros son un monumento natural o son unas montañas.
p = los Morros son un monumento natural. (V)
q = son unas montañas. (V) pvq=V

2.- El Ávila es una montaña o un lago.

p = El Ávila es una montaña. (V)
q = Es un lago. (F) pvq=V

3.- Casa en inglés es pants y azul es blue.

p = Casa en inglés es pants. (F)
q = Azul en inglés es blue. (V) p vq=V

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 3

4.- Amarillo es orange o amarillo es red.

p = Amarillo es orange. (F)
q = Amarillo es red. (F)

D.- Condicional: La proposición condicional será falsa si el antecedente es cierto y el

consecuente es falso, en los demás casos la condicional es verdadera.
Entonces:

p q p→q
v v v
v f f
f v v
f f v

Comprobación:

Si es de noche, entonces sale la luna.

Caso N°1:
 p = es de noche. (V)
 q = sale la luna. (V) p → q = V (si es de noche, entonces sale la luna)

Caso N° 2:
 p = es de noche. (V)
 q = no sale la luna. (F) p → q = f (si es de noche, entonces no sale la luna)

Caso N° 3:
 p = no es de noche (F)
 q = sale la luna (V) p → q = f (si no es de noche, entonces sale la luna)

Caso N° 4:
 p = no es de noche (F)
 q = no sale la luna (F) p→q = V (si no es de noche, entonces no sale la luna)

Nota: En la lógica el contenido del antecedente no necesita estar relacionado con el

contenido del consecuente. En este sentido, si el antecedente es falso, entonces el
resultado siempre será verdadero, sin importar el valor de verdad del consecuente.

E.- Bicondicional: Las proposiciones bicondicionales se consideran también

equivalencias, la cual será cierta si y solo si sus dos miembros sean ambos ciertos o
ambos falsos.
Entonces:
p q p↔q
v v v
v f f
f v f
f f v
Es decir; p ↔ q = p → q Λ q→p

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 4

Comprobación:

María estudia ingeniería en informática si y solo si ella está inscrita en el Área de

Sistemas.
Caso 1:
 p = María estudia Ingeniería de Informática. (V)
 q = Ella está inscrita en el Área de Sistemas. (V)
p↔q = v (María estudia Ingeniería en Informática si y solo si ella está inscrita en el Área
de Sistemas)

Caso 2:
 p = María estudia Ingeniería de Informática. (V)
 q = Ella no está inscrita en el Área de Sistemas (F)
p ↔ q = f (María estudia ingeniería en informática si y solo si ella está inscrita en el
Área de Sistemas).

Caso 3:
 p = María no estudia Ingeniería de Informática. (F)
 q = Ella estas Inscrita en el Área de Sistemas. (V)
p ↔ q = f (María no estudia Ingeniería de Informática si y solo si ella está inscrita en
el Área de Sistemas)

Caso 4:
 p = María no estudia Ingeniería de Informática. (F)
 q = Ella no está Inscrita en el Área de Sistemas. (F)
p ↔ q = v (María no estudia Ingeniería de Informática si y solo si ella no está Inscrita
en el Área de Sistemas)

TABLAS DE LA VERDAD

Es un esquema que muestra cómo, los valores de verdad de proposiciones moleculares

dependen de los valores de verdad de las proposiciones atómicas que la componen y de los
conectivos lógicos empleados.

Estas tablas básicas de verdad indican rápidamente si una proporción molecular es cierta o
falsa si se conoce la veracidad o falsedad de las proposiciones atómicas que la componen.

Partes de la Tabla de Verdad:

Se divide en Dos Partes:

Parte Izquierda: Se denomina Margen, se colocan los valores de verdad de las variables
proposicionales necesarias.
Parte Derecha: Se llama Cuerpo, se forman las estructuras o formulas parciales hasta llegar
a la estructura completa o final.

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 5

p q p↔q
v v v
v f f
f v f
f f v

Margen Cuerpo

Forma de Construcción:
1. Colocar las combinaciones de valores de verdad de bajo de cada variable: El Número
de esas combinaciones depende del número de las proposiciones atómicas que
componen una proposición molecular, es decir, el número de proposiciones atómicas
determinan el número total de combinaciones de valores de verdad que aparecerán en
la tabla.
La fórmula para el cálculo es: 2n
dónde: 2 = representa los valores de certeza (V o F)
n = número de proposiciones atómicas a estudiar.
2. Transformar los valores de verdad tomando en cuenta la negación (si los hay).
3. Se calcula primero el valor de verdad de los paréntesis tomando en cuenta las
definiciones del conectivo lógico.
4. Se compara el resultado del valor de verdad del paréntesis con el valor de verdad del
corchete (si los hay).
5. Se compara el resultado de ese valor de verdad del corchete con el de las llaves (si las
hay).

Ejemplo:

{ [ ( p → q ) ν ( ¬r ) ] Λ ( ¬s ) } ↔ ¬( p → q )

Variables: 1.- p 2.- q 3.- r 4.- s El ejercicio tiene 4 variables

Paso N° 1: 24 = 2x2x2x2 = 16 posibles combinaciones

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 6

Construcción de la Tabla de la Verdad de la formula proposicional:

PASO 1 PASO 2 PASO 3 PASO 4 PASO 5

p q r s ¬r ¬s ¬(p→q) (p→q) [(p→q)v(¬r)] {[(p→q)v(¬r) ]λ(¬s)} {[(p→q) v (¬r) ]λ(¬s)}↔¬(p→q)
1 v v v v f f v f v f v
2 v v v f f v v f v v f
3 v v f v v f v f v f v
4 v v f f v v v f v v f
5 v f v v f f f v f f f
6 v f v f f v f v f f f
7 v f f v v f f v v f f
8 v f f f v v f v v v v
9 f v v v f f v f v f v
10 f v v f f v v f v v f
11 f v f v v f v f v f v
12 f v f f v v v f v v f
13 f f v v f f v f v f v
14 f f v f f v v f v v f
15 f f f v v f v f v f v
16 f f f f v v v f v v f
MARGEN CUERPO

TAUTOLOGIA

Una composición molecular es una tautología solo si el resultado de la columna final,

independientemente de los valores de certeza de sus proposiciones atómicas que la
componen, es siempre verdadero.

Ejemplo:

1. p v ( ¬p ) 2. ( p Λ q ) ν [ p→( ¬q ) ]

p p p v (¬p) p q ¬q (p Λ q) [ p → (¬q)] (p Λ q) v [ p→( ¬q )]

v f v v v f v f v
f v v v f v f v v
f v f f v v
f f v f v v

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.

 7

IMPLICACIÓN TAUTOLOGICA
Una proposición “p” se dice que implica tautológicamente una proposición “q” si y solo si la
condicional p → q es una tautología.

Así una implicación tautológica es una tautología cuya forma es una proposición condicional.

De esta forma, si una condicional es tautológica, se llama implicación y se simboliza por.

Ejemplo: ( p v q ) → (¬q → p)

p q ¬q ( p v q ) ( ¬q → p) ( p v q ) → ( ¬q → p)
v v f v v v
v f v v v v
f v f v v v
f f v f f v

Como el resultado es una tautología y la forma es un condicional, la fórmula es una aplicación

tautológica y se puede escribir:

(p v q ) ⇒ (¬q → p)

EQUIVALENCIA TAUTOLÓGICA

Cuando una proposición bicondicional (p → q) es una tautología se denomina equivalencia

tautológica y se escribe ( p ⇔ q ) y se lee “ p es lógicamente equivalente a q”

Ejemplo: ( p → q ) ↔ ¬[ p Λ ( ¬q ) ]

p q ¬q ( p → q ) [ p λ ( ¬q ) ] ¬[ p λ ( q ) ] (p → q) ↔ ¬[p λ ( ¬q ) ]
v v f v f v v
v f v f v f v
f v f v f v v
f f v v f v v

Entonces como el resultado es una tautología, se convierte en una equivalencia lógica y se

escribe:

( p → q ) ⇔ ¬[ p Λ ( ¬q ) ]
Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.
 8

CONTRADICCIÓN

Una fórmula proposicionales una contradicción, sí y solo sí ella es siempre falsa, no importa
cuáles sean los valores de verdad de sus componentes.

Al negar una tautología se obtiene una contradicción y viceversa.

Ejemplo: ¬[ p → ( q → p ) ]

p q (q → p) p → ( q → p) ¬[ p → ( q → p ) ]
v v v v f
v f v v f
f v f v f
f f v v f

CONTINGENCIA O INDETERMINACIÓN

Una formula proposicional es una indeterminación, si y solo si, ella es siempre falsa en algunos
casos y verdadera en otros, no importa cuáles sean los valores de verdad de sus
componentes, ni en qué proporción.

Ejemplo: ( p → q ) Λ ( q v p )

p q p→q qvp (p→q)λ(qvp)

v v v v v
v f f v f
f v v v v
f f v f f

EJERCICIOS
1.- Diga si las formulas porposicionales presentadas a continuación, son tautológicas,
contradicciones o indeterminaciones.
a). ( a v b ) Λ (a → c ) b). r Λ ¬( p → q )
c). (p v q ) v ( ¬p ) d). ¬[ a → ( a → c ) ]
2.- Determinar cuáles de las siguientes proposiciones son implicaciones o
equivalencias lógicas.
a). p → ( p v ¬p ) b). p → [ q → ( q → p ) ]
c.) [ (p Λ q) → r ] ↔ [ p → (p → r) ] d). (p → q) ↔ (¬q → p)
3.- Simbolizar las siguientes proposiciones y construir sus derivadas o formas
condicionales
a) Si a y b son números impares, entonces a y b es un número par.
b) Si n es divisible por 3, entonces n es divisible por 9
c) Si su ahorro neto es positivo y aumenta su activo, entonces sus gastos menores.

Lógica Matemática. | Elaborado por. Prof. Rosanna Rojas R.