Considerando os principais símbolos dos conectivos utilizados na lógica matemática, assinale a nativa cujo valor lógico é verdadeiro.