To, že napr. vety "p" a "~p" v spojení "~(p.~p)" dávajú tautológiu, ukazuje, že si navzájom protirečia. To že vety "p⊃q", "p" a "q" vo forme "(p⊃q).(p):⊃:(q)" dávajú navzájom spojené tautológiou, ukazuje, že q vyplýva z p a p⊃q. To, že "(x).fx:⊃:fa" je tautológia, ukazuje, že fa vyplýva z (x).fx atď. atď.