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.
No hay comentarios.:
Publicar un comentario