UNIVERSIDAD CENTRAL DEL ECUADOR

CURSO DE NIVELACIÓN DE CARRERA

Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
Lógica Matemática
1. Definiciones Básicas
La Lógica estudia la forma del razonamiento. 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, sin embargo, se usa en forma
constante para realizar cualquier actividad en la vida.
2. Proposiciones
DEFINICIÓN Y CLASES DE PROPOSICIONES
Una proposición o enunciado es una oración que puede ser falso o verdadero pero no
ambas a la vez. Toda proposición consta de tres partes: un sujeto, un verbo y un
complemento referido al verbo. La proposición es un elemento fundamental de la Lógica
Matemática. A continuación se tienen algunos ejemplos de proposiciones válidas y no
válidas, y se explica por qué algunos enunciados no son proposiciones. Las proposiciones
se indican por medio de una letra minúscula, dos puntos y la proposición propiamente
dicha. Ejemplos.
p: México se encuentra en Europa.
q: 15-6 = 9
r: 2x -3 > 7
s: Los precios de los teléfonos celulares bajarán a fin de año.
Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son
proposiciones válidas. El inciso r también es una proposición valida, aunque el valor de
falso o verdadero depende del valor asignado a la variable x en determinado momento.
La proposición del inciso s también está perfectamente expresada aunque para decir si es
falsa o verdadera se tendría que esperar a que terminara el año. Sin embargo, los
enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero,
uno de ellos es un saludo y el otro es una orden.
En general, las proposiciones pueden ser:
Simples si sólo tienen un sujeto, un verbo y un complemento. En caso contrario, son
proposiciones
Compuestas.
Cerradas si tienen determinado el sujeto. Abiertas si no lo tienen determinado.
Afirmativas o Negativas. Según lo afirmen o nieguen.
Verdaderas o Falsas según correspondan o no a la realidad.
Ejemplos.
h: "Ana come pizza y bebe refresco", es una proposición compuesta, cerrada y afirmativa.
j: "Ella no nada muy rápido", es una proposición simple, abierta y negativa.
k: “Cuernavaca no está al norte del D.F. y no hace frío", es una proposición compuesta,
cerrada, negativa y verdadera.
l: 7 + 3 =10 es una proposición simple, cerrada, afirmativa y verdadera.
m: 2 2 x ¹ x - es una proposición simple, abierta y negativa.
n: a + b = 6 es una proposición compuesta, abierta y afirmativa.

3. Operadores Lógicos
Una proposición, o una declaración, es cualquier enunciado declarativo que sea
verdadero (V) o falso (F). Nos referimos a V o F como el valor de verdad de la declaración.
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
Negación
La negación de p es la proposición ~p, que se lee "no p. "Su valor de verdad se define por
la siguiente tabla de verdad.
p ~p
V F
F V

Lo que queremos decir con esto es que, si p es verdadera, entonces ~p es falsa, y

viceversa. Podemos demostrar esto en la forma de una tabla de verdad:
El símbolo de la negación "~" es un ejemplo de operador unario lógico (el término
"unario" indica que el operador actúa en una única proposición).
Ejemplo:
Exprese las negaciones de las siguientes proposiciones.
(a) p: "2+2 = 4"
(b) q: "1 = 0"

Solución

(a) ~p es la proposición "no es cierto que 2+2 = 4," o más sencillamente,

~p: "2+2 4."

(b) ~q: "1 0."

Conjunción
La conjunción de p y q es la declaración p q, que se lee "p y q". Su valor de verdad se
define por el texto de la siguiente tabla de verdad.

p q p q
V V V
V F F
F V F
F F F

En las columnas p y q se enumeran las cuatro posibles combinaciones de valores de

verdad para p y q, y en la columna de p q se encuentra el valor de verdad asociada por p
q. Por ejemplo, las entradas de la tercera fila nos dicen que, si p es falsa y q es
verdadera, entonces p q es falsa. De hecho, la única manera de obtener una V en la
columna de p q es que sean verdaderas p y q, como se indica en la tabla de verdad.
El símbolo de conjugación " " es un ejemplo de un operador lógico binario (la palabra
"binario" indica que el operador actúe en un par de proposiciones).
Disyunción
La disyunción de p y q es la declaración p q, que se lee "p o q". Su valor de verdad se
define por la siguiente tabla de verdad.
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
p q p q
V V V
V F V
F V V
F F F

