Domanda di Luca: Software per scrivere formule ed enunciati con operatori logici? Salve a tutti, sto cercando disperatamente un sw che mi permetta di scrivere parte della tesi che riguarda la logica-matematica modale. Quindi avrei bisogno dell’operatore di negazione, implicazione, quantificatori, operatori modali, simbolo di deduzione e di verificazione….insomma tutto!!! Qualcuno ha qualche idea? GRAZIE […]