 Perhaps the simplest way of generating a paraconsistent logic, first proposed by Asenjo in his PhD dissertation, is to use a many-valued logic. Classically, there are exactly two truth values. The many-valued approach is to drop this classical assumption and allow more than two truth values. The simplest strategy is to use three truth values: true (only), false (only) and both (true and false) for the evaluations of formulas. The truth tables for logical connectives, except conditional, can be given as follows: