ÁLGEBRA

TEMA 1
LÓGICA

1.1 DEFINICIÓN DE LÓGICA.

La lógica es la disciplina que trata de los métodos, modos y formas de
razonamiento humano. Ofrece reglas y técnicas para determinar si un argumento
es válido o no.

1.2 HISTORIA DE LA LÓGICA.

En el siglo cuarto Aristóteles fue el primero en tratar de formalizar el
razonamiento humano para poder discernir en las discusiones filosóficas.
Aristóteles se puede considerar el fundador de la denominada lógica clásica.
Durante la Edad Media el proceso de sistematización de la lógica fue desarrollado
por los filósofos árabes y los escolásticos. En el siglo XIII Santo Tomás de Aquino
empleó la lógica en el contexto de las discusiones teológicas. Fue Leibniz, en el
siglo XVII, el primero a formular la lógica como base del razonamiento
matemático, pero sus estudios fueron abandonados hasta el siglo XIX, cuando
finalmente se fundó la lógica matemática como ciencia.

1.3 OBJETIVO DE LA LÓGICA.

La lógica tiene como objetivo interpretar, desarrollar razonamientos correctos y
distinguirlos de los incorrectos. Introduce símbolos y conectivos lógicos en la
construcción de proposiciones.

1.4 LÓGICA PROPOSICIONAL.

En la lógica proposicional se estudian las fórmulas proposicionales construidas a
partir de proposiciones declarativas simples y conectivos lógicos, como así
también circuitos lógicos, leyes lógicas y reglas de inferencia.

1.4.1 PROPOSICIÓN.
Es todo enunciado respecto del cual se puede decir si es verdadero o falso, pero
no ambos a la vez. Es decir, toda proposición está asociada a un valor de verdad
de la cual se puede decir si verdadera o falsa. Si una proposición es verdadera se
dice que su valor de verdad es V, y si es falsa se dice que su valor de verdad es F.

1
 ÁLGEBRA

Ejemplo:
p: “3+4=10” V (p)  F
q: “2 es múltiplo de 16” V (q)  V

1.4.2 NOTACIÓN Y CONECTIVOS LÓGICOS

Las proposiciones simples se acostumbra a denotar por letras minúsculas
p,q,r,s,t....etc. Partir de las proposiciones simples se pueden generar otras
proposiciones simples o compuestas, utilizando los conectivos lógicos.

Símbolo Operación Equivalente

~ Negación no
 Conjunción y
 Disyunción o
 Implicación si entonces
 Doble implicación si y solo si
 Disyunción exclusiva o excluyente

a) Negación. - La negación de la proposición “p” es la proposición “no p” que se

escribe ~ p, cuya tabla de verdad es:

p ~p Ejemplo: p: “Todos los estudiantes pasaran de curso”

~p: “No todos los estudiantes pasaran de curso”
V F
F V
q: “Dos es mayor que cuatro”
~q: “Dos no es mayor que cuatro”

b) Conjunción.- Se llama conjunción de dos proposiciones “p y q” a la proposición

que se obtiene uniéndolas por medio del conectivo “y”, se escribe “ p  q ” y se
lee “p y q”, su tabla de verdad es:

p q p^q Ejemplo: p: “cinco es mayor que tres”

q: “cinco divide a diez”
V V V p^q: “cinco es mayor que tres y divide a diez”
V F F
F V F r: “María trabaja”
F F F s: “María estudia”
r^s: “María trabaja y estudia”

2
 ÁLGEBRA

c) Disyunción.- Se llama disyunción de dos proposiciones “p y q” a la proposición

que se obtiene uniéndolas por medio del conectivo “o”, se escribe “ p  q ” y se
lee “p o q”, su tabla de verdad es:
Ejemplo: p: “Los estudiantes realizan sus tareas”
p q pvq q: “Los estudiantes van a fiestas”
V V V pvq: “Los estudiantes realizan sus tareas o van a fiestas”
V F V
F V V r: “2+4 es un número natural”
F F F s: “6 es múltiplo de 12”
rvs: “2+4 es un número natural ó 6 es múltiplo de 12”

d) Implicación o condicional.- Se llama implicación o condicional de dos

proposiciones p y q a la proposición que se obtiene uniéndolas por medio del
conectivo “ si entonces”, se escribe “ p  q ” y se lee “si p entonces q”, su tabla
de verdad es:

p q p →q Ejemplo: p: “Pedo se esfuerza”

