Los estoicos y los indemostrables

Los filósofos estoicos formularon una lógica proposicional en la que jugaban un papel crucial lo que ellos llamaban "indemostrables": eran 5 esquemas de argumentación simples y válidos que se consideraban como axiomas o principios del razonamiento. Entre estos esquemas de razonamiento estaban el Modus Ponens, el Modus Tollens, y el Silogismo Disyuntivo. Un ejemplo del primer indemostrable:

Si es de día, hay luz.
Es de día.
Por lo tanto, hay luz

¿Te suena?