ATIVIDADE 1 - MAT - LÓGICA MATEMÁTICA - 53_2024

Prévia do material em texto

AE1 
 Atividade de Estudo 1 
Acadêmico: Emily Gabriely Dias Campos Da Silva R.A.: 19124237-5 
Curso: Licenciatura em Matemática 
Disciplina: Lógica Matemática 
Valor da atividade: 0,5 
Prazo para postagem: 08/09/2024 23:59 (horário de Brasília). 
 
 
 A proposição “Se uma casa é da cor vermelha, então ela não é grande, nem é 
cara” situa logicamente a condição de não ser grande e não ser cara como necessária 
para que uma casa seja da cor vermelha. Com base nessas informações, construa a 
tabela verdade dessa proposição e a classifique em tautologia, contradição ou 
contingência. 
 
 A tabela verdade, que reflete com precisão a proposta feita, encontra-se abaixo. 
 
 A proposição "Se uma casa é da cor vermelha, então ela não é grande, nem é cara" 
indica que se uma casa é vermelha, ela obrigatoriamente não será grande nem cara. 
 
 Para construir a tabela verdade, analisaremos as possíveis combinações de valores 
lógicos para as proposições "casa é vermelha" (P), "casa é grande" (Q) e "casa é cara" (R): 
 
P Q R ~Q ~R ~Q∧~R P → (~Q ∧ ~R) 
V V V F F F F 
V V F F V F F 
V F V V F F F 
V F F V V V V 
F V V F F F V 
F V F F V F V 
F F V V F F V 
F F F V V V V 
 
 
 
 A proposição original é representada pela coluna P → (~Q ∧ ~R). Notamos que a 
proposta é verdadeira em todas as situações, com exceção que uma casa é vermelha, 
grande e cara. 
 
 A tabela realmente confirma que, em todas as situações em que uma casa não está 
vermelha, grande e cara simultaneamente, a proposição original é verdadeira. Isso implica 
que, para ser vermelha, uma casa não deve ser grande ou cara, confirmando o nível de 
necessidade estabelecido na proposição.