U N I V E R S I D A D D E G U A Y A Q U I L

F A C U L T A D D E I N G E N I E R Í A I N D U S T R I A L
P R E U N I V E R S I T A R I O I N V I E R N O 2 0 1 1
S I S T E M A S – L Ó G I C A M A T E M Á T I C A

LÓGICA MATEMÁTICA

(Apuntes)

1. Concepto.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un

nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no
valido un argumento dado. El razonamiento lógico se emplea en Matemáticas para
demostrar teoremas; en Computación para verificar si son o no correctos los
programas; en las Ciencias Física y Naturales, para sacar conclusiones de
experimentos; y en las Ciencias Sociales y en la vida cotidiana, para resolver una
multitud de problemas.

2. Lógica Formal. Lógica Simbólica.

La Lógica Formal hace referencia al lenguaje formal, el cual usamos en la vida

cotidiana. Por ejemplo Quito es la capital del Ecuador.

La Lógica Simbólica hace referencia al lenguaje simbólico, el cual hace uso de

símbolos específicos y ya definidos. Por ejemplo p q

3. Proposiciones. Definición (lenguaje formal o simbólico). Valor de Ve rdad

(Verdadera o Falsa). Estructura (Afirmativa o Negativa). Clase (Simple o
Compuesta).

Una proposición es una oración declarativa, a la cual le podemos asignar un valor

de verdad. Se las nombra con una letra minúscula tomada desde p de nuestro
alfabeto.

Ej.:
 p: El cielo es rojo.

Las siguientes expresiones son proposiciones debido a que podemos indicar sin
ninguna duda si son verdaderas o falsas (valor de verdad).

Ing. José Paredes Villalta 1

 U N I V E R S I D A D D E G U A Y A Q U I L
F A C U L T A D D E I N G E N I E R Í A I N D U S T R I A L
P R E U N I V E R S I T A R I O I N V I E R N O 2 0 1 1
S I S T E M A S – L Ó G I C A M A T E M Á T I C A

 3–2=1
 3 es un número par.
 La tierra es plana.
 Asia es un río.

No así las siguientes expresiones no son proposiciones debido a que no podríamos

dar un valor de verdad.

 Hola ¿cómo estás?

 Lava esta camisa por favor.
 ¿Quién ha llegado?
 Entre al aula.
 Baja a la sala.

Valor de verdad es la condición de VERDADERO o FALSO que se le puede dar a

una proposición.

Ejs.:
 p: El cielo es rojo. (F)
 q: . (V)

Estructura se refiere a la condición de ser AFIRMATIVA o NEGATIVA una

proposición.

Ejs.:
 p: El cielo no es rojo. (NEGATIVA)
 q: . (AFIRMATIVA)

Clase se refiere a si la proposición es SIMPLE o COMPUESTA.

Las proposiciones simples o ATÓMICAS son las que están compuestas por una
sola proposición. Mientras que las compuestas o MOLECULARES están
compuestas por 2 o más proposiciones.

Ejs.:
 r: La semana tiene 7 días. (SIMPLE O ATÓMICA)
 T: La semana tiene 7 días y la luna es un planeta. (COMPUESTA O
MOLECULAR).

Ing. José Paredes Villalta 2

 U N I V E R S I D A D D E G U A Y A Q U I L
F A C U L T A D D E I N G E N I E R Í A I N D U S T R I A L
P R E U N I V E R S I T A R I O I N V I E R N O 2 0 1 1
S I S T E M A S – L Ó G I C A M A T E M Á T I C A

Las proposiciones compuestas son nombradas con una letra mayúscula como se
observa en el segundo ejemplo expuesto anteriormente.

4. Ope radores Lógicos: Estructura formal a simbólica para Negación ,

Conjunción , Disyunción , Condicional (Implicación) , Bicondicional
(Doble Implicación) .

Símbolo Ope ración Significado

Negación “no”
 Conjunción “y”
Disyunción “o”
Condicional “si… entonces…”
Bicondicional “…si y sólo si…”

Negación

Si p es una proposición p es su negación. La forma enunciativa p, simboliza

enunciados de la forma:

“no p”
“no es cierto que p”
“es falso que p”

Conjunción

Operación lógica obtenida de la unión de proposiciones con el conector lógico .

La forma enunciativa , simboliza enunciados de la forma:

“p y q”
“p pero q”
“p no obstante q”
“p sin embargo q”

Disyunción

Operación lógica obtenida de la unión de proposiciones con el conector lógico .

La forma enunciativa , simboliza enunciados de la forma:

Ing. José Paredes Villalta 3

 U N I V E R S I D A D D E G U A Y A Q U I L
F A C U L T A D D E I N G E N I E R Í A I N D U S T R I A L
P R E U N I V E R S I T A R I O I N V I E R N O 2 0 1 1
S I S T E M A S – L Ó G I C A M A T E M Á T I C A

“p o q”
“Al menos p o q”

Condicional (Implicación)

Operación lógica obtenida de la unión de proposiciones con el conector lógico .

A la proposición de la izquierda se le denomina antecedente y a la de la derecha
consecuente. La forma enunciativa , simboliza enunciados de la forma:

“Si p entonces q”
“Si p, q”
“p implica q”
“p sólo si q”
“p solamente si q”
“p suficiente para q”
“q si p”
“q necesario para p”
“q siempre que p”
“No p a menos que q”

Bicondicional (Doble Implicación)

Operación lógica obtenida de la unión de proposiciones con el conector lógico .

La forma enunciativa , simboliza enunciados de la forma:

“p si y sólo si q”
“p necesario y suficiente para q”

5. Tablas de verdad para conectivos lógicos de proposiciones simples.

Negación
p p
1 0
0 1

Ing. José Paredes Villalta 4

 U N I V E R S I D A D D E G U A Y A Q U I L
F A C U L T A D D E I N G E N I E R Í A I N D U S T R I A L
P R E U N I V E R S I T A R I O I N V I E R N O 2 0 1 1
S I S T E M A S – L Ó G I C A M A T E M Á T I C A

Conjunción
p q
1 1 1
0 1 0
1 0 0
0 0 0

Disyunción
p q
1 1 1
0 1 1
1 0 1
0 0 0

Condicional
p q
1 1 1
0 1 1
1 0 0
0 0 1

Bicondicional
p q
1 1 1
0 1 0
1 0 0
0 0 1

Ing. José Paredes Villalta 5