b'\n_START_ARTICLE_\nConectivo l\xc3\xb3gico\n_START_PARAGRAPH_\nPara a l\xc3\xb3gica, um conectivo l\xc3\xb3gico (tamb\xc3\xa9m chamado de operador l\xc3\xb3gico) \xc3\xa9 um s\xc3\xadmbolo ou palavra usado para conectar duas ou mais senten\xc3\xa7as (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente v\xc3\xa1lida, de modo que o sentido da senten\xc3\xa7a composta produzida dependa apenas das sente\xc3\xa7as originais._NEWLINE_Os conectivos l\xc3\xb3gicos mais comuns s\xc3\xa3o os conectivos bin\xc3\xa1rios (tamb\xc3\xa9m chamados de conectivos di\xc3\xa1dicos), que juntam duas senten\xc3\xa7as, que podem ser consideradas os operandos da fun\xc3\xa7\xc3\xa3o. \xc3\x89 tamb\xc3\xa9m comum considerar nega\xc3\xa7\xc3\xa3o como um conectivo un\xc3\xa1rio._NEWLINE_Conectivos l\xc3\xb3gicos e quantificadores s\xc3\xa3o os dois principais tipos de constantes l\xc3\xb3gicas usadas em sistemas formais como a l\xc3\xb3gica proposicional e a l\xc3\xb3gica de predicados. A sem\xc3\xa2ntica de um conectivo l\xc3\xb3gico \xc3\xa9, muitas vezes, mas n\xc3\xa3o sempre, apresentada como uma fun\xc3\xa7\xc3\xa3o de verdade._NEWLINE_Um conectivo l\xc3\xb3gico \xc3\xa9 similar, mas n\xc3\xa3o equivalente, a um operador condicional.\n_START_SECTION_\nLinguagens formais\n_START_PARAGRAPH_\nEm linguagens formais, fun\xc3\xa7\xc3\xb5es verdade s\xc3\xa3o representadas por s\xc3\xadmbolos inequ\xc3\xadvocos. Esses s\xc3\xadmbolos s\xc3\xa3o chamados "conectivos l\xc3\xb3gicos", "operadores l\xc3\xb3gicos", "operadores proposicionais", ou, na l\xc3\xb3gica cl\xc3\xa1ssica, "conectivos de fun\xc3\xa7\xc3\xb5es de verdade". Veja f\xc3\xb3rmulas bem formadas para saber as regras que permitem que novas f\xc3\xb3rmulas bem formadas sejam constru\xc3\xaddas ao juntar outras f\xc3\xb3rmulas bem formadas usando conectivos de fun\xc3\xa7\xc3\xb5es de verdade._NEWLINE_Conectivos l\xc3\xb3gicos podem ser usados para ligar mais de duas afirma\xc3\xa7\xc3\xb5es, ent\xc3\xa3o \xc3\xa9 comum falar sobre "conectivo l\xc3\xb3gico n-\xc3\xa1rio".\n_START_SECTION_\nLista de conectivos l\xc3\xb3gicos comuns\n_START_PARAGRAPH_\nConectivos l\xc3\xb3gicos comumente usados: Nega\xc3\xa7\xc3\xa3o (n\xc3\xa3o): \xc2\xac, ~ Conjun\xc3\xa7\xc3\xa3o (e): \xe2\x88\xa7, &\xe2\x80\x89, \xe2\x88\x99 Disjun\xc3\xa7\xc3\xa3o (ou): \xe2\x88\xa8 Implica\xc3\xa7\xc3\xa3o material (se...ent\xc3\xa3o): \xe2\x86\x92\xe2\x80\x89,\xe2\x87\x92,\xe2\x8a\x83 Bicondicional (se e somente se): \xe2\x86\x94,\xe2\x89\xa1\xe2\x80\x89,=_NEWLINE_Nomes alternativos para bicondicional s\xc3\xa3o "sse", "xnor" e "bi-implica\xc3\xa7\xc3\xa3o"._NEWLINE_Por exemplo, o significado das afirma\xc3\xa7\xc3\xb5es est\xc3\xa1 chovendo e eu estou dentro de casa \xc3\xa9 transformado quando as duas s\xc3\xa3o combinadas com conectivos l\xc3\xb3gicos:_NEWLINE_Est\xc3\xa1 chovendo e eu estou dentro de casa (P \xe2\x88\xa7 Q) Se est\xc3\xa1 chovendo, ent\xc3\xa3o eu estou dentro de casa. (P \xe2\x86\x92 Q) Se eu estou dentro de casa, ent\xc3\xa3o est\xc3\xa1 chovendo. (Q \xe2\x86\x92 P) Eu estou dentro de casa se e somente se est\xc3\xa1 chovendo (Q \xe2\x86\x94 P) N\xc3\xa3o est\xc3\xa1 chovendo (\xc2\xacP) Para afirma\xc3\xa7\xc3\xa3o P = Est\xc3\xa1 chovendo e Q = Eu estou dentro de casa._NEWLINE_\xc3\x89 tamb\xc3\xa9m comum considerar a f\xc3\xb3rmula sempre verdadeira e a f\xc3\xb3rmula sempre falsa como sendo conectivos: Verdadeiro (\xe2\x8a\xa4, 1 or T) Falso (\xe2\x8a\xa5, 0, or F)'