Report copyright - Lógica Proposicional e Dedução Natural · 2018. 12. 1. · Aosuporque \vacas voam", posso concluir que \h a rebanhos a ereos". Se eu supor que \ovelhas voam", chego amesmaconclus~ao
Please pass captcha verification before submit form