FuenteBienvenidos, les hare una pequeña introducción de una materia y un tema en específico que tuve la oportunidad de ver en la universidad
Lógica Proposicional
Esta materia pertenece al pensum de mi carrera como Ingeniero en Informática, se considera una materia filtro, debido a la complejidad de la misma. Para ser más preciso esta materia se ve en el segundo semestre (en total son 10).
Les mostraré un poco del material que tengo aún guardado de la vez que cursé esta materia.
- Teoremas Lógicos Básicos
Lo utilizamos para las derivaciones lógicas, después le agregamos cuantificadores universales y hacemos derivaciones de lógica cuantificacional
A continuación, varios ejemplos de derivaciones.
El primero es un ejemplo de una derivación simple, por así decirlo.
El siguiente ejemplo corresponde a una derivación de lógica cuantificacional:
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit