===== CONECTIVOS LÓGICOS =====
Uma [[lexico:l:linguagem:start|linguagem]] formalizada (ou uma [[lexico:a:algebra:start|álgebra]], no [[lexico:s:sentido:start|sentido]] mais [[lexico:g:geral:start|geral]] do [[lexico:t:termo:start|termo]]) se compõe de um [[lexico:a:alfabeto:start|alfabeto]] básico e de diversas regras de ortografia que nos permitem escrever as [[lexico:s:sentencas:start|sentenças]] "corretas" da linguagem. O alfabeto básico possui duas espécies de signos: aqueles que representam as "[[lexico:p:palavras:start|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:start|parênteses]] e os [[lexico:c:conectivos-logicos:start|conectivos lógicos]]. Os conectivos lógicos representam a [[lexico:f:formalizacao:start|formalização]] dos conectivos sentenciais das linguagens naturais; nos sistemas mais difundidos de [[lexico:l:logica:start|lógica]] binária (todos eles mais ou menos se originando nos [[lexico:p:principia-mathematica:start|Principia Mathematica]] de Bertrand [[lexico:r:russell:start|Russell]] e Alfred North Whitehead), costuma-se usar como conectivos o " ~" ([[lexico:n:nao:start|não]]), "&" ou "." (e), "v" (ou), etc.. Na lógica binária (cuja [[lexico:f:finalidade:start|finalidade]] inicial era "traduzir", numa linguagem rigorosa, as sentenças empregadas nos raciocínios e enunciados da [[lexico:m:matematica:start|matemática]]) a utilização destes diversos sinais começou de [[lexico:f:forma:start|forma]] mais ou menos espontânea, como abreviação de afirmativas encontradas no [[lexico:m:meio:start|meio]] da [[lexico:d:discussao:start|discussão]] de um [[lexico:r:raciocinio:start|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:start|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:start|estrutura]] interna, e com as transformações desta estrutura. Por [[lexico:e:exemplo:start|exemplo]], a [[lexico:l:lei:start|lei]] do meio excluído, " p v p" (não p ou p, ou, de [[lexico:m:modo:start|modo]] mais aceitável à nossa linguagem comum, p é [[lexico:f:falso:start|falso]] ou p é [[lexico:v:verdadeiro:start|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:start|função]] matemática dos conectivos lógicos principiou a [[lexico:s:ser:start|ser]] esclarecida quando foram provados teoremas que revelavam a [[lexico:e:equivalencia:start|equivalência]] estrutural entre a lógica binária de proposições e a álgebra [[lexico:i:intuitiva:start|intuitiva]] dos conjuntos. Hoje em dia costuma-se considerar um conectivos [[lexico:l:logico:start|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:start|palavra]]", r. Simbolicamente isto se escreve: c(p1, p2»... p ) = r. (Francisco Doria - [[lexico:d:dcc:start|DCC]])

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}