(logic) A type of conditional statement used in formal logic and defined as true whenever its antecedent is false or its consequent is true, and false when its antecedent is true and its consequent is false.
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: material, conditional