- 17:02, 3 November 2021 diff hist +18 The logic of classical language/pt Created page with "Muitas vezes, no entanto, os enunciados matemáticos não se referem a um único objeto, mas a objetos genéricos de um conjunto, como"
- 17:02, 3 November 2021 diff hist +134 N Translations:The logic of classical language/93/pt Created page with "Muitas vezes, no entanto, os enunciados matemáticos não se referem a um único objeto, mas a objetos genéricos de um conjunto, como" current
- 17:02, 3 November 2021 diff hist +19 The logic of classical language/pt Created page with "O que descrevemos brevemente até agora é a lógica das proposições. Uma proposição afirma algo sobre objetos matemáticos específicos, como: '2 é maior que 1, então 1..."
- 17:02, 3 November 2021 diff hist +267 N Translations:The logic of classical language/92/pt Created page with "O que descrevemos brevemente até agora é a lógica das proposições. Uma proposição afirma algo sobre objetos matemáticos específicos, como: '2 é maior que 1, então 1..." current
- 17:02, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "Predicados"
- 17:02, 3 November 2021 diff hist +10 N Translations:The logic of classical language/91/pt Created page with "Predicados" current
- 17:02, 3 November 2021 diff hist +14 The logic of classical language/pt Created page with "O procedimento consiste em mostrar que a suposição de que <math>p</math> é falsa leva a uma contradição lógica. Assim, a proposição <math>p</math> não pode ser falsa..."
- 17:02, 3 November 2021 diff hist +329 N Translations:The logic of classical language/90/pt Created page with "O procedimento consiste em mostrar que a suposição de que <math>p</math> é falsa leva a uma contradição lógica. Assim, a proposição <math>p</math> não pode ser falsa..." current
- 17:01, 3 November 2021 diff hist +9 The logic of classical language/pt Created page with "Suponha que precisamos provar que a proposição <math>p</math> é verdadeira"
- 17:01, 3 November 2021 diff hist +77 N Translations:The logic of classical language/89/pt Created page with "Suponha que precisamos provar que a proposição <math>p</math> é verdadeira" current
- 17:00, 3 November 2021 diff hist +34 The logic of classical language/pt Created page with "Além disso, na lógica clássica, existe um princípio denominado <u> terceiro excluído </u>, que declara que uma frase que não pode ser falsa deve ser considerada verdadei..."
- 17:00, 3 November 2021 diff hist +229 N Translations:The logic of classical language/88/pt Created page with "Além disso, na lógica clássica, existe um princípio denominado <u> terceiro excluído </u>, que declara que uma frase que não pode ser falsa deve ser considerada verdadei..." current
- 17:00, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "Demonstração por absurdo"
- 17:00, 3 November 2021 diff hist +26 N Translations:The logic of classical language/87/pt Created page with "Demonstração por absurdo" current
- 17:00, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "ou pelo símbolo"
- 17:00, 3 November 2021 diff hist +16 N Translations:The logic of classical language/86/pt Created page with "ou pelo símbolo" current
- 17:00, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 17:00, 3 November 2021 diff hist +29 N Translations:The logic of classical language/85/pt Created page with "que é indicado pelo símbolo" current
- 16:59, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "Filiação"
- 16:59, 3 November 2021 diff hist +10 N Translations:The logic of classical language/84/pt Created page with "Filiação" current
- 16:59, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:59, 3 November 2021 diff hist +29 N Translations:The logic of classical language/83/pt Created page with "que é indicado pelo símbolo" current
- 16:59, 3 November 2021 diff hist +1 The logic of classical language/pt Created page with "Demonstração"
- 16:59, 3 November 2021 diff hist +14 N Translations:The logic of classical language/82/pt Created page with "Demonstração" current
- 16:59, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:59, 3 November 2021 diff hist +29 N Translations:The logic of classical language/81/pt Created page with "que é indicado pelo símbolo" current
- 16:59, 3 November 2021 diff hist +3 The logic of classical language/pt Created page with "Quantificador universal"
- 16:59, 3 November 2021 diff hist +23 N Translations:The logic of classical language/80/pt Created page with "Quantificador universal" current
- 16:58, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:58, 3 November 2021 diff hist +29 N Translations:The logic of classical language/79/pt Created page with "que é indicado pelo símbolo" current
- 16:58, 3 November 2021 diff hist +2 The logic of classical language/pt Created page with "Consequência"
- 16:58, 3 November 2021 diff hist +13 N Translations:The logic of classical language/78/pt Created page with "Consequência" current
- 16:58, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:58, 3 November 2021 diff hist +29 N Translations:The logic of classical language/77/pt Created page with "que é indicado pelo símbolo" current
- 16:58, 3 November 2021 diff hist +1 The logic of classical language/pt Created page with "Implicação"
- 16:58, 3 November 2021 diff hist +12 N Translations:The logic of classical language/76/pt Created page with "Implicação" current
- 16:58, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:58, 3 November 2021 diff hist +29 N Translations:The logic of classical language/75/pt Created page with "que é indicado pelo símbolo" current
- 16:57, 3 November 2021 diff hist +1 The logic of classical language/pt Created page with "Negação"
- 16:57, 3 November 2021 diff hist +9 N Translations:The logic of classical language/74/pt Created page with "Negação" current
- 16:57, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:57, 3 November 2021 diff hist +29 N Translations:The logic of classical language/73/pt Created page with "que é indicado pelo símbolo" current
- 16:57, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "Disjunção"
- 16:57, 3 November 2021 diff hist +11 N Translations:The logic of classical language/72/pt Created page with "Disjunção" current
- 16:57, 3 November 2021 diff hist -3 The logic of classical language/pt Created page with "que é indicado pelo símbolo"
- 16:57, 3 November 2021 diff hist +29 N Translations:The logic of classical language/71/pt Created page with "que é indicado pelo símbolo" current
- 16:57, 3 November 2021 diff hist 0 The logic of classical language/pt Created page with "Conjunção"
- 16:57, 3 November 2021 diff hist +11 N Translations:The logic of classical language/70/pt Created page with "Conjunção" current
- 16:56, 3 November 2021 diff hist +10 The logic of classical language/pt Created page with "A rigor, dentro da lógica clássica, eles não devem ser tratados como tal, mas mesmo que o façamos, isso não muda absolutamente o significado do discurso e nenhuma inconsi..."
- 16:56, 3 November 2021 diff hist +211 N Translations:The logic of classical language/69/pt Created page with "A rigor, dentro da lógica clássica, eles não devem ser tratados como tal, mas mesmo que o façamos, isso não muda absolutamente o significado do discurso e nenhuma inconsi..." current