User contributions
3 November 2021
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"
+18
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"
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..."
+19
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..."
The logic of classical language/pt
Created page with "Predicados"
Translations:The logic of classical language/91/pt
Created page with "Predicados"
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..."
+14
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..."
The logic of classical language/pt
Created page with "Suponha que precisamos provar que a proposição <math>p</math> é verdadeira"
+9
Translations:The logic of classical language/89/pt
Created page with "Suponha que precisamos provar que a proposição <math>p</math> é verdadeira"
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..."
+34
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..."
The logic of classical language/pt
Created page with "Demonstração por absurdo"
Translations:The logic of classical language/87/pt
Created page with "Demonstração por absurdo"
The logic of classical language/pt
Created page with "ou pelo símbolo"
Translations:The logic of classical language/86/pt
Created page with "ou pelo símbolo"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/85/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Filiação"
Translations:The logic of classical language/84/pt
Created page with "Filiação"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/83/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Demonstração"
+1
Translations:The logic of classical language/82/pt
Created page with "Demonstração"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/81/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Quantificador universal"
+3
Translations:The logic of classical language/80/pt
Created page with "Quantificador universal"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/79/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Consequência"
+2
Translations:The logic of classical language/78/pt
Created page with "Consequência"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/77/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Implicação"
+1
Translations:The logic of classical language/76/pt
Created page with "Implicação"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/75/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Negação"
+1
Translations:The logic of classical language/74/pt
Created page with "Negação"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/73/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Disjunção"
Translations:The logic of classical language/72/pt
Created page with "Disjunção"
The logic of classical language/pt
Created page with "que é indicado pelo símbolo"
-3
Translations:The logic of classical language/71/pt
Created page with "que é indicado pelo símbolo"
The logic of classical language/pt
Created page with "Conjunção"
Translations:The logic of classical language/70/pt
Created page with "Conjunção"
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..."
+10
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..."