= Material nonimplication
{wiki=Material_nonimplication}
Material nonimplication is a logical connective that expresses a relationship between two propositions, usually denoted as \\( P \\) and \\( Q \\). It is the negation of material implication (also known as material conditional), which is typically represented as \\( P \\rightarrow Q \\) (meaning "if P, then Q"). In formal logic, material implication \\( P \\rightarrow Q \\) is true in all cases except when \\( P \\) is true and \\( Q \\) is false.
Back to article page