wiki#formal-logic#formal-logic2pages tagged with "formal-logic"reasoninglogical constructs— fundamental logical operations and connectives that form the building blocks of formal reasoningreasoning ontology overview— formal rdf/owl specification for representing arguments, inference rules, and reasoning structuresback to wiki