The Home of Awesomesauce Gaming

[reallycool12345]

Even though the 2 blogs that followed me recently are bots I feel compelled to clarify the purpose of this blog is to spam test posts. I would seriously recommend against following it

[reallycool12345]

my code either works correctly or does not work correctly

[reallycool12345]

w = "Tumblr user reallycool12345's code is working."

w∨¬w

Minimized equivalent:

⊤

[reallycool12345]

my code either works correctly or does not work correctly

[reallycool12345]

already going through maintenance... what fun!

[reallycool12345]

w = "I dimplemented things correctly."

𝔻 of x = "All posts."

P(α) = "α contains predicates."

W(α) = "α works right."

w→(∀x(P(x)→W(x)))

Minimized equivalent:

w→(∀x(P(x)→W(x)))

[reallycool12345]

already going through maintenance... what fun!

[reallycool12345]

f = "This post is fully written."

t = "I have to type things out in the terminal like before."

¬f→t

Minimized equivalent:

f∨t

[reallycool12345]

already going through maintenance... what fun!

[reallycool12345]

w = "This works."

p = "This whole post was essetially prewritten in a text file before."

w→p

Minimized equivalent:

w→p

[reallycool12345]

already going through maintenance... what fun!

[reallycool12345]

I can't be bothered to do this stuff. Go my contradiction and tautology tag checks

[reallycool12345]

a = "a"

a∧¬a

Minimized equivelent:

⊥

[reallycool12345]

I can't be bothered to do this stuff. Go my contradiction and tautology tag checks

[reallycool12345]

a = "a"

a∨¬a

Minimized equivelent:

⊤

[reallycool12345]

I can't be bothered to do this stuff. Go my contradiction and tautology tag checks

[reallycool12345]

a = "a"

a∧¬a

Minimized equivelent:

⊥

[reallycool12345]

I can't be bothered to do this stuff. Go my contradiction and tautology tag checks

[reallycool12345]

a = "a"

a∨¬a

Minimized equivelent:

⊤

[reallycool12345]

I can't be bothered to do this stuff. Go my contradiction and tautology tag checks

[reallycool12345]

If everything is working, then all posts with 0-arity variables and predicates will be tagged with both things properly.

[reallycool12345]

w = "Everything is working."

𝔻 of the variable x is all posts.

V(α) = "α contains variables with an arity of 0."

P(α) = "α contains predicates."

T(α) = "α is tagged correctly."

w→(∀x((V(x)∧P(x))→T(x)))

Minimized equivelent:

w→(∀x((V(x)∧P(x))→T(x)))

[reallycool12345]

If everything is working, then all posts with 0-arity variables and predicates will be tagged with both things properly.

[reallycool12345]

If there is a variable with an arity of 0, then this will be tagged "Propositional Logic"

[reallycool12345]

a = "The variable has an arity of 0."

t = "The post is tagged with 'Propositional Logic.'"

a→t

Minimized equivelent:

a→t

[reallycool12345]

If there is a variable with an arity of 0, then this will be tagged "Propositional Logic"

[reallycool12345]

There exists a post that does not have the tag "Propositional Logic"

[reallycool12345]

𝔻 of the variable x is all posts online.

T(α) = "α is tagged 'Propositional Logic.'"

∃x(¬T(x))

Minimized equivelent:

∃x(¬T(x))