Report - LógicayProgramación - cs.us.es fileAlfabeto proposicional: Símbolos proposicionales: Conectivas lógicas: Negación: : Condicional: ! Conjunción: ^ Equivalencia: $ Disyunción:

Please pass captcha verification before submit form