Current location - Training Enrollment Network - Mathematics courses - Mathematical logic related words and and or
Mathematical logic related words and and or
Let me give you an example.

Original proposition:

If x=3, then y=4 or y=5.

Inverse proposition:

If y=4 or y=5, x=3.

No proposition:

If x is not equal to 3, then y is not equal to 4 or y is not equal to 5.

Negative proposition:

If y is not equal to 4 or y is not equal to 5, then x is not equal to 3.

Therefore, the negative proposition of or is not sum. "Or" can't be an independent compound proposition, because compound propositions have negative propositions. The format of compound proposition is "If P is Q", its negative proposition is "If Q is P", its negative proposition is "If P is not Q" and its negative proposition is "If Q is not P".

"or" and "and" can only be contained in the p or q of the proposition without change.