Lóxica proposicional

En lóxica e matemática, unha **lóxica proposicional** (ou **cálculo proposicional**, ou **cálculo sentencial** ou mesmo **lóxica de orde cero**) é un sistema formal no cal as fórmulas representan proposicións que poden ser formadas pola combinación de proposicións  atómicas usando conectivos lóxicos e un sistema de regras de derivacións, que permite que certas fórmulas sexan estabelecidas como "teoremas" do sistema formal.

En termos xerais, un cálculo é frecuentemente presentado como un sistema formal que consiste nun conxunto de expresións sintáticas (fórmulas ben formadas), un subconxunto distinguido desas expresións, e un conxunto de regras formais que define unha relación binaria específica, que se pretende interpretar como a noción de equivalencia lóxica, no espazo das expresións.

Cando o sistema formal ten o propósito de ser un sistema lóxico, as expresións deben ser interpretadas como asercións matemáticas, e as regras, coñecidas como regras de inferencia, normalmente son preservadoras da verdade. Nesa configuración, as regras (que poden incluír axiomas) poden entón ser usadas para inferir fórmulas representando asercións certas.

O conxunto de axiomas pode ser baleiro, un conxunto finito non baleiro, un conxunto finito numerable, ou pode ser dado por axiomas esquemáticos. Unha gramática formal define recursivamente as expresións e fórmulas ben formadas da linguaxe. Alén diso, pode presentarse unha semántica para definir verdade e valoracións.

A linguaxe dun cálculo proposicional consiste en:
# un conxunto de símbolos primitivos, definidos como fórmulas atómicas, proposicións atómicas, ou variables, e
# un conxunto de operadores, interpretados como operadores lóxicos ou conectivos lóxicos.
Unha fórmula ben formada é calquera fórmula atómica ou calquera fórmula que pode ser construída a partir de fórmulas atómicas, usando conectivos de acordo coas regras da gramática.

O que segue define un cálculo proposicional padrón. Existen moitas formulacións distintas que son todas máis ou menos equivalentes mais que difiren nos detalles:
# da súa linguaxe, que é a colección particular de símbolos primitivos e operadores,
# do conxunto de axiomas, ou fórmulas distinguidas, e
# do conxunto de regras de inferencia.

A táboa lateral mostra as principais variantes de notación para cada unha das conectivas da lóxica proposicional

## Abstracción e aplicacións 
Aínda que sexa posible construír un cálculo abstracto formal que non ten uso práctico inmediato e practicamente ningunha aplicación obvia, o nome cálculo indica que esta especie de sistema formal ten súa orixe na utilidade dos seus membros protópicos no cálculo práctico. En xeral, calquera cálculo matemático é creado coa intención de representar un correcto dominio de obxectos formais, e tipicamente co obxectivo de facilitar as computacións e inferencias que precisan  ser realizadas sobre esta representación. Así, antes de se desenvolver o propio cálculo, débese dar unha idea da súa notación pretendida, isto é, dos obxectivos formais que se pretende denotar coas fórmulas do cálculo.

Visto ao longo de seu desenvolvemento histórico, un cálculo formal para calquera tópico de estudo normalmente xorde a través dun proceso de abstracción gradual, refinamento paso a paso, e síntese por tentativa e erro a partir dun conxunto de sistemas notacionais informais previos, cada un dos cales tratando do mesmo dominio de obxectos só en parte ou dun ángulo en particular.

