CRISTOLOGIA

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== CONECTIVOS LÓGICOS =====
Uma [[lexico:l:linguagem|linguagem]] formalizada (ou uma [[lexico:a:algebra|álgebra]], no [[lexico:s:sentido|sentido]] mais [[lexico:g:geral|geral]] do [[lexico:t:termo|termo]]) se compõe de um [[lexico:a:alfabeto|alfabeto]] básico e de diversas regras de ortografia que nos permitem escrever as [[lexico:s:sentencas|sentenças]] "corretas" da linguagem. O alfabeto básico possui duas espécies de signos: aqueles que representam as "[[lexico:p:palavras|palavras]]" da linguagem, propriamente falando-se, e os "sinais de pontuação". Estes últimos nos permitem estruturar as diversas palavras da linguagem construídas com as letras do alfabeto básico.

Há dois tipos de sinais de pontuação: os [[lexico:p:parenteses|parênteses]] e os [[lexico:c:conectivos-logicos|conectivos lógicos]]. Os conectivos lógicos representam a [[lexico:f:formalizacao|formalização]] dos conectivos sentenciais das linguagens naturais; nos sistemas mais difundidos de [[lexico:l:logica|lógica]] binária (todos eles mais ou menos se originando nos [[lexico:p:principia-mathematica|Principia Mathematica]] de Bertrand [[lexico:r:russell|Russell]] e Alfred North Whitehead), costuma-se usar como conectivos o " ~" ([[lexico:n:nao|não]]), "&" ou "." (e), "v" (ou), etc.. Na lógica binária (cuja [[lexico:f:finalidade|finalidade]] inicial era "traduzir", numa linguagem rigorosa, as sentenças empregadas nos raciocínios e enunciados da [[lexico:m:matematica|matemática]]) a utilização destes diversos sinais começou de [[lexico:f:forma|forma]] mais ou menos espontânea, como abreviação de afirmativas encontradas no [[lexico:m:meio|meio]] da [[lexico:d:discussao|discussão]] de um [[lexico:r:raciocinio|raciocínio]] matemático; alguns destes conectivos, inclusive, abreviam conjunções latinas, como "v", que corresponde a vel ("ou"), e "&", correspondendo a et ("e"). As sentenças abreviadas teriam então o [[lexico:a:aspecto|aspecto]] de "p v q" (lido p ou q), ou "p & q r" (lido se p e q, então r) onde p, q, r. ... estão substituindo proposições como "hoje vai chover", "a lua é feita de queijo", "Hitler é um projeta judeu". O sentido das proposições abreviadas não interessa; a lógica se preocupa apenas com sua [[lexico:e:estrutura|estrutura]] interna, e com as transformações desta estrutura. Por [[lexico:e:exemplo|exemplo]], a [[lexico:l:lei|lei]] do meio excluído, " p v p" (não p ou p, ou, de [[lexico:m:modo|modo]] mais aceitável à nossa linguagem comum, p é [[lexico:f:falso|falso]] ou p é [[lexico:v:verdadeiro|verdadeiro]]) vale para qualquer p, tanto para "hoje vai chover" quanto para "Hitler é um projeta judeu". Os absurdos materiais não são tratados pela lógica. A [[lexico:f:funcao|função]] matemática dos conectivos lógicos principiou a [[lexico:s:ser|ser]] esclarecida quando foram provados teoremas que revelavam a [[lexico:e:equivalencia|equivalência]] estrutural entre a lógica binária de proposições e a álgebra [[lexico:i:intuitiva|intuitiva]] dos conjuntos. Hoje em dia costuma-se considerar um conectivos [[lexico:l:logico|lógico]] qualquer c como um "operador" que agindo sobre certas "palavras elementares" p1, p2, p3, • • • pé capaz de gerar uma nova "[[lexico:p:palavra|palavra]]", r. Simbolicamente isto se escreve: c(p1, p2»... p ) = r. (Francisco Doria - [[lexico:d:dcc|DCC]])