 These truth tables define the three-valued logic completely, as \(\vee\) and \(\neg\) are taken to form an adequate set of connectives and existential and universal quantification are treated as infinite disjunction and conjunction, respectively. 