Oi Eduardo. Me parece imediato:
∼(a∧b) = ⋄¬(a∧b) <-> ⋄ (¬a ∨ ¬b) -> ⋄¬a ∨ ⋄¬b = (∼a∨∼b) Qual a dificuldade? A única manipulação modal é a versão ⋄ do axioma K da lógica modal: ⋄ (¬a ∨ ¬b) -> (⋄¬a ∨ ⋄¬b ) []s 2016-12-27 17:39 GMT-02:00 Eduardo Ochs <[email protected]>: > 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ê recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gq68QNFiUq2m4pQfuz72aD2A1xY > zSpbwA43hqEBw7ESw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gq68QNFiUq2m4pQfuz72aD2A1xYzSpbwA43hqEBw7ESw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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/CABqmzx02oF5WXwrf9h7MBowXCKa77rMQCi88BhDfhoMjy3TiWA%40mail.gmail.com.
