复合命题有联言命题、选言命题、假言命题、负命题四大类，这四类复合命题都可以构成的推理的有效式。联言命题构成的推理有组合式和分解式，相容的选言命题构成的推理有否定肯定式，不相容选言命题构成的推理有否定肯定式和肯定否定式，充分条件假言命题构成的推理有肯定前件式和否定后件式，必要条件的假言命题构成的推理有否定前件式和肯定后件式，充分必要条件假言命题构成的推理有肯定前件式、肯定后件式、否定前件式、否定后件式，负命题构成的推理是根据负命题的等值命题来进行的。除此之外，还有假言选言推理、假言联言推理等，有效式还有很多。