substantivológica
- lógica de predicados
- cálculo de predicados
Ver também命題論理
lógica proposicional; cálculo proposicional
述語論理
じゅつごろんり · jutsugoronri
Significado de 述語論理 em português
lógica de predicados; cálculo de predicados