Enviar aquest missatge de text: Traditional formal logic: