A lógica proposicional é um sistema formal que utiliza fórmul...
A lógica proposicional é um sistema formal que utiliza fórmulas bem formadas para representar proposições formadas de proposições atômicas e conectivos lógicos. Tais fórmulas podem ser derivadas. A implicação lógica (representada utilizando o símbolo ¿) pode ser entendida como "se proposição 1, então proposição 2". Considere a proposição s ¿ (p ^ ¬r).
0 Respostas
Sua resposta
Mais perguntas de Informática
Top Semanal
Top Perguntas
![Toda Materia](https://escolaeducacao.org/assets/images/element/01.webp)
Você tem alguma dúvida?
Faça sua pergunta e receba a resposta de outros estudantes.