V V V q: “Pedro tiene éxito”
p→q: “Si Pedro se esfuerza entonces tiene éxito”
V F F
F V V
r: “Los estudiantes aprueban los exámenes”
F F V
s: “Los estudiantes pasan de curso”
r→s: “Si los estudiantes aprueban los exámenes
entonces pasan de curso”

e) Doble implicación o bicondicional.- Se llama doble implicación o bicondicional

de dos proposiciones p y q a la proposición que se obtiene uniéndolas por
medio del conectivo “ si y solo si”, se escribe “ p  q ” y se lee “p si y solo si q”,
su tabla de verdad es:
p q p ↔q Ejemplo: p: “José aprueba la materia”
V V V q: “José obtiene una nota mayor igual a 51 puntos”
V F F p↔q: “José aprueba la materia sí y solo sí obtiene
F V F una nota mayor igual a 51 puntos”
F F V
r: “A María se le otorga una beca”
s: “María obtiene un promedio mayor a 90 puntos”
r↔s: “A María se le otorga una beca sí y solo sí
obtiene un promedio mayor a 90 puntos”

3
 ÁLGEBRA

f) Disyunción exclusiva.- Se llama disyunción exclusiva de dos proposiciones p y

q a la proposición que se obtiene uniéndolas por medio del conectivo “ o
excluyente”, se escribe “ pq ” y se lee “p o q en sentido excluyente”, así
también “o p o q”, su tabla de verdad es:

p q Ejemplo: p: “hace frio”

pvq
q: “hace calor”
V V F p v q: “O hace frio o hace calor”
V F V
F V V r: “ María estudia”
F F F s: “María tiene cortejo”
r v s: “O María estudia o María tiene cortejo”

1.4.3 FORMULA PROPOSICIONAL

Una formula proposicional es una combinación de proposiciones y conectivos
lógicos que simboliza a una proposición compuesta.

p  ~ q  r  (~ p  q)  ~ r

A las proposiciones que forman la formula proposicional se le puede asignar

valores de verdad para determinar el valor de verdad de la formula proposicional.

Ejemplo:
Determine los valores de verdad de las siguientes formulas proposicionales
sabiendo los valores de verdad de las proposiciones

1. Formula proposicional [𝒓 ↔ (𝒑 ∨ 𝒒)] ∧ (∼ 𝒑 →∼ 𝒓) Si   p   F ,   q   V y

 r   F
Solución
[𝑟 ↔ (𝑝 ∨ 𝑞)] ∧ (∼ 𝑝 →∼ 𝑟) Justificaciones
[𝐹 ↔ (𝐹 ∨ 𝑉)] ∧ (∼ 𝐹 →∼ 𝐹) Por Definición de Negación
[𝐹 ↔ (𝐹 ∨ 𝑉)] ∧ (𝑉 → 𝑉) Por Definición de Disyunción y Condiciona
[𝐹 ↔ (𝑉)] ∧ 𝑉 Por Definición Bicondicional
(𝐹 ∧ 𝑉) Por Definición de Conjunción
𝐹

4
 ÁLGEBRA

2. Formula proposicional: [ p  (~ p v q)]  q . Si   p   V y   q   F

Solución
[ p  (~ p v q)]  q Justificaciones
V    VvF    F Por Definición de Negación
V   FvF    F Por Definición de Disyunción

V  F   F Por Definición Condicional

F  F Por Definición Bicondicional
V

1.4.4 CLASIFICACIÓN DE LAS FÓRMULAS PROPOSICIONALES.

Las formulas proposicionales se pueden clasificar en tautología, antitautología y
contingencia.

a) Tautológica. - Es la formula proposicional que es verdadera para cualquier valor

de verdad de las proposiciones que la componen:
Ej: ( p  q)  p

p q (p  q) (p  q)  p
V V V V
V F F V
F V F V
F F F V

b) Antitautología. - Es la formula proposicional que es falsa para cualquier valor

de verdad de las proposiciones que la componen.

Ej:  p ~ q  ~ p  q

pq ~p ~q (p ~ q) (~ p  q)  p ~ q  ~ p  q
VV F F F V F
V F F V V F F
F V V F F V F
F F V V F V F

5
 ÁLGEBRA

c) Contingencia. - Es la formula proposicional que no es tautología ni anti

tautología si no toma valores de verdad verdadero y faso de las proposiciones
que la componen.

