Pergunta:
Eu leio há muito tempo em textos técnicos de Matemática construções do tipo «Se um conjunto é finito, então qualquer subconjunto deste também é». Ou, quando muito, «Se um conjunto for finito, então qualquer subconjunto deste também é.» Essas parecem-me erradas (um erro aparentemente oriundo de um anglicismo). A que me parece correta é a seguinte: «Se um conjunto for finito, então qualquer subconjunto deste também será.»
Assim, tenho esta dúvida: em uma frase condicional do tipo «Se (...), então (...)», o verbo na oração subordinada deve necessariamente estar conjugado no modo conjuntivo? Ademais, pode-se estabelecer alguma relação a priori entre os tempos nos quais os verbos das orações principal e subordinada são conjugados?
Agradeço desde já.
Resposta:
Em português, usa-se o presente do indicativo em enunciados genéricos, como são os da matemática ou de outra disciplina científica.
O presente do indicativo figura como tempo característico das frases genéricas, como observa a Gramática do Português (GP), da Fundação Calouste Gulbenkian (2013, pág.. 516)
«O presente do indicativo é também usado em frases genéricas, que representam características típicas ou essenciais de espécies ou outros tipo de entidades [...] como se ilustra em (8):
(8) a. Os tigres são animais ferozes.
b. O embondeiro está em vias de extinção. [...]»
Este valor genérico pode também estar associado a orações condicionais que têm o verbo no indicativo e são interpretadas factualmente, também como se assinala na GP (pág. 2021):
«[...] [A]s construções condicionais podem ser classificadas consoante a proposição expressa pelo antecedente (ou seja, a oração introduzida pelo conector condicional) tenha tido lugar, possa vir a ter lugar ou não tenha tido efetivamente lugar. Assim, o primeiro do seguintes exemplos tem uma interpretação factual ou real; o segundo tem uma interpretação hipotética – o João pode vir a estar doente ou não; e o terceiro tem um interpretação contrafactual ou irreal, ou seja, depreende-se que o Rui não esteve doente:
(147) a. Se o Rui estava doente, a mãe telefonava-lhe todos os dias.
b. Se o Rui estiver doente, a mãe telefonar-lhe-á todos os dias.
...