Function for checking the valid application of Constructive Dilemma.
Constructive Dilemma has a very particular structure, so we just need
to identify this structure and then compare the appropriate arguments.
Basically, CD consists of a disjunction, and a conjunction of conditionals,
as in: (1) p V q; (2) (p -> r) & (q -> s); (3) r V s;
Function for checking the valid application of Constructive Dilemma.
Constructive Dilemma has a very particular structure, so we just need to identify this structure and then compare the appropriate arguments. Basically, CD consists of a disjunction, and a conjunction of conditionals, as in: (1) p V q; (2) (p -> r) & (q -> s); (3) r V s;