As with Aristotle's term logic, Stoic logic also uses variables, but the values of the variables are propositions not terms. Chrysippus listed five basic argument forms, which he regarded as true beyond dispute. These five indemonstrable arguments are made up of conditional, disjunction, and negation conjunction connectives, and all other arguments are reducible to these five indemonstrable arguments.
