contrary-to-fact conditional See COUNTERFACTU -. AL. contravalid, designating a proposition P in a logical system such that every proposition in the system is a consequence of P. In most of the typical and familiar logical systems, contravalidity coincides with self-contradictoriness. See also IMPLICATIO. R.W.B.