LGICA PROPOSICIONAL (NO MODAL)

Enfoque desde un punto de vista semntico:

Definicin de Lenguaje formal

1.- Definir smbolos y reglas de formacin.

2.-interpretaciones (asignacin de valor e verdad a las letras)

3.- Verdad

1.- Lenguaje proposicional L: contiene tres tipos de smbolos. En este

lenguaje las letras representan un enunciado completo.

Smbolos de L

Un conjunto infinito (numerables) de letras

proposicionales >P, Q, R, P1, P2, P3, Pn
Conectivos lgicos, ,
Parntesis

1.- REGLAS DE FORMACIN PARA L:

1. Toda letra proposicional es una frmula bien formada.

2. Si y son frmulas bien formadas cualesquiera, entonces
tambin son frmulas bien formadas las siguientes
expresiones
no alfa, alfa y beta, alfa o beta, alfa implica beta, si y slo si
alfa entonces beta.
3. No hay ms frmulas bien formadas
Conjuncin> conjuntos; disyuncin> disyuntos; condicional>
antecedente, consecuente; bicondicional> trminos del bicondicional;
negacin > 0.

2.- Interpretaciones
Una L- interpretacin es una asignacin de valores de verdad (V o
F) a todas las letras proposicionales. (i.e. asignar un valor de verdad a
cada letra).
La verdad es variable segn el contexto.
Definimos el valor de verdad de todas las frmulas en cada una de
las L-interpretaciones.

TABLAS DE VERDAD

La disyuncin en lgica es incluyente.

Implicacin material o condicional
Los conectivos proposicionales son funcionales de verdad (truth
functional)
Obs: en cada interpretacin, todas las frmulas tienen un nico
valor de verdad.
Obs: el valor de verdad de una frmula en una interpretacin
depende nicamente
del valor de verdad de sus letras no de las letras que no aparecen.
(teorema de
coincidencia) i.e. la lgica es finita.
Argumento correcto: relacin existente entre los valores de verdad entre
la premisa y la conclusin. No puede haber una conclusin falsa si las
premisas son verdaderas.
Lgica bivalente: donde hay dos valores: verdadero y falso.
Lgica polivalente: donde hay ms de dos valores de verdad.
Lo esencial en los enunciados del espaol es que tienen valor de
verdad.
En lgica, lo que no est explcitamente prohbido, est permitido.
Letras griegas como metavariables.
Definicin de interpretacin y de verdad de Tarsky.

Teorema de induccin matemtica (axioma esencial de los nmeros

naturales)
Lenguaje formal es fijo, no cambia como es el caos de las lenguas
naturales.

Expansiones del lenguaje: cuando se aaden nuevos smbolos a un

lenguaje formal.
Numerable: que se puede numerar (subndices)

Teora de contrafcticos

Verdades lgicas: son verdaderas en cualquiera de las interpretaciones, i.e.

tautologas.
Falsedades lgicas: lo contrario de los anterior, i.e. contradicciones lgicas.

Contigencias lgicas: valor de verdad dependiente del contexto.

Recursin: la clase de frmulas bien formadas. (i.e. las

combinaciones correctas de
smbolos).

NOCIONES SEMNTICAS:

Una frmula es una tautologa si es verdadera en todas las

interpretaciones. (Cfr. Lgicamente verdadera y . . .)
Una frmula es una contradiccin si es falsa en todas las
interpretaciones.
Una frmula es contingente si es falsa en alguna interpretacin y
verdadera en alguna otra.

Cada rengln de la tabla de verdad representa una asignacin de valores de

verdad.

Semana el 18 de mayo: clase sobre def de verdad de Tasky.