Definição de lógica proposicional:
Soluções para a tarefa
Respondido por
3
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal. Espero q te ajudei na sua duvida....
Perguntas interessantes