Create A Syllogisms Skills Trainer

We are looking to develop a program that dynamically creates Syllogism questions based on a series of logical rules. A syllogism is a logical statement describing connections between individuals and categories, namely between a subject and a predicate. There are four main types of syllogistic statements: "Every S is P", abbreviated as SaP "No S is P", abbreviated as SeP "Some S is P", abbreviated as SiP "Some S is not P", abbreviated as SoP Here, the lowercase letter between the subject and the predicate represents the type of the syllogism. A syllogism can be inferred from two other syllogisms that contain either the subject or the predicate, called respectively the minor premise and the major premise, based on 24 different rules of inference, which are represented by the types of the three syllogisms and a figure (an integer between 1 and 4) that describes the arrangements of the subjects and predicates of each premise. Some code has been released as open source on GitHub already: - [login to view URL] - [login to view URL] - [login to view URL] Some more about syllogisms: [login to view URL] We are looking for individuals who are able to create this in PHP / javascript and link it in with our online platform which is hosted on the Moodle learning management system (based on PHP). Applicants will be interviewed about their thoughts on the project by our lead developer.