Material de apoio: lógica sentencial e de predicados

http://publish.uwo.ca/~jbell/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/c03_3-99.pdf
http://en.wikipedia.org/wiki/Parse_tree
http://www.nyu.edu/gsas/dept/philo/courses/advlogic/
http://filosofiaetc.sites.uol.com.br/chapter1.pdf
http://filosofiaetc.sites.uol.com.br/Novo4.pdf
http://www.iep.utm.edu/p/prop-log.htm
http://plato.stanford.edu/entries/logic-classical/