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
