One premise per line. Begin a line with therefore to test a conclusion of your own.
Try ,
,
,
an , or
.
Type one premise per line. Each becomes a shape. Pause, and the shapes merge into whatever conclusion the premises actually license: green if it follows, red if it does not, with the reason underneath.
All A are B, No A are B, Some A are B, Some A are not B, Socrates is a man, All birds can fly, If A then B, Either A or B, and negations of any of them. Begin a line with therefore to test a conclusion of your own instead of deriving one.
Modus ponens and tollens, hypothetical and disjunctive syllogism, chains of those, and the categorical syllogism on Boolean rules: distribution of the middle, illicit major and minor, exclusive premises, existential import. Invalid arguments get named, not just flagged.
Terms match by surface form, so wise never meets wise things. Relational and modal inference, and pronouns standing in for a clause, are out of scope.
One premise per line. Begin a line with therefore to test a conclusion of your own.
Try ,
,
,
an , or
.