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?