> c) ∼(a∧b)←(∼a∨∼b) não é um teorema > d) ∼(a∧b)←(∼a∨∼b) tem um contra-modelo
Tal afirmação é FALSA. Ambas as consecuções a seguir são válidas em *qualquer* enquadramento modal, para ambas as negações não-clássicas óbvias (negation as impossibility, negation as unnecessity): ~(a∨b) ⊢ ∼a∧∼b ~a∨~b ⊢ ∼(a∧b) Isto segue diretamente da regra de contraposição global (a ⊢ b / ~b ⊢ ~a), a qual é válida em qualquer lógica modal normal com modalidades negativas (analogamente às regras a ⊢ b / #a ⊢ #b, válidas para as modalidades positivas [] e <>). Derivações curtinhas podem ser encontradas na Proposition 2.5 deste paper: https://scholar.google.com.br/citations?view_op=view_citation&hl=pt-BR&user=fVoG0bYAAAAJ&pagesize=100&citation_for_view=fVoG0bYAAAAJ:NaGl4SEjCO4C Sobre De Morgan, em geral, a Table 5 do outro paper que eu lhe mandei antes podem lhe ajudar a checar rapidamente quais as condições correspondentes sobre os enquadramentos, em cada caso: https://dl.dropboxusercontent.com/u/9291912/papers/16-LMZ-SeqNegMod.pdf []s, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- 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/CAO6j_LhyeSyHeBR0tG2-54tBwhrm3Oa0A_NwR%2B8YLuhaHzbPrg%40mail.gmail.com.
