Translations:The logic of classical language/68/pt

Por uma questão de simplicidade de exposição e leitura, vamos lidar neste capítulo com o símbolo de pertença , o símbolo de consequência e o " tal que " como se fossem quantificadores e conectivos de proposições na lógica clássica