Caro Samuel,
que ótima notícia! Parabéns ao grupo todo, e continuem o excelente
trabalho!
Um grande abraço,
Cezar
Em 2017-10-27 17:16, Samuel Gomes da Silva escreveu:
Prezados,
Após uma longa espera de três meses, recebemos hoje a resposta
confirmando: finalmente existe agora a possibilida
Caras e caros colegas,
é com pesar que recebemos a notícia do falecimento, ocorrido ontem, do
Professor Oswaldo Porchat Pereira. Em nome da Sociedade Brasileira de
Lógica, externamos nossas condolências a seus familiares. O Professor
Porchat foi o mestre de muitos de nós que fazemos parte da S
Oi, Cassiano,
vi por uma mensagem do Bruno que você passou o número da sua conta para
a gente contribuir para a coroa de flores que você enviou em nome da
SBL. Vou tentar fazer isso ainda hoje -- mas engraçado, eu não recebi a
mensagem. Aproveitando a ocasião, você recebeu a mensagem em que eu
Caras e caros colegas,
é com profundo pesar que a Sociedade Brasileira de Lógica se
manifesta sobre o falecimento de um de seus mais atuantes membros, a
colega Carolina Blasio. Carolina faleceu num trágico acidente hoje
em Campinas, pouco após a defesa de seu doutorado. Além de compor
a árdua tar
Caras e caros colegas,
encaminho em anexo cópia da carta enviada pela Diretoria da SBL ao
Ministro Gilberto Kassab (MCTIC). A carta também estará em breve
disponível no novo site da SBL, www.sbl.org.br.
Aproveito a ocasião para informar que registramos o domínio sbl.org.br,
e que o novo site
Walter,
obrigado pelo alerta; vamos escrever ao Ministério e ver o que mais
podemos fazer.
Cezar
Em 2017-08-02 16:54, Walter Carnielli escreveu:
Car@s,
OFF TOPIC, mas muito importante: estao sabendo disso?
Acho que a SBL precisa sr mobilizar, em favor de mutos de seus membros
bolsistas, d
Prezadas colegas, prezados colegas,
como vocês devem saber, durante o XVIII Encontro Brasileiro de Lógica em
Pirenópolis, em maio, a Sociedade Brasileira de Lógica (SBL) realizou a
eleição de uma nova diretoria, que somos nós, a saber:
Presidente: Cezar Augusto Mortari (Universidade Federal d
Oi, Eduardo,
ah, ok. Para a fórmula ◻⋄◻P → ◻P, acho que isso é um contramodelo (se
fiz as contas certo):
W = {a,b}
R = {(a,a), (b,b), (a,b)} (R é reflexiva e transitiva)
V(P) = {a} (ou seja, P é falsa só no mundo a)
Em b, as fórmulas P, ◻P, ⋄◻P, ◻⋄◻P, e ◻⋄◻P → ◻P são todas verdadeiras.
Em a,
Caro Eduardo,
mas essas duas fórmulas:
◻P → ◻⋄◻P
⋄◻⋄P → ⋄P,
são válidas em S4; veja na lista abaixo que você colocou. Você está com
dificuldades para falsear as implicações na outra direção, ou seriam
outras as fórmulas causando problemas?
Abraços,
Cezar
Em 2016-12-24 01:57, Eduardo
Oi, Décio,
se é o pessoal que me escreveu uns meses atrás -- convidando para
escrever um capítulo de livro -- é fria. Você tem que pagar para
publicar a coisa; é só um jeito de eles ganharem dinheiro.
Dê um lida nisso, por exemplo (e tem muito mais):
http://blog.pokristensson.com/2010/11/0
10 matches
Mail list logo
