Para entender a função das regras de inferência em um sistema formal, precisamos considerar o que elas fazem. As regras de inferência são utilizadas para derivar novas expressões ou conclusões a partir de expressões já conhecidas, ou seja, elas ajudam a estabelecer relações lógicas entre as expressões. Vamos analisar as alternativas: a) Gerar boas expressões a partir de expressões anteriores - Isso é parcialmente correto, mas "boas expressões" não é um termo técnico claro no contexto de regras de inferência. b) Atribuir os valores de verdade das expressões - Isso não é a função das regras de inferência, mas sim de uma avaliação lógica. c) Verificar a validade ou invalidade dos argumentos - Essa é uma função importante das regras de inferência, pois elas ajudam a determinar se as conclusões seguem logicamente das premissas. d) Criar novos símbolos do alfabeto da linguagem - As regras de inferência não têm essa função. e) Caracterizar as expressões como tautologias - Isso não é uma função das regras de inferência, mas sim uma análise de validade. Diante disso, a alternativa que melhor descreve a função das regras de inferência é: c) Verificar a validade ou invalidade dos argumentos.