Verajo esas un ek du valori logikala (la duesma es falsajo). La verajo es konciliebleso di logikala frazo kun to, adquo ol relatas.