20 Mar logical form
A language-based way of representing real-world phenomena. Syllogism is a classical structure in logical form in which the premises are stated (i.e. IF a AND b) and the conclusion drawn (i.e. THEN c). The mathematical integrity of logical form makes it attractive for computing.