Está en la página 1de 11

Universidad Central del Ecuador

Facultad de Ingeniería Química


Asignatura de Matemática

Temas :
• Proposiciones y conectivos lógicos
• Equivalencias lógicas
• Métodos de demostración
• Cuantificadores

Realizado por: MsC. Patricia Ochoa P.


Proposiciones
Una proposición es una oración con sentido completo, y constituye la forma más elemental de la lógica.
Las proposiciones brindan información sobre un acontecimiento este puede ser verdadera o falsa.

Ejemplo de Proposiciones:
• Dolly fue la primera oveja clonada.
• Quito es la capital del Ecuador.
• Está lloviendo y hace frío.

Es importante tener en cuenta que no toda expresión lingüística es una proposición


Las siguientes frases NO son proposiciones:
• Hola!
• Qué es matemáticas?
• x+3=5

Lenguaje de la lógica proposicional trabaja con los siguientes conjunto de símbolos


• Contantes V (VERDADAERO ) y F (FALSO)
• Variables o letras de proposiciones o, q ,r…..
• Símbolos de conectivas ~ , ^, v , → , ↔
• Signos de agrupación ( )
.
Este conectivo lógico nos permiten:
• Relacionar dos proposiciones simples en una proposición compuesta
• Crear tablas de verdad

Definición 1. Una proposición compuesta es una Tautología si al construir su tabla de verdad el resultado en
cada renglón es verdadero independientemente de los valores de verdad que tomen las proposiciones
simples que intervienen.

Definición 2. Una proposición compuesta es una Contradicción si al construir su tabla de verdad el resultado
en cada renglón es falso independientemente de los valores de verdad que tomen las proposiciones simples
que intervienen.

Definición 3. Una proposición compuesta es una Contingencia si al construir su tabla de verdad no resulta
tautología o contradicción.
Tipos de Proposiciones
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas, significará que el conjunto de
sustituciones está bien definido y la harán verdadera o falsa. Para operar con las proposiciones, éstas se clasifican en
dos tipos: Simples y Compuestas, dependiendo de como están conformadas.

Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como
conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el
sujeto o en el predicado, pero no entre oraciones.

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.
Ejemplos: Ensayemos una lista clasificada y luego algunas aclaraciones:
1) Colón descubrió Australia. (Simple)
2) Sen(x) no es un número mayor que 1. (Compuesta)
3) 5-4 es un número par (Simple)
4) El 14 es factor del 42 y el 7 también es factor del 42. (Compuesta)
5) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
6) Si x es número primo, entonces x impar. (Compuesta)
7) Si x > 10, entonces 2x - 3 > 16. (Compuesta)
8) No todos los números primos son impares. (Compuesta)
Conectivos lógicos
El álgebra Booleana fue descubierta por el matemático inglés George Boole (1815–1864) como una
técnica para tratar expresiones de la lógica proposicional.
Los conectivos lógicos fundamentales son: la negación, la conjunción, la disyunción, la implicación,
la equivalencia

Ejemplo:
p: 4 es un número par
p ~p q: 9 es un número primo
V F r: estoy estudiando
F V

~ p: 4 no es un número par
~ q: 9 no es cierto que es un número primo
~ r: no estoy estudiando
Conectivos lógicos

Ejemplo:
p: 4 es un número par
^ q: 9 es un número primo

p q p^q
4 es un número par y 9 es un número primo
V V V p^q
V F F
F V F
F F F p q p^q
V F F
Conectivos lógicos

Ejemplo:
p q pvq p: 4 es un número par
V V V q: 9 es un número primo
V F V
F V V
F F F 4 es un número par O 9 es un número primo
pvq

p q pvq
V F V

Estos tres conectivos lógicos se consideran los conectivos fundamentales del Calculo proposicional.
A partir de esto se definen dos conectivos más, como son : el condicional y la equivalencia
Condicional

p q ~p ~p v q p q p→q
V V F V V V V
V F F F V F F
F V V V F V V
F F V V F F V

Ejemplo:
p : yo estudio
q: voy al cine

Yo estudio entonces voy al cine


p→q
Bicondicional

p q p→q q→p (p → q) ^ (q → p)
Ejemplo:
V V V V V
p: paso el semestre
V F V F F
q : yo estudio
F V F F F
F F V V V
Paso el semestre si solo si yo estudio
p ↔q
p q p↔q
V V V
V F F
F V F
F F V
Propiedades

• Propiedad de idenpotencia de los • Propiedad distributiva de los conectivos


conectivos ~ , v , ^ • [p ^ (q v r) ] ↔ [(p ^ q) v (p ^ r) ]
• ~(~p)) ↔ p • [p v (q ^ r) ] ↔ [(p v q) ^ (p v r) ]
• (p ^ p) ↔ p
• (p v p) ↔ p • Leyes de Morgan
• ~ (p v q ) ↔ ( ~p) ^ ( ~q)
• Propiedad conmutativas de los • ~ (p ^ q) ↔ ( ~p) v ( ~q)
conectivos
• (p v q) ↔ (q v p) • Leyes de absorción
• (p ^ q) ↔ (q ^ p) • p ^ ( q v p) ↔ p
• P v ( q ^ p) ↔ p
• Propiedad asociativas de los conectivos
• [(p v q) v r ] ↔ [p v (q v r) ]
• [(p ^ q) ^ r ] ↔ [p ^ (q ^ r) ]
Taller No. 1
Esta actividad se la va a realizar en el aula de clase

El Taller se encuentra en la página del Moodle uvirtual.uce.edu.ec


• Realizar las demostraciones en un archivo en Excel
• Y subir el archivo del taller al one drive y copiar el link
• Pegar el link del taller en la plataforma uvirtual en la opción del taller No1

También podría gustarte