Ej: p  q  p
p q p  q  P
VV V V V F V
VF V F F V V
FV F F V F F
FF F F F F F

Ejemplo:
Determine el valor de verdad de las siguientes formulas proposicionales.

1) [(∼ 𝒑 ∨∼ 𝒒) ∧ (𝒑 →∼ 𝒒)] ∨∼ (∼ 𝒑 ↔ 𝒒)
2n = 2 2 = 4

A B X C Y
p q ~p ~q ~pν~q p→~q A^B ~p↔q ~C XνY
V V F F F F F F V V
V F F V V V V V F V
F V V F V V V V F V
F F V V V V V F V V
Es una TAUTOLOGÍA

2) (∼ 𝒑 ∨∼ 𝒓) ↔ [∼ (𝒑 ∧ 𝒒) ∨∼ 𝒓]
2n = 2 3 = 8
X A B Y
p q r ~p ~r ~pv~r p^q ~A Bv~r X↔Y
V V V F F F V F F V
V V F F V V V F V V
V F V F F F F V V F
V F F F V V F V V V
F V V V F V F V V V
F V F V V V F V V V
F F V V F V F V V V
F F F V V V F V V V

Es una CONTINGENCIA

6
 ÁLGEBRA

1.4.5 FÓRMULAS LÓGICAMENTE EQUIVALENTES. - Las formulas proposicionales son

lógicamente equivalentes cuando toman los mismos valores de verdad para las
mismas combinaciones de valores de verdad de las proposiciones que intervienen
en ambas fórmulas.
Ejemplo:
Determine el valor de verdad de las dos fórmulas proposicionales.

a) p   q  r 

P Q R 𝑝 (𝑞 ∨ 𝑟) 𝑝 ∧ (𝑞 ∨ 𝑟)
V V V V V V
V V F V V V
V F V V V V
V F F V F F
F V V F V F
F V F F V F
F F V F V F
F F F F F F

b) (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
P Q R 𝑝∧𝑞 𝑝∧𝑟 (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
V V V V V V
V V F V F V
V F V F V V
V F F F F F
F V V F F F
F V F F F F
F F V F F F
F F F F F F
𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝛼 𝛽

𝛼 𝐸𝑠 𝑙𝑜𝑔𝑖𝑐𝑎𝑚𝑒𝑛𝑡𝑒 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝑎 𝛽

7
 ÁLGEBRA

1.4.6 LEYES LÓGICAS

Las leyes lógicas son fórmulas proposicionales lógicamente equivalentes

1) Ley de ídem potencia 8) Doble implicación

p  p  p
 p  q   p  q  q  p
p  p  p
2) Ley conmutativa 9) Condición de negación
p  q  q  p  p  ~p  F
 
p  q  q  p  p  ~p  V
3) Ley asociativa 10) Elemento neutro
 p  (q  r )  ( p  q )  r  p V  p
 
 p  (q  r )  ( p  q )  r p F  p
4) Ley distributiva 11) Tautológica
 p  q  r    p  q    p  r  p V  V

 p  q  r    p  q    p  r 
5) Ley de doble negación 12) Antitautología
~ (~ p)  p pF  F
6) Ley de Morgan 13) Absorción
~ ( p  q )  (~ p  ~ q )  p  ( p  q)  p
 
~ ( p  q )  (~ p  ~ q )  p  ( p  q)  p
7) Ley de implicación
p  q ~ p  q

Ejemplo:
Simplificar las siguientes formulas proposicionales empleando leyes lógicas

1) [𝒒 ∧ (𝒒 →∼ 𝒑)] →∼ (𝒑 ∧ 𝒒) Definición Condicional

∼ [𝑞 ∧ (∼ 𝑞 ∨∼ 𝑝)] ∨∼ (𝑝 ∧ 𝑞) Morgan
[∼ 𝑞 ∨∼ (∼ 𝑞 ∨∼ 𝑝)] ∨∼ (𝑝 ∧ 𝑞) Doble Negación y Morgan
[∼ 𝑞 ∨ (𝑞 ∧ 𝑝)] ∨ (∼ 𝑝 ∨∼ 𝑞) Ley Distributiva
[(∼ 𝑞 ∨ 𝑞) ∧ (∼ 𝑞 ∨ 𝑝)] ∨ (∼ 𝑝 ∨∼ 𝑞) Condición de Negación
[𝑉 ∧ (∼ 𝑞 ∨ 𝑝)] ∨ (∼ 𝑝 ∨∼ 𝑞) Elemento Neutro
(∼ 𝑞 ∨ 𝑝) ∨ (∼ 𝑝 ∨∼ 𝑞) Ley asociativa
(∼ 𝑝 ∨ 𝑝) ∨ (∼ 𝑞 ∨∼ 𝑞) Condición de Negación
𝑉 ∨ (∼ 𝑞 ∨∼ 𝑞) Condición de Tautológica
𝑉

2) (𝒑 ↔ 𝒒) ∨ (𝒑 ∨ 𝒒)
(𝑝 ↔ 𝑞) ∨ (𝑝 ∨ 𝑞) Definición Bicondicional
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑝)] ∨ (𝑝 ∨ 𝑞) Definición de Implicación
[(∼ 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨ 𝑝)] ∨ (𝑝 ∨ 𝑞) Ley Distributiva

8
 ÁLGEBRA

[(∼ 𝑝 ∨ 𝑞) ∨ (𝑝 ∨ 𝑞)] ∧ [(∼ 𝑞 ∨ 𝑝) ∨ (𝑝 ∨ 𝑞)] Ley Asociativa

  p  p    q  q      q  q    p  p   Condición de Negación, idempotencia

V  q  V  p Tautología
V V Tautología
𝑉

3) [𝒑 → (𝒑 ∧ 𝒓)] ∧ [∼ 𝒑 → (𝒑 ∧ 𝒓)]
[𝑝 → (𝑝 ∧ 𝑟)] ∧ [∼ 𝑝 → (𝑝 ∧ 𝑟)] Condicional y Doble Negación
[∼ 𝑝 ∨ (𝑝 ∧ 𝑟)] ∧ [𝑝 ∨ (𝑝 ∧ 𝑟)] Ley Distributiva y Ley de Absorción
[(∼ 𝑝 ∨ 𝑝) ∧ (∼ 𝑝 ∨ 𝑟)] ∧ 𝑝 Condición de Negación
[𝑉 ∧ (∼ 𝑝 ∨ 𝑟)] ∧ 𝑝 Elemento Neutro
(∼ 𝑝 ∨ 𝑟) ∧ 𝑝 Ley Distributiva
(𝑝 ∧∼ 𝑝) ∨ (𝑝 ∧ 𝑟) Condición de Negación
𝐹 ∨ (𝑝 ∧ 𝑟) Elemento Neutro
(𝑝 ∧ 𝑟)

1.4.7 CIRCUITOS LÓGICOS.

Es una proposición que puede expresarse como un circuito lógico, representado
como un circuito eléctrico con interruptores, donde el valor de verdad de la
proposición esta dado según pase o no la corriente.

Ejemplo

1) pq
p q

p
2) pq
q

~p
3) p  q ~ p  q
q

p  q  p  q   q  p  ~p ~q
4)
p  q  ~ p  q   ~ q  p 
q p

9
 ÁLGEBRA

p q  ~  p  q  p ~q
5)
p q   p ~q    q  ~p 
q ~p

1.4.8 INFERENCIA LÓGICA

Se entiende por inferencia lógica a un razonamiento en el que a partir de un
conjunto de proposiciones llamadas premisas se obtiene un resultado llamado
conclusión.
A) REGLAS DE INFERENCIA LOGICA
Se llama reglas de inferencia a todo argumento universalmente correcto que
representa métodos generales de razonamiento.

 Modus poniendo ponens (MP)  Dilema destructivo (DD)

pq 𝑝→𝑞
𝑟→𝑡
p ∼ 𝑞 ∨∼ 𝑡
q ∼ 𝑝 ∨∼ 𝑟
 Modus Tollendo Tollens (MT)  Adición (A)
𝑝→𝑞 p
~𝑞
~𝑝 pq

 Silogismo disyuntivo (SD)  Simplificación (S)

𝑝∨𝑞 𝑝∨𝑞 pq pq
~𝑝 ~𝑞
p q
𝑞 𝑝
 Silogismo hipotético (SH)  Conjunción (C)
pq p
qr q
pq
pr
 Dilema constructivo (DC)
pq
r t
pr
qt

B) METODOS DE DEMOSTRACIÓN
Existen tres métodos para demostrar que son metodo directo, indirecto y
condicional

10
 ÁLGEBRA

a) Método directo Consiste en llegar donde nos piden demostrar

