Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

so basically i have a project about 3 valued logic ie truth=1 false = 0, unknown = 1/2

in a previous project I had to come up with formulae for 2 valued logic as follows:

t(~p) = 1-t(p)

T(p^q) = min[t(p), t(q)]

T(p V q) = max[t(p), t(q)]

~p -> q  === ~p V q => t(p->q) = t[~pVq]
=> max[t(~p), t(q)]
=> max[1-t(p), t(q)]

p<->q === (p->q)^(q->p) => t(p->q) = t[(p->q)^(q->p)]
=> min[t(p->q), t(q->p)
=> min[max[1-t(p), t(q)], max[1-t(q), t(p)]]

using this information I have to define the connectives for 3 valued logic. and I dont really know how to do that. this is due tomorrow, please help!!! :(

share|cite|improve this question
This section of a Wikipedia article should at least get you started. – Brian M. Scott Jun 8 '12 at 7:57
up vote 0 down vote accepted

Unless you need more connectives for your project, you already have a set of connectives for a 3-valued logic. Do you see that both the formulas for conditional and equivalence always yield outputs in {0, 1/2, 1}? If so, since you have connectives which behave just the like the classical operations on {0, 1}, then you know that the formulas you have give you operations on {0, 1/2, 1}. Do you need more possible connectives for conjunction, disjunction, implication, or equivalence for another 3-valued logic?

share|cite|improve this answer
i guess your right, no i do not. i think my teacher just wanted us to state the set of connectives I already had. so i thought maybe I needed more. thanks! – anthony Jun 8 '12 at 17:41

I would suggest looking at Petr Hajek's Basic Logic (many-valued logic). There are several ways to define the connectives. One of famous possibilities is Łukasiewicz's Logic.

See SEP and Wikipedia for more information on other many-valued logics.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.