(deben contener un único caracter y estar separados por comas)
(deben contener un único caracter y estar separados por comas)
(deben contener un único caracter y estar separados por comas)
(deben contener un único caracter y estar separados por comas)
[Las atómicas aceptables son 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'o']
[Puede usar '¬'/'not', '&'/'and', 'or', 'then', 'iff', '°'
para la negación, conjuncion, disyunción, condicional, bicondicional y consistencia]
[Ingrese a las premisas separadas por comas y a la conclusión separada con / (e.g. 'p, p then q / q')]