Q791185 - FUNDATEC - 2019 - Prefeitura de Gramado - RS - Advogado

Lista de Símbolos lógicos:

~ negação
∧ conjunção
∨ disjunção
⊕ disjunção exclusiva
→ condicional
↔ bicondicional

Considerando R e S proposições simples, a tabela verdade da fórmula (R→S) ↔ (Sv~R) é:

Raciocínio Lógico