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.

	p	q	p → q
1.	V	V	V
2.	V	F	F
3.	F	V	V
4.	F	F	V

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.