Demostrar 𝐷 ∧ 𝐺
1 𝐶∨𝐷
2 (𝐵 ∨ 𝐸) → 𝐹
3 𝐴∧𝐵
4 ∼𝐹∨𝐺
5 𝐶 → ~𝐴
6 𝐴 𝑆 3
7 𝐵 𝑆 3
8 ~𝐶 𝑀𝑇 5,6
9 𝐷 𝑆𝐷 1,8
10 𝐵∨𝐸 𝐴 7
11 𝐹 𝑀𝑃 2,10
12 𝐺 𝑆𝐷 4,11
13 𝐷∧𝐺 𝐶 9,12

b) Método indirecto. Consiste en llegar a una falsedad

Demostrar r
1 𝑝 ∨ (𝑞 ∧ 𝑟)
2 𝑝→𝑟
3 ~𝑟 RP
4 ~𝑝 𝑀𝑇 2,3
5 𝑞∧𝑟 𝑆𝐷 1,4
6 𝑟 𝑆5
7 ∼𝑟∧𝑟 𝐶 3,6
8 𝐹

c) Método condicional. Se parte del antecedente y se llega al consecuente

Demostrar 𝑝 → 𝑡
1 𝑝→𝑞
2 𝑞→𝑠
3 𝑡 ∨ (𝑟 ∧∼ 𝑠)
4 𝑝 𝑅𝑃
5 𝑞 𝑀𝑃 1,4
6 𝑠 𝑀𝑃 2,5
7 ∼𝑟∨𝑠 𝐴6
8 ∼ (𝑟 ∧∼ 𝑠) 𝑀
9 𝑡 𝑆𝐷 3,8
10 𝑝→𝑡 𝐷𝐶 4,9

11
 ÁLGEBRA

1.5. LÓGICA DE PREDICADOS

La lógica de predicados introduce nuevos elementos del lenguaje permite estudiar
la estructura interna de los enunciados, también permite dar una descripción de
la realidad más detallada introduciendo cuantificadores

1.5.1 ESQUEMA PROPOSICIONAL DE UNA VARIABLE

Un esquema proposicional es una expresión en la que aparece una letra,
generalmente designa por x, con la propiedad de que, si hay por lo menos un
nombre o constante, que al reemplazar la variable (x), convierte la expresión en
una proposición.

Los esquemas preposicionales se designan por las letras F, G, H, ... etc. De la

siguiente manera:

F  x  , G  y , H  z  .......
F x: “se lee F de x”

Ejemplos:
F x = “ x es trabajador”
Gx = “x es un número”
H x = “5+2=x”

F  x  =“x es un número impar”, es un EP ya si x=3, la expresión convierte en una

proposición que será F 3 = “3 es un número impar”

1.5.2 VALOR DE UN ESQUEMA PROPOSICIONAL EN UNA VARIABLE

El valor de verdad de un esquema proposicional en una variable F x para la
constante ´ a ´ es la expresión obtenida de F x reemplazando x por a ,
obtenemos F a que es una proposición, entonces V F a puede ser verdadero o
falso.

Ejemplo: Obtener la proposición a partir del esquema proposicional

F  x  ”x es un número impar”
Si x  5  F 5  “5 es un número impar”
V  F  5   V

12
 ÁLGEBRA

Ejemplo:
H  y  ” 3  y  8 ”
Si y  2  H 2  “ 3  2  8 ”
V F 2  V

1.5.3 ESQUEMA PROPOSICIONAL DE DOS VARIABLES

Se representa por F x, y , Gx, y , H x, y
F x, y : “se lee F de xy”

Ejemplos:
Gx, y =”x es múltiplo de y”
H x, y =”x es divisor de y”

1.5.4 VALOR DEL ESQUEMA PROPOSICIONAL DE DOS VARIABLES.

El valor de verdad del esquema proposicional en dos variables F  x, y  para las
constantes ' a ' y ' b ' es la expresión obtenida de F  x, y  reemplazando ‘ x ’ por ' a '
y ‘ y ’ por ' b ' , obtenemos F a, b que es una proposición, entonces V  F  a, b 
puede ser verdadero o falso

Ejemplo:
F  x, y  =” x es divisor de “ y ”
Si x  5 y y  20  F 5,20 =”5 es divisor de 20”
V  F 5, 20  V

1.5.5 CUANTIFICADORES
Los cuantificadores son símbolos que se utilizan en una proposición lógica para
indicar la cantidad de elementos de un conjunto. Los cuantificadores permiten la
construcción de proposiciones a partir de esquemas proposicionales.

