vaso cu

e valores l´ gicos . . . . . . . . ¸˜ o 3.1.2 Conectivos l´ gicos e proposicoes compostas o ¸˜ 3.1.3 Notacao para c´ lculo proposicional . . . . . ¸˜ a 3.1.4 Operador de conjuncao . . . . . . . . . . . . ¸˜ 3.1.5 Operador de disjuncao . . . . . . . . . . . . ¸˜ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 27 27 28 28 29 29 . . . . . 3 . . . . . . . . . . . . . . . . . . . . . . . . . ´ SUMARIO 4 3.2 3.3 3.4 3.5 3.6 3.1.6 Operador de negacao . . . . . . . . . . . . . . . . . . . . . . ¸˜ 3.1.7 Operador de implicacao . . . . . . . . . . . . . . . . . . . . ¸˜ 3.1.8 Operador de equivalˆ ncia . . . . . . . . . . . . . . . . . . . . e 3.1.9 Operador de disjuncao exclusiva . . . . . . . . . . . . . . . . ¸˜ 3.1.10 Precedˆ ncia dos operadores l´ gicos . . . . . . . . . . . . . . e o Afirmacoes auto-referentes . . . . . . . . . . . . . . . . . . . . . . . ¸˜ Manipulacao l´ gica de proposicoes . . . . . . . . . . . . . . . . . . . ¸˜ o ¸˜ 3.3.1 Tautologias e contradicoes . . . . . . . . . . . . . . . . . . . ¸˜ 3.3.2 Equivalˆ ncia l´ gica . . . . . . . . . . . . . . . . . . . . . . . e o 3.3.3…

e valores l´ gicos . . . . . . . . ¸˜ o 3.1.2 Conectivos l´ gicos e proposicoes compostas o ¸˜ 3.1.3 Notacao para c´ lculo proposicional . . . . . ¸˜ a 3.1.4 Operador de conjuncao . . . . . . . . . . . . ¸˜ 3.1.5 Operador de disjuncao . . . . . . . . . . . . ¸˜ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .…