Documente Academic
Documente Profesional
Documente Cultură
PROPOSICIONAL
LA PROPOSICIN
EL LENGUAJE DE LA LGICA PROPOSICIONAL
FORMALIZACIN DE INFERENCIAS
TABLAS DE VERDAD
La proposicin
Es cualquier enunciado que potencialmente
EJERCICIOS
El lenguaje de la lgica
proposicional
Smbolos primitivos
Variables proposicionales
Conectores lgicos
Signos de agrupacin
Reglas de formacin
Uso de signos de agrupacin
Smbolos primitivos
Variables proposicionales: p, q, r, s, t, ..., z.
Cada letra representa una proposicin. , p1, q1, r1, s1, , p2, q2, , z2,
Conectores lgicos: , , , ,
: negacin y se lee no o no es el caso que. CON. MONADICO
Ejemplo: p se lee como no p y sinnimos respectivos.
: conjuncin y se lee y. CONECTOR DIADICO
Ejemplo: p q se lee como p y q.
Variables y Metavariables
Una variable representa una proposicin y est
Reglas de Formacin
1. Toda variable proposicional es una frmula bien
formada (FBF)
2. Si A es una FBF entonces A tambin lo es.
3. Si A y B son FBFs, entonces:
a. A B tambin lo son.
b. A B tambin lo son.
c. A B tambin lo son.
d. A B tambin lo son.
disyuncin?.
En la frmula 2, la condicional o la disyuncin?.
En la frmula 3, los signos de agrupacin, estn mal
ubicados.
Formalizacin de
inferencias 1
Inferencias son razonamientos formados por un
conjunto de proposiciones
Formalizacin de proposiciones atmicas
Toda proposicin simple es traducida al lenguaje formal,
o formalizada, mediante una variable proposicional.
Como la primera variable en asignarse es p, en caso
de tener nicamente una proposicin a formalizar se le
asignar la variable proposicional p. Ejemplos:
Hoy llueve = p
Tengo 5 hijos = p
Estamos de noche = p
Formalizacin de
inferencias 2
Formalizacin de proposiciones
moleculares
No solo las proposiciones sino tambin la(s)
conectiva(s) proposicional(es).
Para ello asignamos la variable proposicional
p a la primera proposicin, q a la segunda,
etc. excepto en los casos en los cuales una
proposicin cuya variable proposicional ya ha
sido asignada vuelve a aparecer; en este caso
se vuelve a simbolizar con la variable
previamente asignada.
Reglas para la
formalizacin
Primera regla: identificar c/u de las proposiciones del enunciado.
Segunda regla: Asignar a c/u una variable proposicional
empezando por p.
Tercera regla: identificar cada una de las conectivas
proposicionales.
Cuarta regla: Asignar a c/u su smbolo respectivo.
Ejemplo:
1
Identificado las proposiciones tenemos:
2
Pedro es contador y Julin es administrador
3
p
q
Pedro es contador y Julin es administrador
p q
4
Pedro es contador y Julin es administrador
p q
Reglas para la
formalizacin
El descontento de los trabajadores se debe a que hubo
Formalizacin de proposiciones
con condicional inverso
El condicional tiene la formulacin Si A,
B A
Formalizacin de
inferencias
A diferencia de las proposiciones moleculares
proposicionales) tendramos:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
p
q
q
p
Aplicando la cuarta regla (formalizacin de las conectivas
proposicionales) tendramos:
Si llueve, habr humedad . No hay humedad. Entonces no llovi.
p
q
p
Representando esta inferencia en lenguaje de LP tendramos entonces:
p q q p
Sin embargo este esquema no es satisfactorio ya que no sabemos cul es
la conectiva de mayor jerarqua ni tampoco como est estructurada la
inferencia que acabamos de simbolizar.
EJERCICIOS
Tablas de verdad
Valores de verdad
Negacin
La nieve es blanca.
Si el valor de verdad de esta proposicin fuera verdadero, su negacin
A
F V
V F
Disyuncin
Adam Smith escribi La Riqueza de las Naciones
o David Ricardo lo hizo.
Lo que nos est diciendo el presente enunciado es que o bien
Adam Smith es el autor de La riqueza de las naciones o bien
David Ricardo lo es. Si se analiza bien esta proposicin
molecular no nos est diciendo que ambas proposiciones sean
verdaderas, nos est indicando que por lo menos una lo es.
Esto quiere decir que para que el enunciado sea verdadero
basta que una de sus proposiciones lo sea (si lo son ambas
mejor) y que por ello nicamente es falso si ambas
proposiciones lo son.
p v q
F F F
A v B
F F F
Conjuncin
Adam Smith escribi La riqueza de las naciones
y David Ricardo escribi Principios de Economa.
Lo que nos est diciendo el presente enunciado es que por
un lado Adam Smith fue autor de La riqueza de las naciones
que por otro lado David Ricardo fue autor de Principios de
Economa. Si se analiza bien esta proposicin molecular nos
est diciendo que ambas proposiciones son verdaderas.
Esto quiere decir que para que el enunciado molecular sea
verdadero, ambas proposiciones tienen que serlo.
Formalizando tenemos:
p q
VVV
Condicional
Si hay inflacin, entonces los precios de los productos se incrementarn.
Formalizando :
p q
No se dice que habr inflacin ni tampoco que el valor de los productos subir; lo
nico que sostiene es que en caso que hubiera inflacin entonces el valor de los
productos subira. Con ello se est estableciendo una relacin causal entre la
inflacin y el incremento del valor de los productos.
Cundo este enunciado sera falso? Este enunciado sera falso slo si se diera el
fenmeno de la inflacin y el valor de los productos no se incrementarn.
Un enunciado condicional es falso nicamente cuando el antecedente es verdadero
y el consecuente es falso.
p q
V F F
Bicondicional
El resultado de la auditora contable ser positivo s y slo si todas las cuentas
resultados:
Todos los valores de verdad son verdaderos. En
este caso recibe el nombre de Tautolgica y se
representa mediante el smbolo T.
Todos los valores de verdad son falsos. En ese
canso recibe el nombre de Contradictoria y se
representa mediante el smbolo .
Presenta tanto valores de verdad verdaderos
como falsos. En ese caso es denominada
Consistente o Contingente y se representa mediante
el smbolo Q.
La Tabla de Verdad
como mtodo decisorio
Uno de los mtodos decisorios tal vez el ms conocido- es el
Procedimiento
Primera regla: Formalizacin de la inferencia.
Segunda regla: Evaluacin en la inferencia a
EJERCICIOS