LÓGICA

MATEMÁTICA
Proposiciones: simples
y compuestas.
¿ Qué es la Lógica ?

• Estudia la forma del razonamiento.

• Sigue reglas para demostrar si un argumento es valido.

¿ Qué es la Lógica Matemática?

• Codifican conceptos intuitivos

• Hipótesis y comprobar demostraciones .

Aplicación de Razonamiento lógico

• Sistemas de inteligencia artificial .

• En los circuitos computacionales.

• Demostrar teoremas.
¿ Qué son las Proposiciones?
• Oración o enunciado al que se le puede asignar un cierto valor de verdad.

• V(p)=(v o f).

• Notación= a,b,c,p,q,r,s,t

• Oraciones afirmativas. (Informan). Ej.: Mañana es lunes.

• Oraciones descriptivas. (Describen). Ej.: La tiza es blanca

• Oraciones explicativas. (Explican). Ej.: Si hace frío entonces es invierno

Ejemplos:

• Juan León Mera escribió el Himno Nacional

• Quito es la capital del Ecuador
• Todo número diferente de 0 es igual a 0
• 3+1<2-3
Tipos de Proposiciones y Operadores Lógicos.

Simples.-
• Esta en su estado mas sencillo
• Une a un sujeto con un objeto .
• Se caracteriza por no tener ningún término que condicione la proposición de ninguna manera
Ejemplos:
• p: El 14 y el 7 son factores del 42
• p: La niña María canta
• q: Su hermano Luis toca el piano.
• p: Ecuador es un país Amazónico
• q: Latinoamericano.
• a: Todo organismo viviente se adapta a su medio físico.
• b: Si un número es divisible por 4 también lo es por 2
• c: (a+b)² = a²+2ab+b²
Tipos de Proposiciones.
Compuestas.- una proposición será compuesta si no es simple. Es decir, si está afectada por
negaciones o términos de enlace entre oraciones componentes.

• Conectivos oposición (habitualmente ‘o’) de adición (habitualmente ‘y’) o

de condición (habitualmente si).
Ejemplos:
• El 14 es factor del 42 y el 7 también es factor del 42.
• La niña María canta y su hermano Luis toca el piano.
• Ecuador es un país Amazónico y latinoamericano.
Ejemplos:
• Simples
p: Quito es la capital del Ecuador
q: Buenos Aires es la capital de Argentina
• Compuestas p q
Valores de verdad.
• p: Todos los números primos son divisibles para 2

• q: Riobamba es la capital de Chimborazo

• r: log x=1 para toda x >1

• S: sen45°<COS60°

• ¿Si Me quieres?

• Puedo manejar un auto si tiene dirección hidráulica

• La raíz cuadrada de 25 es 5, o -5.

• El número 6 es mayor que el 3 y menor que el 7

 
OPERADORES LOGICOS
Negación.
Este operador cambia el valor de verdad de una proposición: si a es una proposición verdadera, a
es falsa; si a es una proposición falsa, a es verdadera.
La negación se presenta con los términos gramaticales:
no
ni
NEGACIÓN
no es verdad que
no es cierto que p ¬p
Ejemplos: V F
F V
Conjunción. (^)

Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la proposición
resultante será verdadera solamente cuando el valor de verdad de ambas proposiciones es
verdadero.

La conjunción se presenta con los términos gramaticales: «y», «pero», «más», y signos de
puntuación como: la coma, el punto, y el punto y coma.

Ejemplos:

El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batería

Conjunción. (^)
Disyunción. (V)
Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la
proposición resultante será falsa solamente cuando el valor de verdad de ambas
proposiciones es falso.

La Disyunción se presenta con el rtérmino gamatical «o».

Ejemplos:
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.

La disyunción entre a y b es:

avb: Tengo un libro de Trigonometría o uno de Álgebra.
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

TERMINOLOGÍA GRAMATICAL DE LA CONDICIONAL

Condicional.
Ejemplo:
BIDISYUNCION O DISYUNCION EXCLUSIVA
BIDISYUNCION O DISYUNCION EXCLUSIVA
Bicondicional.
Es la unión de dos proposiciones por “si y sólo si”. Se lee a si y sólo si b.
REGLA.- Una proposición bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus
dos componentes son falsos.
Términos gramaticales: «a si y sólo b», «a si y solamente b», «a implica b y b implica a»
EJEMPLOS BICONDICIONAL.
CONJUNCION NEGATIVA .

Se nota: p↓q, se lee ni p ni q o(no p y no q. La proposición compuesta

es verdadera únicamente cuando p y q son falsas la conjunción negativa
es equivalente a:
p↓q ↔¬p˄¬q
Tabla de verdad .
Polinomio Booleanos.
Un polinomio esta formado por variables (p,q,r,……). Las mismas que están unidas por operadores.
A los polinomios se les representa con letras mayúsculas P(p,r), R(p,q,r) etc
El número de posibilidades de que un polinomio sea verdadero o falso , esta dado en función de sus
variables por la expresión 2𝑛 . Siendo el numero de variables.
EJERCICIOS TABLA DE VERDAD.
TAUTOLOGÌA
TAUTOLOGÌA

Un polinomio representa Contradicción: Un

una tautología si la última polinomio representa una
columna de la tabla de tautología si la última
verdad es verdad para columna de la tabla de
cualquier verdadero o falso. verdad es falsa para
cualquier verdadero o falso.
Equivalencia e Implicación Lógica

Implicación Lógica: Un polinomio

Equivalencia: Dos polinomios son implica lógicamente a otro, si cumple
lógicamente equivalentes si: con cualquiera de las siguientes
condiciones:

1.Al desarrollarse las tablas de verdad 1.P ⇾ q es una tautología

de los polinomios y en la última 2.˞p v q es una tautología
columna de ésta tabla de izquierda a 3.p ^ q es una contradicción
derecha se observa que coinciden.
2.Al desarrollar el bicondicional entre los
dos polinomios se obtiene una
tautología
EJEMPLOS: EQUIVALENCIA
EJEMPLOS: IMPLICACION
Leyes del Álgebra Proposicional
Aplicación de las Leyes del Álgebra proposicional

(p ⇾ q) ^ ˞(q ^ p)
(˞p v q) ^ ˞(p ^ q) • Simplificar el siguiente polinomio
(˞p v q) ^ ( ˞p v ˞q)
˞p v (q ^ ˞q)
˞p v F
˞p

(p ^ q) ⇾ ˞p↓˞q
(p ^ q) ⇾ (˞p↓˞q) • Demostrar la siguiente tautología
˞(p ^ q) v (˞p↓˞q)
˞(p ^ q) v [˞(˞p) ^ ˞(˞p)]
˞(p ^ q) v (p ^ q)
V
[˞(p ↔ q) ⇾ ˞q] v q
• Demostrar la siguiente
[˞˞(p ↔ q) v ˞q] v q tautología
(p ↔ q) v (˞q v q)
(p ↔ q) v V
V
Leyes del Álgebra Proposicional
EJEMPLOS: IDENTIDADES
EJEMPLOS: IDENTIDADES
EJEMPLOS: IDENTIDADES
EJEMPLOS: CIRCUITOS
RESUELVA: