fluffykitty wrote:Someone who said something that is always true assuming the law of excluded middle
Moosey wrote:testitemqlstudop wrote:Someone who enjoys making brain-twisting logic statements in English instead of using logical quantifiers.
Someone who may know that ∀(Posts I make)(Post not final->[∃Post][Post after my post)(Post Not first->[∃Post][Post before my post])
And thus that
∃(Person|Person = me)(Person makes brain-twisting logic statements in English and simple observations in logical quantifiers)Someone who can be described as the above post describes the user above the above user
Means
∀(Post|post=one in question)∀(User|User∈{Above user,User above above user})(Post describes User)
Can anyone list properties of the relation describes? for instance, x = y && z describes x ⇒ z describes y.
x = 12, y = 12, rule = AnimatedPixelArt
4.P.qREqWE$4.2tL3vSvX$4.qREqREqREP$4.vS4vXvS2tQ$2.qWE2.qREqWEK$2.2vX
2.vXvSvXvStQtL$qWE2.qWE2.P.K$2vX2.2vX2.tQ2tLtQ$qWE4.qWE$2vX4.2vX$2.qW
EqWE$2.4vX!
x = 12, y = 12, rule = AnimatedPixelArt
4.P.qREqWE$4.2tL3vSvX$4.qREqREqREP$4.vS4vXvS2tQ$2.qWE2.qREqWEK$2.2vX
2.vXvSvXvStQtL$qWE2.qWE2.P.K$2vX2.2vX2.tQ2tLtQ$qWE4.qWE$2vX4.2vX$2.qW
EqWE$2.4vX!
x = 7, y = 9, rule = B3/S23
2o$o2b2o$b2obo$2bo$2bo$obob2o$2o2bo$4bobo$5b2o!
x = 12, y = 12, rule = AnimatedPixelArt
4.P.qREqWE$4.2tL3vSvX$4.qREqREqREP$4.vS4vXvS2tQ$2.qWE2.qREqWEK$2.2vX
2.vXvSvXvStQtL$qWE2.qWE2.P.K$2vX2.2vX2.tQ2tLtQ$qWE4.qWE$2vX4.2vX$2.qW
EqWE$2.4vX!
testitemqlstudop wrote:A chicken that knows how to type
x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!
x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!
x = 12, y = 12, rule = AnimatedPixelArt
4.P.qREqWE$4.2tL3vSvX$4.qREqREqREP$4.vS4vXvS2tQ$2.qWE2.qREqWEK$2.2vX
2.vXvSvXvStQtL$qWE2.qWE2.P.K$2vX2.2vX2.tQ2tLtQ$qWE4.qWE$2vX4.2vX$2.qW
EqWE$2.4vX!
testitemqlstudop wrote:Someone whose post is ambiguous:
- are you exclaiming that my age is 0,
- are you stating that my age is 0! = 1,
- are you exclaiming that my post had 0 value,
- are you stating that my post had 1 value,
- are you exclaiming that my post evaluates to 0 (i.e. wrong) ,
- are you stating that my post evaluates to the bitwise NOT of 0 (i.e. right)?
Kind of odd for you to use postfix notation.
x = 12, y = 12, rule = AnimatedPixelArt
4.P.qREqWE$4.2tL3vSvX$4.qREqREqREP$4.vS4vXvS2tQ$2.qWE2.qREqWEK$2.2vX
2.vXvSvXvStQtL$qWE2.qWE2.P.K$2vX2.2vX2.tQ2tLtQ$qWE4.qWE$2vX4.2vX$2.qW
EqWE$2.4vX!
Users browsing this forum: No registered users and 3 guests