Se X, Y, Z e W forem proposições simples e distintas, então o número de linhas da tabela verdade da proposição (X → Y) ↔ (Z → W) será um número maior que:
Se X, Y, Z e W forem proposições simples e distintas, então o número de linhas da tabela verdade da proposição (X → Y) ↔ (Z → W) será um número maior que:
