├── .gitignore ├── LICENSE.md ├── README.md ├── assets ├── .DS_Store ├── by.pdf ├── ficha-cat.pdf ├── forallx-cover-readme_md.png ├── forallx-coverart-screen.png ├── logo-ufrn-flat.pdf └── ppgfil-logo.pdf ├── forallx-yyc-alternatives.tex ├── forallx-yyc-backmatter.tex ├── forallx-yyc-content.tex ├── forallx-yyc-fol.tex ├── forallx-yyc-frontmatter.tex ├── forallx-yyc-glossario.tex ├── forallx-yyc-interpretations.tex ├── forallx-yyc-metatheory.tex ├── forallx-yyc-ml.tex ├── forallx-yyc-notation.tex ├── forallx-yyc-preface.tex ├── forallx-yyc-prooffol.tex ├── forallx-yyc-prooftfl.tex ├── forallx-yyc-quickreference.tex ├── forallx-yyc-tfl.tex ├── forallx-yyc-truthtables.tex ├── forallx-yyc-what.tex ├── forallxyyc-local-sample.sty ├── forallxyyc.sty ├── paratodxsnatal-print.tex ├── paratodxsnatal.tex ├── pdfx.sty └── test.txt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/README.md -------------------------------------------------------------------------------- /assets/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/.DS_Store -------------------------------------------------------------------------------- /assets/by.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/by.pdf -------------------------------------------------------------------------------- /assets/ficha-cat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/ficha-cat.pdf -------------------------------------------------------------------------------- /assets/forallx-cover-readme_md.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/forallx-cover-readme_md.png -------------------------------------------------------------------------------- /assets/forallx-coverart-screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/forallx-coverart-screen.png -------------------------------------------------------------------------------- /assets/logo-ufrn-flat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/logo-ufrn-flat.pdf -------------------------------------------------------------------------------- /assets/ppgfil-logo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/assets/ppgfil-logo.pdf -------------------------------------------------------------------------------- /forallx-yyc-alternatives.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-alternatives.tex -------------------------------------------------------------------------------- /forallx-yyc-backmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-backmatter.tex -------------------------------------------------------------------------------- /forallx-yyc-content.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-content.tex -------------------------------------------------------------------------------- /forallx-yyc-fol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-fol.tex -------------------------------------------------------------------------------- /forallx-yyc-frontmatter.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-frontmatter.tex -------------------------------------------------------------------------------- /forallx-yyc-glossario.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-glossario.tex -------------------------------------------------------------------------------- /forallx-yyc-interpretations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-interpretations.tex -------------------------------------------------------------------------------- /forallx-yyc-metatheory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-metatheory.tex -------------------------------------------------------------------------------- /forallx-yyc-ml.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-ml.tex -------------------------------------------------------------------------------- /forallx-yyc-notation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-notation.tex -------------------------------------------------------------------------------- /forallx-yyc-preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-preface.tex -------------------------------------------------------------------------------- /forallx-yyc-prooffol.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-prooffol.tex -------------------------------------------------------------------------------- /forallx-yyc-prooftfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-prooftfl.tex -------------------------------------------------------------------------------- /forallx-yyc-quickreference.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-quickreference.tex -------------------------------------------------------------------------------- /forallx-yyc-tfl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-tfl.tex -------------------------------------------------------------------------------- /forallx-yyc-truthtables.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-truthtables.tex -------------------------------------------------------------------------------- /forallx-yyc-what.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallx-yyc-what.tex -------------------------------------------------------------------------------- /forallxyyc-local-sample.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallxyyc-local-sample.sty -------------------------------------------------------------------------------- /forallxyyc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/forallxyyc.sty -------------------------------------------------------------------------------- /paratodxsnatal-print.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/paratodxsnatal-print.tex -------------------------------------------------------------------------------- /paratodxsnatal.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/paratodxsnatal.tex -------------------------------------------------------------------------------- /pdfx.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/pdfx.sty -------------------------------------------------------------------------------- /test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/HEAD/test.txt --------------------------------------------------------------------------------