Estuda a lógica segundo a sua estrutura ou forma, é um sistema dedutivo de enunciados que tem como objetivo criar um grupo de leis e regras para determinar a validade dos raciocínios. Assim, um raciocínio é considerado válido se for possível alcançar uma conclusão verdadeira a partir de premissas verdadeiras. Essa definição indentifica qual lógica?