proposicoes, porque tem valor de verdade, isto e, sao verdadeiras ou falsas, ainda que, acerca de algumas, nao saibamos, neste momento, se sao verdadeiras ou falsas:1. Sao Paulo e capital do Brasil.2. Sao Paulo e uma grande metropole.3. A neve e branca.4. Ha seres extraterrestres inteligentes. A frase 1 e falsa, a 2 e a 3 sao verdadeiras. E a 4? Bem, nao sabemos qual e o seu valor de verdade, nao sabemos se e verdadeira ou falsa, mas sabemos que tem de ser verdadeira ou falsa. Por isso, tambem exprime uma proposicao. Uma proposicao e uma entidade abstrata, e o pensamento que uma frase declarativa exprime literalmente. Ora, um mesmo pensamento pode ser expresso por diferentes frases. Por isso, a mesma proposicao pode ser expressa por diferentes frases. Por exemplo, as frases "O governo demitiu o presidente da TAP" e "O presidente da TAP foi demitido pelo governo" exprimem a mesma proposicao. As frases seguintes tambem exprimem a mesma proposicao: "A neve e branca" e "Snow is white".Verdade e Validade A verdade e uma propriedade das proposicoes. A validade e uma propriedade dos argumentos. E incorreto falar em proposicoes validas. As proposicoes nao sao validas nem invalidas. As proposicoes so podem ser verdadeiras ou falsas. Tambem e incorreto dizer que os argumentos sao verdadeiros ou que sao falsos. Os argumentos nao sao verdadeiros nem falsos. Os argumentos dizem-se validos ou invalidos. Quando e que um argumento e valido? Diz-se que um argumento e valido quando e impossivel que as suas premissas sejam verdadeiras e a conclusao falsa. Repara que, para um argumento ser valido, nao basta que as premissas e a conclusao sejam verdadeiras. E preciso que seja impossivel que sendo as premissas verdadeiras, a conclusao seja falsa. Entao, repara que podemos ter: Argumentos validos, com premissas verdadeiras e conclusao verdadeira; Argumentos validos, com premissas falsas e conclusao falsa; Argumentos validos, com premissas falsas e conclusao verdadeira; Argumentos invalidos, com premissas verdadeiras e conclusao verdadeira; Argumentos invalidos, com premissas verdadeiras e conclusao falsa; Argumentos invalidos, com premissas falsas e conclusao falsa; e Argumentos invalidos, com premissas falsas e conclusao verdadeira. Mas nao podemos ter: Argumentos validos, com premissas verdadeiras e conclusao falsa.Partes da proposicaoTermos Os termos sao as coisas das quais a proposicao fala, seu sujeito e seu predicado (ou melhor, o nucleo deles). Na logica aristotelica, os termos devem ser termos gerais. Um termo geral e um item linguistico que designa os membros de uma dada classe ou colecao de coisas. Por exemplo, o termo geral animais com rins designa todos os animais que tem rins. A totalidade destes animais forma a classe dos animais com rins. O termo geral, contudo, nao designa a classe em si, mas sim os seus membros, os proprios animais.Quantificadores Os quantificadores sao os elementos da proposicao que indicam a quantidade que estamos considerando do termo geral que esta no sujeito da proposicao, ou seja, se estamos falando algo da classe inteira do sujeito (todo(s), nenhum) ou so de parte dela (algum(s)). Ou ainda, se estamos considerando o termo sujeito universalmente ou parcialmente (o termo