ja som sa ucil 8, 25, 52, 81
25 je metaveta o tranzitivnosti implikacie
metavetu 8 myslis tuto:
Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou
na systéme všetkých formúl výrokovej logiky.
Overenie. Pre lubovolné ohodnotenie π je
valπ(A) = valπ(A) (reflexívnost,),
valπ(A) = valπ(B) práve vtedy, ked valπ(B) = valπ(A) (symetria),
ak valπ(A) = valπ(B) a valπ(B) = valπ(C), potom valπ(A) = valπ(C) (tranzitívnost,).