Share Formalização de argumentos. By Antonio Madrid / A formalização de argumentos consiste em representar os seus componentes (premissas e conclusão) através de letras sentenciais e dos símbolos que representam os operadores lógicos.
Share Formalizando sentenças By Antonio Madrid / “… Você esteve no seu clube o dia todo, pelo que vejo.” “Meu caro Holmes!” “Acertei?” “Certamente que sim! Mas como…?” Ele riu da minha expressão perplexa. “Há uma deliciosa ingenuidade em sua natureza, Watson, que me faz sentir prazer no exercício de quaisquer insignificantes poderes que eu possuo á sua custa. Um cavalheiro sai […]
Share Argumentos – “Dando nome aos bois” By Antonio Madrid / Conjunções, disjunções, condicionais, bi condicionais e negação. Assim como na matemática, na lógica nada é acidental. Tudo esta devidamente relacionado (linkado) através de símbolos chamados elementos de ligação.E quando usamos estes símbolos na lógica, estamos assegurando a conexão sintática entre os enunciados. E para entendermos como eles funcionam temos que “dar nomes aos bois”. E […]
Share Lógica com uma pitadinha de humor. Bem pouquinho pra não se acostumar By Antonio Madrid / Pra começar vou apresentar a lógica do bêbado. Quando bebemos, ficamos bêbados. Quando estamos bêbados, dormimos. Quando dormimos, não cometemos pecados. Quando não cometemos pecados, vamos para o Céu. Conclusão: vamos beber para ir pro Céu! E por aí vai…
Share A lógica de Alice no país das maravilhas. By Antonio Madrid / Hoje vamos dar um passeio pelo mundo maravilhoso do escritor Lewis Carroll lógica,uma pequena,mas muito instrutiva,passagem da obra infantil, Alice no país das maravilhas.
Share Elementar, meu caro Watson!!! By Ru Correa / Trem das Onze Adoniran Barbosa Não posso ficar Nem mais um minuto com você Sinto muito amor, Mas não pode ser…
