Aap2 - Elementos da Matemática I

As regras de inferências são exemplos de argumentos válidos. Assumem grande importância pois são utilizadas nas demonstrações de teoremas.

Vimos as seguintes regras de inferência: Modus Ponens, Modus Tollens, Regra da Adição, Regra da simplificação, regra da absorção, silogismo hipotético, silogismo disjuntivo, regra da bicondicional, dilema construtivo e dilema destrutivo.

Considere o argumento:

Argumento:

Premissa 1:  

Premissa 2:

Conclusão: 

A alternativa que apresenta uma possibilidade de decodificação correta para a língua natural para esse argumento é:

Alternativas:

• a)
• Argumento:
• Premissa 1: Não é verdade que Carlos é médico e é professor ou Paula é geóloga.
• Premissa 2: É verdade que Carlos é médico e é professor.
• Conclusão: Paula é geóloga.
• b)
• Argumento:
• Premissa 1: Se Paulo é médico, então não é professor ou Paula não é geóloga.
• Premissa 2: É verdade que Paulo é médico e professor.
• Conclusão: Paula é geóloga.
• c)
• Argumento:
• Premissa 1: Não é verdade que Paulo é médico e professor e Paula é geóloga.
• Premissa 2: É verdade que Paulo é médico e não é professor.
• Conclusão: Paula é médica.
• d)
• Argumento:
• Premissa 1: Não é verdade que, se Paulo é médico, então é professor ou Paula é geóloga.
• Premissa 2: É verdade que se Paulo é médico, então é professor.
• Conclusão: Paula é geóloga.
• e)
• Argumento:
• Premissa 1: Se Paulo é médico, então é professor ou Paula é geóloga.
• Premissa 2: Não é verdade que se Paulo é médico, então é professor.
• Conclusão: Paula é geóloga.