Logica formal

La lógica trata de la relacione de deducibilidad: un enunciado E es deducible por los enunciados E1, E2, E3, ..., si no es posible que E1, E2, E3, ... sean todos verdaderos sin que sea verdadero también E. En algunos casos la deducibilidad de un enunciado por otros enunciados no depende por el especifico contenido de los enunciados en cuestion, y es de estos casos en particular que habla la lógica.El enunciado puede ser esplicable con algunos ejemplos: "Maria no es la mujer de Carlos" es claramente deducible por el enunciado "Carlos no està soltero"; no es posible que el segundo enunciado sea verdadero sin que lo sea tambien el primero. Esto depende de lo especifico contenido de los dos enunciados, del hecho que quien no está casado no tiene mujer y que soltero es decir "no casado".Si veemos los enunciados "cada filosofo es pobre" y "cada pobre es infeliz" es deducible que  "cada filosofo es infeliz"  y es a lo mismo obvio que este nexo de deducibilidad no caba nada con lo de que estos enunciados hablan si se sustituyen "filosofo", "pobre" y "infeliz" con otros terminos elegidos a placer, si se obtienen tres enunciados asì que el tercero es deducible por los primeros tres, por ejemplo: "cada felino es carnivoro", "cada carnivoro es peligroso", "cada felino es peligroso".