Sintaxe da lógica proposicional
Jump to navigation
Jump to search
- Fórmulas
- Algumas comparações entre as linguagens proposicional e de primeira ordem