## Descrición xenérica dun cálculo proposicional 
A lóxica proposicional ten como obxectivo modelar o raciocinio humano, partindo de frases declarativas (proposicións). Para entender mellor o que é unha proposición considérese a frase "1 máis 1 é igual a 10" ou simbolicamente, "1 + 1 = 10". Esta frase é unha proposición no sentido de que é unha aserción declarativa, ou sexa, afirma ou nega un feito, e ten un valor de verdade, que pode ser certo ou falso. Neste caso, nun sistema de numeración de base 2, a proposición anterior sería certa, mentres que no sistema decimal sería falsa. Outro exemplo é a afirmación "hoxe é un día quente", cun valor de verdade que vai depender de varios factores: o lugar sobre o que se está a falar, os instrumentos de medidas e de comparación (como os datos estatísticos de temperatura desa rexión), e principalmente de quen está avaliando (dúas persoas, mesmo considerando as mesmas condicións nos ítems anteriores, poden avaliar de xeito diferente). Ou sexa, o valor verdade dunha proposición non é un concepto absoluto, mais depende dun contexto interpretativo. Hai incluso proposicións, que mesmo nun contexto interpretativo claro e non ambíguo, para as cales non é posible establecer de forma incuestionable a súa veracidade ou falsidade (polo menos co coñecemento actual da humanidade). Mais, en lóxica, o importante non é o valor de verdade que unha proposición poida tomar nun determinado contexto interpretativo, mais a posibilidade de que “en principio” sexa posible atribuír un valor de verdade, e que sexa posible razoar con estas proposicións.

A lóxica proposicional estuda *como* razoar con afirmacións que poden ser certas ou falsas, ou aínda *como* construír a partir dun correcto conxunto de hipóteses (proposicións certas nun determinado contexto) unha demostración de que unha determinada conclusión é certa no mesmo contexto. Así, son fundamentais as nocións de proposición, verdade, dedución e demostración. A lóxica proposicional clásica é un dos exemplos máis simples de lóxica formal. Esta lóxica ten en conta, soamente, os valores de verdade certo e falso e a forma das proposicións. O estudo detallado desa lóxica é importante porque contén case todos os conceptos importantes necesarios para o estudo de lóxicas máis complexas.

### Descrición 
Un cálculo proposicional é un sistema formal \mathcal{L} =  (\Alpha,\ \Omega,\ \Zeta,\ \Iota) cuxas fórmulas son construídas da seguinte maneira:
* O conxunto \Alpha é un conxunto finito de elementos chamados símbolos de proposición, variables proposicionais ou simplemente átomos. Sintacticamente falando, son os elementos máis básicos da linguaxe formal \mathcal{L}, tamén chamados *fórmulas atómicas* ou *elementos terminais*. Nos exemplos a seguir, os elementos de \Alpha son as letras \mathcal{P},\ \mathcal{Q},\ \mathcal{R}, en diante.
* O conxunto omega \Omega é un conxunto finito de elementos chamados símbolos de operadores ou conectivos lóxicos. O conxunto \Omega divídese entre os seguintes conxuntos distintos:
*: \Omega = \Omega_0 \cup \Omega_1 \cup \ldots \cup \Omega_j \cup \ldots \cup \Omega_m \,.
*: Nesta división, \Omega_j é o conxunto dos símbolos de aridade j.
*: Nos cálculos proposicionais máis familiares, \Omega adoita dividirse en termos de:
*: \Omega_1 = \{ \lnot \} \,,
*: \Omega_2 \subseteq \{ \land, \lor, \rightarrow, \leftrightarrow \} \,.
*: Unha opción frecuentemente adoptada é tratar os valores lóxicos constantes como operadores de aridade cero. Así:
*: \Omega_0 = \{\bot, \top \} \,.

*: Algúns autores empregan o til (~) en lugar de (¬); e algúns usan o (&) ou (\cdot) en lugar de (∧). A notación varía aínda máis para o conxunto de valores lóxicos, con símbolos como {falso, certo}, {F, V}, ou {0, 1} todos sendo usados en varios contextos ao contrario de {\bot, \top}.
* Dependendo da gramática formal específica que se está a empregar, auxiliares sintácticos como a paréntese esquerda, “(”, e a paréntese dereita, “)”, poden ser necesarios para completar a construción das fórmulas.

