>>syllogisms from last bread

I don't know proof by inference with a valid argument. Going to look this up now, also ebots post was not what I thought. Ebot said modus tollendo ponens, or disjunctive syllogism. I don't get it yet, but it contains an "or", starts with "either A or B".

Contrapositive is true:

If (A implies B) then (not B implies not A)

But

If (Q has Q access) then (he is real)

An inverse is not necessarily true:

If (Q does not have Q access) then (he is not real)

>>2731021

I only remember inverse, converse, and contrapositive, and thought that the term anon mentioned was yet another form of syllogism. Theres 256 of them in Wikipedia!