a) Cuantificador existencial El cuantificador existencia se designa porque

asociado a una variable x indica que algunos o por los menos un elemento del
universo tiene el o los atributos enunciados en el esquema proposicional.

“ x ” se lee: “Existe por lo menos un elemento x”

“Algún x”
“Hay por lo menos un x”
“Para algún x”

13
 ÁLGEBRA

b) Cuantificador universal El cuantificador universal se designa porque asociado

a una variable x indica que todos los elementos del universo tienen el o los
atributos enunciados en el esquema proposicional.

“ x ” se lee: “Para todo x”

“Todo x “
“Cualquiera que sea x”
“Para cada x”
“Todos los x”

1.5.6 NEGACION DE LOS CUANTIFICADORES

~ x; Fx    x; ~ Fx 
~ x; Fx    x; ~ Fx 

Ejemplo: F x= ” x son estudiantes que pasan de curso”

a) x; Fx “Algunos estudiantes pasan de curso”
~ x; Fx   x; ~ Fx “Todos los estudiantes no pasan de curso”
b) x; Fx : “Todos los estudiantes pasan de curso”
~ x; Fx   x; ~ Fx “Algunos estudiantes no pasan de curso”

1.6 PROPOSICIONES CATEGÓRICAS Y NO CATEGÓRICAS

1.6.1 PROPOSICIONES CATEGÓRICAS:

Es una proposición que afirma o niega que todos o algunos de los miembros de
una categoría están incluidos en otra.

a) Universal afirmativa
Símbolo: “A”
Escritura: “Todo S es P”; (S=sujeto; P=predicado)
Fórmula: x,  F  x   G  x 

Ejemplo:
F  x  = “ x es un balón”
G  x  =“
x es un juguete”
F  x  G  x = “Si x es un balón, entonces es un juguete”
x,  F  x   G  x  = “Todos los balones son juguetes”

 
V x,  F  x  G  x  =V

14
 ÁLGEBRA

b) Universal negativa
Símbolo: “E”
Estructura: “Ningún S es P”
Fórmula: ∀𝑥, (𝐹 [𝑥 ] → ~𝐺 [𝑥 ])

Ejemplo:
F  x  =“ x es un balón”
G  x  =“ x es un juguete”
𝐹 [𝑥 ] → ~𝐺 [𝑥 ] =“Si x es un balón, entonces no es un juguete”
∀𝑥, (𝐹[𝑥 ] → ~𝐺 [𝑥 ])= “Ningún balón es un juguete”
𝑉 (∀𝑥, (𝐹 [𝑥 ] → ~𝐺 [𝑥 ])) = 𝐹

c) Particular afirmativa
Símbolo: “I”
Estructura: “Algún S es P”
Fórmula: x :  F  x   G  x 

Ejemplo:
F  x  = “ x es un balón”
G  x  =“ x es un juguete”
F  x  G  x =“x es un balón y un juguete”
x :  F  x   G  x  = “Algún balón es juguete”
V x :  F  x  G  x =V

d) Particular negativa
Símbolo: “O”
Estructura: “Algún S es no P”
Fórmula: ∃𝑥: (𝐹 [𝑥 ] ∧∼ 𝐺 [𝑥 ])

Ejemplo:
F  x  = “ x es un balón”
G  x  =“ x es un juguete”
𝐹 [𝑥 ] ∧ ~𝐺 [𝑥 ] = “x es un balón y no es un juguete”
∃𝑥: (𝐹 [𝑥 ] ∧∼ 𝐺 [𝑥 ]) =“Algún balón no es juguete”
𝑉 [∃𝑥: (𝐹 [𝑥 ] ∧∼ 𝐺 [𝑥 ])] =F

15
 ÁLGEBRA

Ejercicio
Sea F  x  = “ x es un buen estudiante” y G  x  =“ x aprueba la materia”, demuestre las
proposiciones categóricas: a) universal afirmativa, b) universal negativa, c)particular
afirmativa y d)particular negativa.

a) Universal afirmativa
F  x  = “ x es un buen estudiante”
G  x  =“
x aprueba la materia”
F  x  G  x = “Si x es un buen estudiante, entonces aprueba la materia”
x,  F  x   G  x  = “Todos los buenos estudiantes aprueba la materia”