Este es el inclusivo o, por lo que p q es verdadera q cuando p es verdadera o es verdadera

q o las dos son verdaderas.
Observe que la única manera para ser falsa toda la declaración es por lo tanto p y q son
falsas. Por esta razón podemos decir que p q también significa "p y q que no todos son
falsas". Vamos a decir más sobre esto en la próxima sección.
El símbolo de disyunción " " es nuestro segundo ejemplo de un operador lógico binario.

Disyunción exclusiva
O una o la otra (NUNCA ambas juntas)
Palabras conectivas:
O ......... o .....
O bien .... o bien
.... a menos que ....
.... salvo que ......
Condición: es V cuando uno es V y el otro es F.

LA CONDICIONAL
Viene a ser la combinación de dos proposiciones con “si… entonces”.
Se lee si p entonces q.
REGLA.- Una proposición condicional es falsa cuando la primera
proposición es verdadera y la segunda es falsa. Es verdadera en
cualquiera de las otras formas

LA BICONDICIONAL
Es la unión de dos proposiciones por “sí y sólo si”. Se lee p si y sólo si
q.
REGLA.- Una proposición bicondicional es verdadera cuando, o sus
dos componentes son verdaderos o sus dos componentes son falsos.
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115

NEGACION CONJUNTA
Simbolizaciones equivalentes:
Palabras conectivas:
Ni.... ni.....
No.... ni.....
Condición: es V si sólo ambas proposiciones son F.
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115

Definición:

Es una expresión lógica que resulta verdadera para cualquier interpretación; es decir, para
cualquier asignación de valores de verdad. La construcción de una tabla de verdad es un
método efectivo para determinar si una expresión cualquiera es una tautología o no.
Por ejemplo:

Definición:

Una proposición es una contradicción, si es falsa para todos sus valores de verdad .
Por ejemplo:

Definición:
Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de
los valores de verdad de las proposiciones simples que la componen.
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
Por ejemplo:

Proposición Reciproca

• Sea p y q proposiciones simples su reciproca se representan como:

• pq  qp
• Ejemplo:
• Juan es buen estudiante entonces saco 10 en el examen.
• Saco 10 en el examen entonces Juan es buen estudiante.

Proposición Contra Reciproca

• Sea p y q proposiciones simples su contra reciproca se representan como:

• pq  noqnop
• Ejemplo:
• Juan no es buen estudiante entonces no saco 10 en el examen.
• No saco 10 en el examen entonces Juan no es buen estudiante.

5. Demostración de Proposiciones Compuestas

MÉTODO DE DEMOSTRACIÓN DIRECTA Aquí se tiene como hipótesis verdaderas las
proposiciones P1, P2,…,Pn procediendo a la deducción de que la conclusión Q es
verdadera a través de un proceso lógico deductivo, es decir como una cadena de
implicaciones lógicas. El esquema de demostración en el método directo es de la forma: P1
∧ P2 ∧ … ∧ Pn → Q
El método de demostración directo tiene como fundamento lógico la regla de inferencia
clásica o esquema argumentativo válido llamado Modus Ponens: [ P∧ (P→Q) ] →Q que
significa: si la hipótesis P es verdadera y la hipótesis P implica la conclusión Q entonces la
conclusión Q es verdadera.
Ejemplo:
[(p ~q)  ~p ]  q  (q v p)

[(p ~q)  ~p ]  q Hipótesis

~ [~ (~p v ~q) v ~p ] v q Morgan, Condicional
[~~ (~p v ~q) ˄ ~~p ] v q Doble negación
[ (~p v ~q) ˄ p ] v q Conmutativa
[ p ˄ (~p v ~q) ] v q Distributiva
[ (p ˄ ~p ) v (p ˄ ~q) ] v q Complemento
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
[ F v (p ˄ ~q) ] v q Forma Normal
(p ˄ ~q) v q Conmutativa
q v (p ˄ ~q) Distributiva
(q v p) ˄ (q v ~q) Complemento
(q v p) ˄ V Forma Normal
(q v p)
 [(p ~q)  ~p ]  q  (q v p)

MÉTODOS DE DEMOSTRACIÓN INDIRECTOS Método de demostración por contra

