As questoes desta lista possuem etiquetas para facilmente identific ˜ a-las no AVA. ´ Eliquetas como AA11. 1. (AA1) Considere os seguintes fatos: (...

As questoes desta lista possuem etiquetas para facilmente identific ˜ a-las no AVA. ´ Eliquetas como AA11. 1. (AA1) Considere os seguintes fatos: (a) Logica Matem ´ atica ´ e a ´ unica l ´ ogica usada na Computac¸ ´ ao˜ (b) Tarski e Godel s ¨ ao grandes l ˜ ogicos nascidos no s ´ eculo XX (pesquise!) ´ (c) Ha in ´ umeras l ´ ogicas mas todas elas se baseiam no CP ´ (d) O paradoxo de Russel envolve a definic¸ao de um conjunto que certamente cont ˜ em, como ´ elementos, os conjuntos {0} e {0, 1, 2}. (e) Nas Universidades europeias da idade m ´ edia, se aprendia l ´ ogica no Quadrivium