Translations:The logic of classical language/89/pt

Suponha que precisamos provar que a proposição é verdadeira