Prosseguindo com a análise, vamos montar a tabela verdade (X (p, q): p → q):

• Proposições simples componentes: p, q.
• Nº linhas da Tabela Verdade = 2² = 4 linhas.

Este é um exemplo de fácil resolução, onde o mais interessante ao nosso estudo é notar que originalmente o conetivo lógico “Se... então” não aparece explicitamente no texto, no entanto, o sentido da declaração é equivalente ao mesmo.