Oi todos,
eu tou tentando ler o ``S5 is a Paraconsistent Logic and so is
first-order classical logic'', do Jean-Yves Beziau (obs: d� pra
baixar ele aqui: http://www.jyb-logic.org/papers.html) e tou com uma
d�vida, que na verdade � uma d�vida sobre S5...
O artigo diz que em S5 com um operador ∼ definido deste jeito,
∼a := ⋄¬a
todas estas implicações são estritas,
8) ∼(a∧b)→(∼a∨∼b)
9) ∼(∼a∧∼b)→(a∨b)
10) ∼(a∧∼b)→(∼a∨b)
11) ∼(∼a∧b)→(a∨∼b)
12) ∼(∼a∨b)→(a∧∼b)
13) ∼(a∨b)→(∼a∧∼b)
14) ∼(a∨∼b)→(∼a∧b)
15) ∼(∼a∨∼b)→(a∧b)
e eu consegui verificar isso pra todas exceto pra 8...
Eu LaTeXei as minhas anotações e contas e pus aqui:
http://angg.twu.net/LATEX/2016modal.pdf
Agradeço qualquer ajuda...
[[]], Eduardo
P.S.: vou começar a estudar LFIs assim que eu entender melhor esse
sistema baseado em S5, juro!
--
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 [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gq68QNFiUq2m4pQfuz72aD2A1xYzSpbwA43hqEBw7ESw%40mail.gmail.com.
