Talk:Conditional disjunction

Not very clear...
A formula would be better, than the verbal description.

Searching for "conditional disjunction" in Google, I found the following statement:


 * Since the columns for P → Q and ∼ P ∨ Q are identical, the two statements are logically equivalent.
 * This tautology is called Conditional Disjunction. You can use this equivalence to replace a conditional by a disjunction.

This seems to be a different use of the same term, but where did you actually find it as one of the 256 ternary logical connectives?

Greetinges, Hexadecimal (talk) 12:15, 1 May 2008 (UTC)