positiva Tiene como fundamento la equivalencia lógica entre las proposiciones P→Q y
~Q→~P) Para realizar una demostración por el contrario positiva se toma como hipótesis
la negación de la conclusión escrita como
~Q para obtener como conclusión la negación de la hipótesis escrita como ~P, ello se
puede generalizar para el caso que se tengan varias premisas.
Método de demostración por reducción al absurdo. Se atribuye al filósofo griego Zenón de
Elea, alrededor del siglo V a.C., la invención del método de reducción al absurdo que
utilizaba en sus argumentos y en sus famosas paradojas, desde entonces es un método
ampliamente aplicado en matemáticas.
El procedimiento general para demostrar indirectamente por reducción al absurdo una
proposición de la forma (P1∧P2∧…∧Pn ) → Q consiste en:1) Asumimos que la
condicional es falsa luego las proposiciones P1, P2,…, Pn y ~Q son verdaderas2) De lo
anterior debemos llegar a una contradicción, por lo que la condicional tiene que ser
verdadera.
MÉTODO DE DEMOSTRACIÓN POR EL PRINCIPIO DE INDUCCIÓN
MATEMÁTICA El principio de inducción matemática es un principio universalmente
válido en matemáticas y es fundamentalmente uno de los axiomas de los números
naturales construidos por el matemático italiano Giuseppe Peano a finales del siglo XIX.
Las demostraciones por el principio de inducción matemática se consideran indirectas. El
principio de inducción matemática es utilizado para demostrar la veracidad de
proposiciones p(n) donde no es un número natural mayor o igual que un valor inicial no, el
principio de inducción matemática consiste en:1) Inicialmente se verifica que la
proposición p(n) es verdadera para n=no, es decir p (no) es verdadera.
Se enuncia la hipótesis de inducción: p(k) es verdadera para el número natural. Usando la
hipótesis de inducción enunciada en (ii) y otras proposiciones verdaderas demostradas
anteriormente sede muestra que p (k+1) es verdadera.iv) La conclusión consiste en que
p(n) es verdadera para todo n≥no
MÉTODO POR CONTRAEJEMPLO Este método se aplica de manera muy particular
para demostrar la falsedad de proposiciones cuya hipótesis está construida mediante un
"cuantificador universal". Esto es, se aplica para demostrar la falsedad de una proposición
que tenga una conclusión referida para "todos los elementos de un cierto conjunto".
“Una demostración consiste en una sucesión de fórmulas que, o bien son axiomas, o bien
son teoremas, o se han obtenido de éstas mediante inferencias admisibles”. Hilbert “Los
encantos de esta ciencia sublime, las matemáticas, sólo se le revelan a aquellos que tienen
el valor de profundizar en ella”.
6. Simplificación de proposiciones compuestas
La simplificación de una proposición, o dicho de otra manera, la simplificación de una
expresión lógica consiste en reducir la expresión lógica a una forma más simple mediante
el uso de los axiomas y/o leyes lógicas.
La simplificación consiste en ir desarrollando la expresión paso a paso mediante la
 UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACIÓN DE CARRERA
Matemática

Estudiante: Edwin X. Casa Y. Semestre: Primero Paralelo: V02

Docente: Lic. Jorge Bracero Fecha: 2018-05-115
sustitución en cada paso de una expresión lógica equivalente a la anterior, hasta llegar a
una expresión lógica irreducible.
A través de la simplificación podemos también demostrar una equivalencia lógica sin usar
tablas de verdad.
Ejemplo:
[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]
[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)] Hipótesis
[(~p  p)  q]  [~q  (r  q)]  [~p  (p  ~q)] Condicional
[(~p  p)  q]  [~q  (r  q)]  [(~p  p)  ~q] Asociativa
(V  q)  [~q  (r  q)]  (V  ~q) Forma Normal
V  [~q  (r  q)]  V Forma normal
V  V  [~q  (r  q)] Asociativa
V  [~q  (r  q)] Forma normal
~q  (r  q) Distributiva
(~q  r)  (~q  q) Elemento neutro
(~q  r)  V Forma normal
~q  r
[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]~q  r

Bibliografía:
https://www.zweigmedia.com/MundoReal/logic/logic1.html
https://soloformulas.com/leyes-logicas.html
https://matematicapositiva.wordpress.com/tag/leyes-del-algebra-de-proposiciones/
https://es.slideshare.net/pgandarilla/leyes-de-lgica
https://superinteresante7.wordpress.com/2011/10/16/tautologias-contradiccion-y-
contingencia/
http://lgicaepn.blogspot.com/2011/12/logica-matematica.html