Report copyright - Tema 12: Interpretaciones de Herbrand - FIWIKIP 1, P 2, …, P n] |- C correcta sii P 1 P 2 … P n ¬C insatisfacible Una fórmula A es insatisfacible sii no existe ninguna interpretación
Please pass captcha verification before submit form