La lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.
Se pueden utilizar conectivas lógicas:
Reflexión:
Aprendí a utilizar las conectivas lógicas según se sugiera en los argumentos, y comprendí cómo definir mediante lógica proposicional las proposiciones que fueron planteadas en este desafío.
https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8yMWNrNm10NTY0&hl=en
0 comentarios:
Publicar un comentario