Výrok totožnostno-pravdivý

výrok totožnostno-pravdivý

- vyrok, výraz alebo formula logického kalkulu, ktorá je pravdivá pri akých- koľvek významoch pravdivosti ich premenných. Totožnostno-pravdivostnými výrokmi sú napr. zákony formálnej logiky ( L53;522).