Create deducao_natutal_fitch.tex