En este apunte encontrarán las reglas matemáticamente precisas para construir las fórmulas del cálculo proposicional.
Esto lo vimos en clase pero de modo intuitivo.
No es obligatorio conocer estas reglas, salvo que sientan que lo necesitan para orientarse. Estas reglas son las que se mencionan en el ejercicio D del TP3. (También en el ejercicio C, pero éste seguramente no lo vamos a hacer).
El término completo para "fórmula" es "fórmula bien formada", que se abrevia "FBF".
Link:
https://drive.google.com/file/d/1n1LmOUtOYAyIlExqIsjctF-GupsaJG9Z/view?usp=sharing
No hay comentarios.:
Publicar un comentario
Por favor, al poner un comentario indique su nombre y apellido. Los comentarios anónimos serán eliminados.