This is the opposite of implication, unlike implication implied by means that if y is true than x is true. Like implication the symbol for it looks the same but just flipped on the Y-axis: .
This is the opposite of implication, unlike implication implied by means that if y is true than x is true. Like implication the symbol for it looks the same but just flipped on the Y-axis: .