agentredlum
- 484
- 0
micromass said:You don't really want to argue that "P AND Q ==> P" is false, do you?
No, this is a tautology. Please post the entire argument then we can discuss it.
Hey, I'm a bit of a rebel, I may question usefulness of certain definitions, but I would never argue against a tautology, that would be silly!
Last edited: