Estuvimos formalizando enunciados.
Formalizar: "Traducir" enunciados de lenguaje natural al lenguaje formal de lógica.
Para formalizar, primero hay que averiguar cuantas proposiciones tiene el enunciado y cuando ya están señaladas se le asigna una letra minúscula del abecedario a partir de la "p".
Proposición: Es la unidad mínima que tiene sentido sintáctico.
Enunciado atómico: Una preposición.
Enunciado molecular : Más de una preposición.
1º EJEMPLO:
Si nos han robado los estuches entonces o hay un ladrón en la clase o nos estamos volviendo todos locos.
(nos han robado los estuches): p
(hay un ladrón en la clase): q
(nos estamos volviendo todos locos): r
p->(q^r)
(Siendo "p" el antecedente, "->" el condicionador y "q^r" el consecuente).
2º EJEMPLO:
Solo si Cristina es alta y tiene el pelo largo entonces es Rapunzel.
(Cristina es alta): p
(tiene el elo largo): q
(es Rapunzel): r
(p^q)->r
3º EJEMPLO:
Si Pablo va a Roma y Alfonso se queda en casa, entonces ni Pablo ni Alfonso estudiarán lógica.
(Pablo va a Roma): p
(Alfonso se queda en casa): q
(ni Pablo estudiará lógica): r
(ni Alfonso estudiará lógica): s
(p^q)->(¬r^¬s)
Los últimos 15 minutos estuvimos resolviendo dudas para el exámen que era al día seiguiente.
Alejandra García Rivero
No hay comentarios:
Publicar un comentario