Lógica Matemática (MAT23) Avaliação Final (Discursiva) Gabarito

Prévia do material em texto

1.
	Para que possamos tornar a estrutura de sentenças complexas mais transparente, é necessária a introdução de novos símbolos na linguagem do cálculo proposicional, obtendo-se a linguagem do cálculo de predicados. Com esta simbologia podemos traduzir argumentos ou enunciados num formato semelhante ao utilizado em programação. Assim, faça a tradução da linguagem formal para informal e vice-versa de acordo com os itens a seguir, não esquecendo de referenciar os predicados (item c e d) antes de formalizar:
	
	Resposta Esperada:
Resposta:
	2.
	As regras de inferência servem para inferir uma conclusão sobre uma premissa, gerando um argumento que será válido. No caso das equivalências, são informações que podem ser escritas de um modo diferente sem a perda de generalidade. Por fim, temos as regras de derivadas, que servem para facilitar as provas de argumentos, simplificando o processo quando visto das regras básicas já utilizadas. Com todo este conhecimento e utilizando as regras de inferência não hipotéticas, de equivalência e de derivadas, prove o argumento a seguir.
	
	Resposta Esperada:
Resposta: