 A hypothetical sentence consists of two shorter sentences joined together, as in the connected (muttaṣil) form “If p then q” or the separated (munfaṣil) form “Either p or q”. For the logic of these sentences, al-Fārābī confines his attention almost entirely to simple inferences like modus ponens: