Identify the rules of logical inference represented by the following symbolic expressions: 1. ¬p → ¬q 2. q 3. p (MT 1,2)

As regras de inferência lógica representadas pelas expressões simbólicas fornecidas são: 1. Modus Tollens (MT): Essa regra afirma que se temos uma implicação do tipo "se não p, então não q" (¬p → ¬q) e sabemos que q é verdadeiro, então podemos inferir que p também é verdadeiro. Nesse caso, a expressão 1 (¬p → ¬q) representa a implicação "se não p, então não q". 2. A expressão 2 (q) afirma que q é verdadeiro. 3. Usando a regra do Modus Tollens (MT), podemos inferir que p também é verdadeiro, pois a expressão 2 (q) é verdadeira e a expressão 1 (¬p → ¬q) estabelece a relação entre p e q. Portanto, a expressão 3 (p) é verdadeira de acordo com a regra de inferência Modus Tollens (MT) aplicada às expressões 1 e 2.