Então, Marcelo Fantini, eu vou mostrar um exemplo de argumento para ser validado: \sim p\rightarrow q, q\rightarrow\sim r, r V s |- \sim s\rightarrow p . As regras de inferência são os métodos a serem utilizados no processo de validação deste argumento. Isso é lógica proposicional, um assunto que es...
