Text this: Solutions to Exercices in Symbolic Logic