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:

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:

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