Report copyright - Lógica de Predicados Sintaxe. O que não é possível expressar em Lógica Prop. Todo tricolor é um campeão. Roberto é tricolor. Logo Roberto é um campeão
Please pass captcha verification before submit form
Please pass captcha verification before submit form