Lógica proposicional y predicativa para paletos

Una descripción de qué es el lenguaje, la lógica y la argumentación, lógica preposicional y la lógica predicativa de primer orden.