La lógica formal estudia las inferencias mediante la construcción de leguaje
formal, la condiciones formales de la ciencia y las para el razonamiento correcto.es decir la lógica consiste en estudiar un objeto que se encuentra en dudad, pero, la lógica tiene que llevar se a cabalidad por medio de unos métodos de búsqueda de lo que es validado a lo que es invalido.
El método utilizado en corroborar si algo es válido o inválido es deduciendo las
premisas como por ejempló: premisa 1. El gato es un felino.” Premisa 2. El león es felino. Esto sería nuestra premisa y desde esta debe desprenderse una conclusión que nos lleve a una deducción acertada. Conclusión: Si el gato es un felino y el león también entonces ellos pertenecen a la familia de los felinos.