High Quality Content by WIKIPEDIA articles! Computational verb logic is an extension of Boolean logic and fuzzy logic dealing with the concept of truth of irrationals. Whereas classical logic and fuzzy logic hold that everything can be expressed in a truth value at any moment, computational logic replaces static truth values with dynamics of truth. In a word, classical logic and fuzzy logic deal with BE true while computational verb logic deals with BECOME true .