Re: [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice

2023-08-17 Por tôpico benevidesh.
Saudações, Para inserir fórmulas no LibreOffice o caminho seria ir à opção *Insert* > *OLE object* > *Formula Object* (suponho que o software esteja em inglês). Após seguir esse caminho, uma caixa de input de comandos deve aparecer na parte inferior da tela. Coisas que certamente são viáveis usand

[Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice

2023-08-17 Por tôpico Walter Carnielli
Pessoal, alguém sabe como inserir símbolos lógicos. (quantificadores, operadores modais, implicação, disjunção, negação, conjunção,equivalência, etc). no LibreOffice? Uso a versão do MacOs. Agradeço antecipadamente, abs Waler -- Walter Carnielli CLE and Department