Em Lógica e conjuntos (2008), Cunha apresenta uma tabela-verdade, além do diagrama de árvore a ela correspondente, para uma proposição composta A(a, b, c),
sendo a, b e c proposições simples, como indicado a
seguir.
Observe, na tabela apresentada, que os valores V e F se alternam de quatro em quatro para a proposição a, de dois em dois para a proposição b e de um em um para a proposição c.
Considere agora uma proposição composta A(a, b, c, d, e, f, g), sendo a, b, c, d, e, f, g proposições simples. De acordo com o livro de Cunha, e admitindo que x seja o número de linhas da tabela-verdade de A e que, nessa tabela, os valores V e F se alternem de y em y para a proposição f, então x + y é igual a
Observe, na tabela apresentada, que os valores V e F se alternam de quatro em quatro para a proposição a, de dois em dois para a proposição b e de um em um para a proposição c.
Considere agora uma proposição composta A(a, b, c, d, e, f, g), sendo a, b, c, d, e, f, g proposições simples. De acordo com o livro de Cunha, e admitindo que x seja o número de linhas da tabela-verdade de A e que, nessa tabela, os valores V e F se alternem de y em y para a proposição f, então x + y é igual a
