Home
Search
Documents
Subjects
Assertions
Theorems
Users
Log In
Help
A202
Related Documents
D11
: Found on reddit.com: http://www.reddit.com/r/atheism/comments/n8t0l/f...
Related Theorems
(none)
Equivalence Assertions
(none)
Related Subjects
S63
: “
Predicate that is true when x is the whole universe
”
S64
: “
You
”
S65
: “
aware.
”
Favorite Subjects
(none)
A202
:
∀
x
:
Predicate that is true when x is the whole universe
S63
,
(
x
)
⇒
aware.
S65
,
(
x
)
By User 3 on on 2011-12-13
Create a theorem
from this assertion.
Related Assertions
A201
:
∀
x
:
Person or Persons
,
(
x
)
⇒
aware.
S65
,
(
x
)
0 Comments on A202
No comments yet.
add a comment
0 Comments on A202
No comments yet.
add a comment