Report - LÓGICA para CIÊNCIA da COMPUTAÇÃO Umaintroduçãoconcisa · † comp[H $ G] = comp[H]+ comp[G]+1. Definição1.5(subfórmula) SejaH umafórmuladaLógicaProposicional,então:

Please pass captcha verification before submit form