Utilize a vírgula para separar fórmulas lógicas, o símbolo de para a conclusão (caso seja uma fórmula argumentativa), e recorra aos seguinte símbolos:
Para entender o funcionamento deste método para testar a validade de argumentos clique aqui.
Além da lógica proposicional, este software permite testar a validade de argumentos da lógica de predicados e da lógica modal. Para isso, utilize os seguintes símbolos:
Alguns exemplos de argumentos para utilizar neste software: