Conectivas

Conectivas, ou conectores, são recursos que ligam ideias, proposições ou partes da oração para formar enunciados compostos. O termo é utilizado tanto na lógica formal quanto na linguística, com sentidos relacionados, mas usos distintos. Em geral, as conectivas estruturam relações entre elementos, definindo como as informações se combinam e quais inferências são permitidas.

Na lógica proposicional, as conectivas são operadores que combinam proposições simples para formar novas proposições. As principais são: a negação (¬ p), a conjunção (p ∧ q), a disjunção (p ∨ q), a implicação (p → q) e a equivalência (p ↔ q). Existem também conectivas como a disjunção exclusiva (p ⊕ q) e, em alguns sistemas, a negação de implicação. Cada conectiva é associada a uma tabela de verdade que define o valor de verdade do enunciado composto a partir dos valores das proposições componentes.

Na linguística, conectivas são palavras ou expressões que ligam orações ou unidades dentro de uma frase, sinalizando relações entre ideias. Incluem conjunções coordenativas (e, ou, mas), conjunções subordinativas (porque, embora, quando) e advérbios conjuntivos (portanto, contudo, logo). Seu papel é orientar a interpretação de relações como adição, contraste, causa, tempo e condição.

Diferenças importantes: conectivas lógicas são definidas formalmente por regras de inferência e tabelas de verdade, enquanto conectivas linguísticas dependem de uso, contexto e variação entre idiomas. Em lógica, diferentes sistemas formais, como a lógica clássica ou a lógica intuicionista, atribuem diferentes conjuntos de conectivas e operações. Em ciência da computação, conectivas aparecem em expressões booleanas, algoritmos e provas, servindo como base para raciocínio e tomada de decisão.