述語論理 [Thuật Ngữ Luận Lý]

じゅつごろんり

Danh từ chung

logic vị ngữ

🔗 命題論理