You are viewing a single comment's thread from:
RE: An introduction to attribute logic aka first-order logic
F(x):= x is a cognitive dissonance ; G(x):= x is a contradiction
F(x)->G(x) , .gif)
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
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