Teoría y práctica de la lógica proposicional de segona mà