En este trabajo se presenta el sistema deductivo para la lógica proposicional doble (LD) ylos gráficos existenciales gamma-LD. Se prueba, de manera rigurosa, la consistencia de la LD y quelos teoremas de LD corresponden, exactamente, con los gráficos existenciales válidos de gamma-LD.Cuando se restringe el lenguaje de la LD al lenguaje de la lógica proposicional clásica (LC), la restricciónasociada a gamma-LD coincide con los gráficos existenciales válidos del sistema alfa de CharlesSanders Peirce. Resulta que los teoremas de la lógica proposicional intuicionista (LI) son teoremas dela LD; además, cuando se restringe el lenguaje de la LD al lenguaje de la LI, la restricción asociadaa gamma-LD coincide con los gráficos existenciales válidos del sistema alfa intuicionista de ArnoldOostra. Como consecuencia, se infiere que gamma-LD tiene como casos particulares los gráficosexistenciales alfa de LC y de LI. Finalmente, en la LD se derivan las definiciones aristotélicas de verdady falsedad, con las cuales, se ilustra la capacidad de la LD para solucionar una versión de la paradojadel mentiroso, donde LC y LI fracasan.
