Se comparan diferentes tipos de lógicas de manera que se pueden ver las diferencias entre ellas