You are viewing a single comment's thread from:
RE: An introduction to attribute logic aka first-order logic
There can be contradictions that do not cause mental discomfort.
dissonance is a possible subset of contradiction, but not all possibilities.
How would that look in logic notification? ;)
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