Pastebin
API
tools
faq
paste
Login
Sign up
SHARE
TWEET
Untitled
a guest
Nov 25th, 2017
70
0
Never
Add comment
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!
text
0.10 KB
| None
|
0
0
raw
download
clone
embed
print
report
**∀x[∃y[L(y, x) ^ ∀z[L(z, x) -> (y = z)]]] ^ ∃x[L(x; x)] = ∃x[¬∃y[L(y, x) ^ ¬(x = y)]]**
Add Comment
Please,
Sign In
to add comment
Public Pastes
🤑 G2A.com Free Gift Card Guide May 2024 FIX 🤑
GetText | 17 min ago | 0.39 KB
Iris
Lua | 32 min ago | 0.01 KB
AbcdtyuioX
C++ | 32 min ago | 0.13 KB
Untitled
C++ | 34 min ago | 1.68 KB
Array
PHP | 36 min ago | 0.76 KB
Untitled
C# | 41 min ago | 3.81 KB
Untitled
C++ | 45 min ago | 1.36 KB
practice hsc 2
C++ | 53 min ago | 1.43 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the
Cookies Policy
.
OK, I Understand
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!