You are here

Conditional syllogism