"tautológia: Érvelési hiba; önmagával magyarázni ugyanazt."  Egy prédikátumkalkulusbeli formula tautológia akkor igaz a formula. Tévesen használja a tautológia jelentését.