Gostei do exemplo abaixo... Fonte: Introdução à Álgebra Abstrata, de Jaime Evaristo http://professor.ic.ufal.br/jaime/livros/Capitulo%25201.pdf p.11-12
O exemplo a seguir mostra que o significado matemático do se então, embora inusitado, tem sentido também no nosso dia a dia. Imagine que um pai anuncie para sua filha que vai fazer o vestibular para um curso de Medicina: se você passar, então eu lhe dou um carro. Se a filha foi aprovada (p verdade) e recebeu o carro (q verdade), o pai cumpriu a promessa (p => q verdade); se a filha foi aprovada (p verdade) e não recebeu o carro (q falso), o pai descumpriu a promessa (p => q falso); se a filha não foi aprovada (p falso) e não recebeu o carro (q falso), o pai não descumpriu a promessa (p => q verdade); finalmente, se a filha não foi aprovada (p falso) e recebeu o carro (q verdade), o pai também não descumpriu a promessa e, portanto p => q é verdadeiro (nesse caso, o pai pode ter entendido que a filha, mesmo não tendo sido aprovada, merecia, pelo resultado obtido, o prêmio - foi a primeira dos não aprovados, por exemplo). Como p => q só é falso se p é verdadeiro e q é falso, a demonstração de uma assertiva do tipo "se p então q" pode ser feita supondo-se que p é verdade e provando que, a partir daí, q também o é. Normalmente, o predicado p é chamado hipótese (que é o que se supõe ser verdadeiro) e o predicado q é chamado tese (que é o que se quer provar que é verdadeiro). ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com Twitter: http://twitter.com/adolfont ========================================== _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
