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

[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 of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
https://advancedinstitute.ai/
Blog https://waltercarnielli.com/

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

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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.