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 usando as ferramentas nativas do LibreOffice:
forall x %phi x ; exists x %psi x; A toward B ; A drarrow B; A equiv B; A dlrarrow B; neg A; A and B; A or B; Note que: - ponto e vírgula acima ocorrem apenas para separar os exemplos; - diferente do (La)TeX, a barra inversa (\) não é necessária para os símbolos lógicos; Ao lado direito da tela também aparece uma caixa de diálogo com outras opções. Fico devendo símbolos da linguagem modal. abs, H. Em qui., 17 de ago. de 2023 às 14:43, Walter Carnielli <walte...@unicamp.br> escreveu: > 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 of Philosophy > University of Campinas –UNICAMP, Brazil > AI2- Advanced Institute for Artificial Intelligence > https://advancedinstitute.ai/ > Blog https://waltercarnielli.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc%3D6BHw621qivyGxO1dfsy%2BpCTvUX1pBeR8CXmjMrjFXA%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJeOJZR19KAATTN%2B0Yc_LMg3TvL7FeP1%3D%2B0FQGg%2Bn%2BNSyK1e%3DQ%40mail.gmail.com.
