Lógica Da Verdade Pragmática Apresentada Num Sistema Dedutivo De Tableaux. C. Q. D. 2022, 7.