Meanings1formal logic, study of inference with formal contentWritten Forms形式邏輯Traditional · Main Form形式逻辑Alternate Form