Regra de introdução como a do conetivo OU:p_____p tonk qq_____p tonk q Regra de eliminação como a do conetivo E:p tonk q_____pp tonk q_____q Pronto, agora você já pode chamar seus amigos, e impressioná-los deduzindo o que quiser de qualquer...
Mostrando postagens com marcador Domingo cabeça. Mostrar todas as postagens
Mostrando postagens com marcador Domingo cabeça. Mostrar todas as postagens
Assinar:
Postagens (Atom)
