Quote:
Originally Posted by MySiddhi
(A ≡ A)∧(A → A)∧(idA: A → A)∧(∃Ax)(A = x) (Mars Turner)
|
MySiddhi, either your post is nonsensical, or I don’t understand your notation.
Please write the quoted proposition in plain English. For example, I would write it:
“A implies and is implied by A, or A implies A, or the property A valued A implies A, or there exists Ax such that A equals x”
Although a tautology (any proposition of the form (x ≡ x)∧y is), this doesn’t make sense to me.
Before any communication can occur, writer and reader must understand the writer’s notation. At present, I’m unable to read more than a few lines of your post.
----------------
Moderator: Computers and Technology; Medical Science; Science Projects and Homework; Philosophy of Science; Physics and Mathematics; Environmental Studies
