Conceitos básicos de Lógica proposicional com Java na prática

Em lógica proposicional, o número de linhas de uma tabela-verdade representa todas as possíveis combinações de valores verdadeiros (V) e falsos (F) de uma proposição.

Cada variável pode assumir dois valores, e o total de combinações é calculado por 2n, onde n é o número de variáveis envolvidas.

Esse conceito é essencial para avaliar a validade de expressões lógicas.

Por exemplo, uma proposição com três variáveis (p, q, r) terá 23=8 linhas, cada uma representando uma valoração diferente.

Em programação, podemos automatizar esse cálculo para qualquer número de variáveis usando Java.

Compreender o número de valorações possíveis ajuda a estruturar algoritmos de verificação lógica e sistemas de decisão.

A aplicação prática em Java permite explorar a lógica booleana de forma eficiente e didática.

Mão na massa!

Experimente implementar o cálculo em Java e veja como a matemática e a lógica se unem para resolver problemas computacionais. Explore, modifique e amplie o código para gerar as combinações completas da tabela-verdade.

public class TabelaVerdade {
  public static void main(String[] args) {
      int variaveis = 3; // Define o número de variáveis proposicionais
      int linhas = (int) Math.pow(2, variaveis); // Calcula 2^n para obter o total de linhas
      System.out.println("Número de linhas: " + linhas); // Exibe o resultado


      // Gera todas as combinações possíveis de V e F
      for (int i = 0; i < linhas; i++) { // Percorre cada linha da tabela
          String binario = String.format("%" + variaveis + "s", Integer.toBinaryString(i)) // Converte o número para binário
                              .replace(' ', '0'); // Preenche com zeros à esquerda
          System.out.println(binario.replace('0', 'F').replace('1', 'V')); // Substitui 0 por F e 1 por V
      }
  }
}