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
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
> ---
> 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
---
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.