A linguaxe de \mathcal{L}, tamén coñecida como o seu conxunto de fórmulas, fórmulas ben formadas ou *fbfs*, defínese recursiva ou indutivamente polas seguintes regras:
# Base. Calquera elemento do conxunto \Alpha é fórmula de \mathcal{L}.
# Paso (a). Se \mathcal{P} é unha fórmula, entón ¬\mathcal{P}, é unha fórmula.
# Paso (b). Se \mathcal{P} e \mathcal{Q} son fórmulas, entón (*\mathcal{P}* ∧ *\mathcal{Q}*), (*\mathcal{P}* ∨ *\mathcal{Q}*), (*\mathcal{P}* → *\mathcal{Q}*), e (*\mathcal{P}* ↔ *\mathcal{Q}*) son fórmulas.
# Pechado. Nada máis é unha fórmula de \mathcal{L}.
  
Aplicacións relacionadas con esas regras permiten a construción de fórmulas complexas. Por exemplo:
# Pola regra 1, \mathcal{P} é unha fórmula.
# Pola regra 2, ¬ \mathcal{P} é unha fórmula.
# Pola regra 1, \mathcal{Q} é unha fórmula.
# Pola regra 3, (¬\mathcal{P} ∨ \mathcal{Q} é unha fórmula.
* O conxunto \Zeta é un conxunto finito de regras de transformación que son coñecidas como regras de inferencia do punto de vista das aplicacións lóxicas.
* O conxunto \Iota é un conxunto finito de puntos iniciais que son chamados de axiomas cando reciben interpretacións lóxicas.

### Táboas de verdade e conectivas lóxicas 
Sexa \mathcal{L} unha linguaxe que conteña as proposicións P, Q e R.

Que se pode dicir sobre a proposición P? Para comezar, segundo o principio de bivalencia, é ou certa ou falsa. Isto represéntase así:

Agora, que se pode dicir sobre as proposicións P e Q? Ou ambas son certas, ou a primeira é certa e a segunda é falsa, ou a primeira é falsa e a segunda é certa, ou ambas son falsas. Isto represéntase así:

Unha táboa para P, Q e R é:

Cada liña da táboa (fóra da primeira que contén as fórmulas) representa unha valoración.

Para fórmulas como \neg P, Q\lor R ou \left(Q\land R\right)\to \left(P\leftrightarrow Q\right) pódense establecer os valores que reciben en vista do valor de cada fórmula atómica que as compón. Faise por medio das táboas de verdade.

Os primeiros pasos para construír unha táboa de verdade consisten en:
# Unha liña en que están contidas todas as subfórmulas dunha fórmula e a propia fórmula. Por exemplo, a fórmula \neg \left(\left( P\land Q\right)\to R \right) ten o seguinte conxunto de sub-fórmulas: \neg \left(\left( P\land Q\right)\to R \right) ten o seguinte conxunto de sub-fórmulas: \left \{ \left( P\land Q\right)\to R, P\land Q, P, Q, R \right\}
# l liñas en que están todos os posibles valores que as proposicións atómicas poden recibir e os valores recibidos polas fórmulas moleculares a partir dos valores destes átomos.

O número de liñas é l = n^t, sendo n o número de valores que o sistema permite (sempre 2 no caso do CPC) e t o número de átomos que a fórmula contén. Así, se unha fórmula contén 2 átomos, o número de liñas que expresan a permutacións entre estes será 4: un caso de ambos foren certos (V V), dous casos de só un dos átomos for certo (V F , F V)  e un caso no cal ambos foren falsos (F F). Se a fórmula contiver 3 átomos, o número de liñas que expresan a permutacións entre estes será 8: un caso de todos os átomos seren certos (V V V), tres casos de só dous átomos seren certos (V V F , V F V , F V V), tres casos de só un dos átomos ser certo (V F F , F V F , F F V)  e un caso no cal todos átomos son falsos (F F F).

### Unha fórmula 
Entón, para a fórmula \neg \left(\left( P\land Q\right)\to R \right), tense:

Para completar esta táboa precísase definir os operadores lóxicos.

#### Negación 
A negación ten o valor inverso da fórmula negada:

Nunha linguaxe \mathcal{L} na cal P significa "*Sócrates é mortal*", \neg P pode ser interpretada como "*Sócrates non é mortal*", e, se o primeiro é certo, o segundo é falso; e se o primeiro é falso, o segundo é certo.

Interpretar a negación por medio de antónimos tamén é unha alternativa, mais débese ter cautela, pois non sempre se pode aplicar. No exemplo enriba a interpretación por medio de antónimos é perfectamente aplicable, ou sexa, se P significa "*Sócrates é mortal*", \neg P pode ser interpretada como "Sócrates é inmortal". Por outro lado, nunha linguaxe \mathcal{L} na cal Q significa "*Xoán é bo xogador*", a proposición "*Xoán é mao xogador*" non é a mellor interpretación para \neg Q (Xoán podería ser só un xogador mediano).

#### Conxunción 
A conxunción entre dúas fórmulas só é certa cando ambas son certas:

Nunha linguaxe \mathcal{L} na cal P significa "*Son cidadán europeo*" e Q significa "*Son estudante de filosofía*", P\land Q pode ser interpretada como "*Son cidadán europeo e estudante de filosofía*"; o que só é verdade se P é certa e Q é certa.

A conxunción é conmutable, ou sexa, P\land Q é equivalente a Q\land P,.

A conmutatividade da conxunción trae un problema para formalizar proposicións da linguaxe natural no Cálculo Proposicional Clásico, pois a orde en que as oracións aparecen pode suxerir unha secuencia temporal. Por exemplo "*Sabela casou e tivo un fillo*" é ben distinto de "*Sabela tivo un fillo e casou*".

Proposicións que levan a palabra "mais" tamén poden ser formalizadas pola conxunción. Por exemplo, nunha linguaxe \mathcal{L} na cal R significa "*Xoán foi atropelado*" e D significa "*Xoán sobreviviu ao atropelo*", as sentenzas "*Xoán foi atropelado e* *sobreviviu*" e "*Xoán foi atropelado*,* mais sobreviviu*" poden ambas ser formalizadas R\land D.

#### Disxunción 
A disxunción entre dúas fórmulas só é certa cando polo menos unha delas é certa:

A disxunción tamén é conmutativa.

Se P significa "*Sabela estuda filosofía*" e Q significa "*Sabela estuda matemáticas*", P\lor Q pode ser interpretada como "*Sabela estuda filosofía ou matemáticas*"; o que só é falso se nin P nin Q foren certas.

Coa disxunción é preciso tomar moito coidado tanto na interpretación das fórmulas como na formalización de proposicións, pois na linguaxe natural moitas veces os disxuntos exclúense. Por exemplo: "*Unha moeda ao ser lanzada resulta en cara ou cruz*", "*Nestas vacacións eu vou viaxar ou ficar en casa*". Para estes casos emprégase a disxunción exclusiva ou a biimplicación combinada coa  negación.

#### Implicación ou condicional 
A implicación, ou condicional (SE-ENTÓN), entre dúas fórmulas só é falsa se a da esquerda (antecedente) for certa e a da dereita (consecuente) for falsa:

A implicación non é conmutativa.

Se nunha linguaxe \mathcal{L}, P significa "O botón vermello foi apertado" e Q significa "O lugar enteiro estoura", P\to Q pode ser interpretada como "*Se o botón vermello foi apertado, entón o lugar enteiro estoura*", mais se o botón vermello for apertado (verdade de P) e o lugar enteiro non estourar, este resultado é falso (falsidade de Q).

#### Equivalencia 
A biimplicación ou equivalencia ("se e soamente se"), entre dúas fórmulas é certa cando ambas son certas ou ambas son falsas.

A equivalencia é conmutativa.

Se P significa "*O número natural é divisible entre cinco*" e Q significa "'*O último algarismo do número natural é cero ou cinco*", P\leftrightarrow Q pode ser interpretada como "*O número natural é divisível por 5 se, e soamente se, o seu último algarismo é cero ou cinco*". Basta que unha das proposicións ou condicións sexa falsa para que o enunciado se torne falso.

### Táboa da fórmula 
E agora completamos a táboa da fórmula proposta inicialmente

#### Resumo da táboa de verdade dos cinco operadores básicos
### Regras de inferencia 
Tamén se pode construír un sistema de lóxica proposicional a partir dun conxunto baleiro de axiomas. Para iso, especifícanse unha serie de regras de inferencia que tentan captar a forma en que razoamos naturalmente sobre as conectivas lóxicas.

; Redución ao absurdo: De (p \to q) e (p \to \neg q), inferimos \neg p.
: Que podemos escribir formalmente como \{ (p \to q), (p \to \neg q) \} \vdash \neg p.

;Eliminación da dupla negación: De \neg \neg p, deducimos p.
: É dicir, \neg \neg p \vdash p.
;Introdución da conxunción: De p e q, inferimos (p \land q).
: É dicir, \{ p, q \} \vdash (p \land q).
;Eliminación da conxunción: De (p \land q), inferimos p.
: De (p \land q), inferimos q.
: É dicir, (p \land q) \vdash p e (p \land q) \vdash q.
;Introdución da disxunción: De p, inferimos (p \lor q).
:De q, inferimos (p \lor q).
: É dicir, p \vdash (p \lor q) e q \vdash (p \lor q).
;Eliminación da disxunción: De (p \lor q) e (p \to r) e (q \to r), dedúcese r.
: É dicir, \{p \lor q, p \to r, q \to r\} \vdash r.
;Introdución do bicondicional: De (p \to q) e (q \to p), inferimos (p \leftrightarrow q) ,
: que podemos esciribir como \{p \to q, q \to p\} \vdash (p \leftrightarrow q).
;Eliminación do bicondicional: De (p \leftrightarrow q), inferimos (p \to q).
: De (p \leftrightarrow q), inferimos (q \to p).
: É dicir, (p \leftrightarrow q) \vdash (p \to q) e (p \leftrightarrow q) \vdash (q \to p).
;Modus ponens (eliminación do condicional): de p e (p \to q), inferimos q.
: é dicir, \{ p, p \to q\} \vdash q.
;Proba condicional (introdución do condicional): Aceptando que p permite unha proba de q, deducimos (p \to q ) .
: É dicir, (p \vdash q) \vdash (p \to q).

### Outras forma de argumentos básicos e derivados 
: Modus tollens 
::  ((p \rightarrow  q) \land \lnot q) \models \lnot p , 
:: con palabras: Se *p* entón *q*; non *q*; consecuentemente non *p*.
: Teoremas de De Morgan 
:: \lnot(p \land q) \rightarrow (\lnot p \lor \lnot q)
:: \lnot(p \lor q) \rightarrow (\lnot p \land \lnot q)

:Siloxismo hipotético
::((p \to q) \land (q \to r)) \models (p \to r)
::  ou , ou ambos os dous; non ; por tanto, .
: Dilema construtivo
::((p \to q) \land (r \to s) \land (p \lor r)) \models (q \lor s)
::Se  entón ; e se  entón ; e a maiores  ou ; deducimos  ou .

: Dilema destrutivo
::((p \to q) \land (r \to s) \land(\neg q \lor \neg s)) \models (\neg p \lor \neg r)
:: Se  entón ; e se  entón ; e a maiores non  ou non ; deducimos non  ou non .

## Notas 
## Véxase tamén 
### Bibliografía 
* Bedregal, Benjamín René Callejas, e Acióly, Benedito Melo (2002), *Lógica para a Ciência da Computação*, Versión Preliminar, Natal, RN.
* GORSKY, Samir. *A semántica alxébrica para a lóxica modal e seu interese filosófico.* Dissertación de mestrado. IFCH-UNICAMP. 2008.
* *Lóxica e filosofía*, páxina con informacións como ligazóns a departamentos de filosofía do Brasil e doutros países, textos académicos filosóficos e tópicos sobre historia da filosofía.
### Outros artigos 
* Símbolos lóxicos
* Conectiva lóxica