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.
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… […]