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:

Gabarito

D

Comentário do professor

A proposição dada, (X → Y) ↔ (Z → W), envolve as quatro letras simples X, Y, Z e W, ou seja, possui 4 proposições simples distintas.

O número de linhas da tabela-verdade de uma fórmula é dado por \(2^n\), onde \(n\) é a quantidade de proposições simples distintas presentes.

Aqui, \(n=4\), logo \(2^4=16\) linhas no total. Como 16 é um valor maior que 15, a alternativa marcada como correta (D: 15) está correta no sentido pedido pela questão: o número de linhas será maior que 15.