Formalização de argumentos.
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.
Formalizando sentenças
“… 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 […]
Argumentos – “Dando nome aos bois”
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 […]
Lógica com uma pitadinha de humor. Bem pouquinho pra não se acostumar
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… […]
A lógica de Alice no país das maravilhas.
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.