V x,  F  x  G  x  =V 
b) Universal negativa
F  x  = “ x es un buen estudiante”
G  x  =“
x aprueba la materia”
(𝐹 [𝑥 ] → ~𝐺 [𝑥 ]) = “Si x es un buen estudiante, entonces no aprueba la materia”
∀𝑥, (𝐹 [𝑥 ] → ~𝐺 [𝑥 ])= “Ningún buen estudiante aprueba la materia”
𝑉 (∀𝑥, (𝐹 [𝑥 ] → ~𝐺 [𝑥 ])) = 𝐹

c) Particular afirmativa
F  x  = “ x es un buen estudiante”
G  x  =“ x aprueba la materia”
F  x  G  x = “ x es un buen estudiante y aprueba la materia”
x :  F  x   G  x  = “Algún buen estudiante aprueba la materia”
V x :  F  x  G  x =V

d) Particular negativa
F  x  = “ x es un buen estudiante”
G  x  =“
x aprueba la materia”
𝐹 [𝑥 ] ∧ ~𝐺 [𝑥 ] = “x es un buen estudiante y no aprueba la materia”
∃𝑥: (𝐹 [𝑥 ] ∧∼ 𝐺 [𝑥 ]) =“Algún buen estudiante no aprueba la materia”
𝑉 [∃𝑥: (𝐹 [𝑥 ] ∧∼ 𝐺 [𝑥 ])] =F

1.6.2 PROPOSICIONES NO CATEGÓRICAS

a) Proposiciones no categóricas generadas por más de dos esquemas
proposicionales

16
 ÁLGEBRA

Ejemplo:
P  x =“ x es un baile”
Q  x  =“ x es colombiano”
S  x =“ x es alegre”
x,  P  x   Q  x   S  x  = “todos los bailes colombianos son alegres”

Ejemplo:
P  x =“ x es una comida”
Q  x  =“ x es boliviana”
S  x =“ x deliciosa”
x,  P  x   Q  x   S  x  = “toda comida boliviana es deliciosa”

b) Proposiciones no categóricas con otros conectivos distintos de la negación,

conjunción y condicional.

Ejemplo:
P  x =“ x es un número real”
Q  x  =“ x es entero”
S  x =“ x fraccionario”
x,  P  x   Q  x   S  x  = “todos números reales son enteros o fraccionarios”

Ejercicios:
1) Demostrar que 5  5  8 Demostrar que 5  5  8
1) x  x  10  x   1) 5  5  10  5  5   2)
2) 5  5  10  5  3  10 2)    
3) 5  3  10 3) 5  3  10
4) 5  5  10 SD 2,3
5) 5  5   MP 1,4

2) Demostrar 8<10 Demostrar 8<10

1) x  x  9  9  10   x  10  1) 8  9  9  10   8  10
2) y  9   y  y  9 2) 9  8  8  9
3) 9<10 3) 9  10
4) -9<-8 4) -9<-8
5) (9  8  8  9)  (8  9)  9  8) DI, 2

17
 ÁLGEBRA

6) 9  8  8  9 S5
7) 8  9  9  8 S5
8) 8<9 MP 4,6
9) 8  9  9  10 C 3,8
10)8<10 MP 1,9

3) Demostrar el siguiente razonamiento

Todos los estudiantes de ingeniería son buenos lógicos.

Todos los buenos lógicos se harán ricos.
Juan estudia ingeniería.
Por tanto, Juan Será rico.

P  x ´x es un estudiante de ingenieria`

Q  x ´x es un buen lógico`
R  x ´x es rico`

Demostrar R(Juan) Demostrar R(Juan)

1) x : P  x   Q  x  1) P(Juan)  Q(Juan)
2) x : Q  x   R  x  2) Q( Juan)  R ( Juan )
3) P( Juan) 3) P( Juan)
4) Q( Juan) MP 1,3
5) R( Juan) MP 2,4

4) Demostrar el siguiente razonamiento:

Todas las hormigas son insectos

Todos los insectos son invertebrados
Por tanto, todas las hormigas son invertebrados

P  x  ´x es hormigas´
Q  x  ´x es in sec to´
R  x  ´x e s in vertebrado

18
 ÁLGEBRA

Demostrar x,( P  x  R  x) Demostrar x,( P  x  R  x)

1) x, ( P  x   Q  x ) 1) P  a   Q  a 
2) x, (Q  x   R  x ) 2) Q  a   R  a 
3) P  a   R  a 
4)x, ( P  x   R  x )

19