RE: An introduction to attribute logic aka first-order logic

[thatgermandude]

F(x):= x is a cognitive dissonance ; G(x):= x is a contradiction

F(x)->G(x) , x(¬F(x) und G(x))

I would normally describe it directly with subsets, but I wanted to stay with the vocabulary of the post.

Danke für den Resteem! :D

Comments

[thatgermandude]

I would normally describe it directly with subsets,

Nah I would actually need to describe it with a quantor like i did to put it into context of the rest of the argument