A seguir há um caso de verificação de implicação lógica envolvendo proposições que possuem quantidades distintas de proposições componentes:

• Proposições:

p

p ∨ (p ↔ q)

• Tabelas verdades:

	p
1.	V
2.	F

	p	q	p ↔ q	p∨(p↔q)
Linha 1.	V	V	V	V
Linha 2.	V	F	F	V
Linha 3.	F	V	F	F
Linha 4.	F	F	V	V

Em situações assim, onde há tabelas verdades com um número distinto de linhas, o método de substituição da ⇒ por → será ainda mais adequado para a verificação.

Ou seja:

Faz-se a tabela de p → p ∨ (p ↔ q)) par verificar se o resultado é uma tautologia:

	p	q	p ↔ q	p∨(p↔q)	p → (p∨(p↔q))
Linha 1.	V	V	V	V	V
Linha 2.	V	F	F	V	V
Linha 3.	F	V	F	F	V
Linha 4.	F	F	V	V	V

Tautologia comprovada! Logo, implicação lógica também comprovada.