La pregunta era la siguiente:
¿Cuál es el próximo número en la siguiente secuencia?
2, 10, 12, 16, 17, 18, 19... Todo el mundo pensando cual seria la formula matemática cuando se trataba de que todos los números empiezan por la "D" y por ello el siguiente número sería el 200.
Y empezamos la clase en la página 128 explicándonos el profesor la lógica de enunciados diferenciando entre:
Enunciado simple: Juan estudia filosofía.
Enunciado complejo: Su nombre es Antonio y su mujer se llama Araceli.
Así pasamos a los símbolos de la lógica de enunciado diferenciando entre símbolos no lógicos y símbolos lógicos.
Símbolos no lógicos:
- Variables: son las letras que se utilizan para sustituir los enunciados. SIEMPRE empezando por "P" y en adelante. (p, q, r, s, t...)
- Símbolos auxiliares: Son los paréntesis y corchetes utilizados para facilitar la compresión y lectura de algunos enunciados complejos.
Símbolos lógicos:
- Negador (¬): sirve para negar cualquier enunciado.
- Conectivas: cuatro tipos:
Conjunción: p y q ; p^q / "^" se le llama conjuntor.
Disyunción: p ó q ; p v q / "v"se llama disyuntor.
Condicional: Si p entonces q ; p-->q / "-->" se llama condicionador.
Bicondicional: p si y solamente si q ; p<-->q / "<-->" se llama bicondicionador.
Y finalmente nos ha dictado las reglas de formación de enunciados que son las siguientes:
- 1. X, cualquier proposición es un
enunciado bien formado (EBF).
- 2 Si X es un EBF, entonces ¬X también lo es.
- 3 Si X e Y son EBF, entonces X^Y
también lo es.
- 4 Si X e Y son EBF, entonces XvY
también lo es.
- 5 Si X e Y son EBF, entonces X-->Y
también lo es.
- 6 Si X e Y son EBF, entonces X<-->Y
también lo es.
- 7 NINGUNA OTRA EXPRESIÓN ES EBF.
José Ignacio Álvarez Pérez
No hay comentarios:
Publicar un comentario