1a) Definition of contradiction: A contradiction exists any time a proposition P is asserted to be true in conjunction with its negation, not-P. 1b) Definition of conjunction: A conjunction is a connective that joins two propositions.