Pero a ver si el usuario ingresaria: r , luego el simbolo y luego s. Se puede hacer facilmente. Pero la cosa es cuando quedan cosas como (p>q).(q>r)>p , si ingresa eso el usuario dime como lo harias para resolver xDD teniendo en cuenta q puede variar la forma en que pone los parentesis y la cantidad de premisas y etc, etc