Traducción (L.Prop.)

Lógica Proposicional

Estudia  las  relaciones  entre  proposiciones  atómicas  (su  unidad  de análisis).  Las  proposiciones atómicas  son aquellas que no están afectadas por una conectiva, a diferencia de las moleculares que contienen al menos una conectiva.

Una proposición es una oración en función informativa de la que se puede decir su verdad o falsedad. 

Ej. p = “Pedro aprueba lógica.”

Lenguaje  objeto:  Compuesto  por  un  vocabulario  lógico  y  no  lógico,  y los  las  fórmulas,  es  decir, aquellas expresiones formadas con ése vocabulario.

El  vocabulario no lógico  incluye a las variables proposicionales (p, q, r, s, t, etc.) que simbolizan una oración o proposición.

El vocabulario lógico son las conectivas, los signos de puntuación y la negación.

Conectivas: 

• Conjunción: ᴧ (y, pero, más, aunque, pues, también, etc.)
• Disyunción: v   (o, al menos uno, o bien, y/o, etc.)
• Condicional:  →  (si… entonces…) Antecedente = Suficiente (si, es razón o condición suficiente para, cuando, en caso de que, a condición de que, con tal que, supuesto, etc.) Consecuente = Necesario (solo si, entonces, es razón o condición suficiente para, etc.)
• Bicondicional: ↔ (si y solo si, es equivalente a, es condición suficiente y necesaria para, siempre y cuando, etc.)

Metalenguaje:  variables  metalógicas:  φ  (phi),  Ψ(psi)  +  conjunto  de reglas  sintácticas,  semánticas  y de formación.