Observe a seguinte proposição:

Um número natural é divisível por 6 se, e somente se, for divisível por 2 e por 3.”

Sabendo que uma proposição bicondicional p↔q é verdadeira quando ambas têm o mesmo valor lógico, considere:

• p: “15 é divisível por 6.”
• q: “15 é divisível por 2 e por 3.”

Qual é o valor lógico da proposição p↔q?