[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

negating connectives



As per standard logic, negating a connective reverses its truth table. E.g.

 E           na E
 T T : T     F
 T F : F     T
 F T : F     T
 F F : F     T

My question is, firstly:
How do we negate a connective so as to mean "this connective yields a
false/wrong truth table, but its truth-reversal does not necessarily yield a
true/correct truth table"?
For example, if I know that p iff q, I would like to be able to somehow say
that I know that it is false/wrong that p and q.

And secondly:
In asking the first question, am I falling victim to the fallacy of
construing connectives as possible-worlds operators, so that the answer
to my question needs to be sought amid the logic of possible-world
operators rather than the logic of connectives?

--And.