Considere as seguintes sentenças:

P: Um sistema de segurança cibernética é atualizado regularmente.
Q: Os dados dos usuários estão protegidos contra-ataques.

A afirmação “Se um sistema de segurança cibernética é atualizado regularmente, então os dados dos usuários estão protegidos contra-ataques” pode ser logicamente representada por P → Q.

Essa proposição equivale à afirmação: