na lógica matemática usa-se uma escrita simbólica para que seja mais fácil trabalhar com as proposições.