Lógica Matemática (demonstração Indireta)
Enviado: Sáb Nov 26, 2011 21:34Preciso desse exercício pronto amanhã, alguém poderia me audar?
Utilize a regra da Demonstração indireta para mostrar que são válidos os seguintes argumentos:
(p ? q) ? (r ? s ? t), p ? q ? r, r, ~t
logo: ~s
Utilize a regra da Demonstração indireta para mostrar que são válidos os seguintes argumentos:
(p ? q) ? (r ? s ? t), p ? q ? r, r, ~t
logo: ~s