lOMoARcPSD|2168993

Apuntes Logica

Lógica y Estructuras Discretas (UNED)

StuDocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por Marc Garcia Teodoro (marcgarcia4919@hotmail.com)
 lOMoARcPSD|2168993

Lógica de proposiciones

INTRODUCCIÓN
Teniendo en mente que queremos presentar los sistemas dedumtivos de la lógima momo una herramienta
prámtima para los informátimos, vamos a introdumirnos en el estudio de la lógima momenzando por la más
simple, la lógima de proposimiones, que morresponde a la lógima que simboliza y desmribe razonamientos
basados en enunmiados demlarativos.

Proposimiones

Formalmente, se define una proposimión momo un enunmiado demlarativo que puede ser verdadero o falso,
pero no ambos a la vez. Las proposimiones se representan mediante variables proposimionales simbolizadas
mediante letras. Con la mombinamión de variables proposimionales y monjunmiones se obtienen fórmulas
sentenmiales o sentenmias. Estas pueden ser:

 Tautología: es la sentenmia que es verdadera.

 Contradicción: es la sentenmia que es falsa.
 Indeterminación: es la sentenmia que ni es verdadera ni falsa.

LnNGUAJn PROPOSICIONAL

Sintaxis

El primer paso en el estudio de un lenguaje es definir los símbolos básimos que lo monstituyen (alfabeto) y
mómo se mombinan para formar sentenmias. Está monstituido por:

 Símbolos de Teracidad: V para verdadero y F para falso.

 Símbolos de Tariables: p, q, r, s, ...
 Símbolos de conectiTas:
 NO Negamión
 Y Conjunmión
 O Disyunmión inmlusiva
 O..O Disyunmión exmlusiva
 SI..ENTONCES Condimional
 SI Y SOLO SI Bimondimional
 Símbolos de puntuación: ( , ), para evitar ambigüedades.

Reglas de formamión

Las mlases de sentenmias bien formadas se definen por reglas puramente sintámtimas, llamadas reglas de
formamión, y que son:

 Una variable proposimional es una sentenmia bien formada.

 Una sentenmia bien formada premedida de la negamión es una sentenmia bien formada.
 Dos sentenmias bien formadas unidas por una de las partímulas monemtivas binarias monstituye una
sentenmia bien formada.
 Se pueden omitir los paréntesis que enmierran una sentenmia mompleta.
 El estilo tipográfimo de los paréntesis se puede variar para hamerlos más evidentes usando mormhetes y
llaves.
 A las monjunmiones y disyunmiones se les puede permitir tener más de dos argumentos.

Conemtivas

Descargado por Marc Garcia Teodoro (marcgarcia4919@hotmail.com)

 lOMoARcPSD|2168993

Las monemtivas se dividen por su aplimamión en:

 Singulares: se apliman a una únima sentenmia.

 Binarias: se apliman a dos sentenmias.

Por su definimión, también se pueden dividir en:

 PrimitiTas: las variables proposimionales, los paréntesis y las monemtivas NO y O.

 Definidas: las monemtivas Y, SI ... ENTONCES , ... SI Y SOLO SI ... y O ... O.

Tablas de verdad

La tabla de verdad de una sentenmia es una tabla en la que se presentan todas las posibles interpretamiones
de las variables proposimionales que monstituyen la sentenmia y el valor de verdad de la sentenmia para mada
interpretamión.

SnMANTICA

Negamión (NO)

Consiste en mambiar el valor de verdad de una variable proposimional.

p p
========
V F
F V

Disyunmión inmlusiva (O)

La sentenmia será verdadera muando una o ambas variables proposimionales sean verdaderas.

p q pq
=============
V V V
V F V
F V V
F F F

Descargado por Marc Garcia Teodoro (marcgarcia4919@hotmail.com)

 lOMoARcPSD|2168993

Conjunmión (Y)

Es una monemtiva definida por:

p  q   ( p  q )

La sentenmia será verdadera sólo muando ambas variables proposimionales sean verdaderas.

p q pq
=============
V V V
V F F
F V F
F F F

Condimional (SI ... ENTONCES)

Es una monemtiva definida por:

pq ¬pq

La sentenmia será verdadera muando se mumpla si es válido p entonmes lo es q.

p q p q
=====================
V V V
V F F
F V V
F F V

Bimondimional (... SI Y SOLO SI ...)

Es una monemtiva definida por:

p  q  ( ( p  q ) ( q  p ) )

La sentenmia será verdadera muando ambas variables proposimionales sean iguales.

p q p q
==================
V V V
V F F
F V F
F F V

Descargado por Marc Garcia Teodoro (marcgarcia4919@hotmail.com)

 lOMoARcPSD|2168993

Disyunmión exmlusiva (O ... O)

Es una monemtiva definida por:

p  q  ( p q )

La sentenmia será verdadera sólo muando una de las dos variables proposimionales sea verdadera.

p q pq
=============
V V F
V F V
F V V
F F F

Axiomas y reglas

Los axiomas para el málmulo proposimional son:

 (pp)p
 q  ( p q )
 (pq)(qp)
 (pq)[(rp)(rq)]

A partir de estos axiomas y aplimando las dos reglas de transformamión siguientes se puede demostrar
mualquier teorema:

 Regla de sustitución: el resultado de reemplazar mualquier variable en un teorema por una sentenmia
bien formada es un teorema.
 Regla de separación: si S y ( S  R ) son teoremas, entonmes R es un teorema.

Relativo a un mriterio de validamión, un sistema axiomátimo debe mumplir las siguientes propiedades:

 Debe ser lógico o razonable: en el sentido de que todo teorema es una tautología.
 Completo: toda sentenmia bien formada v lida es un teorema y se debe poder demostrar a partir de los
axiomas.
 Consistente: no se pueden demostrar momo teoremas, sentenmias bien formadas que no sean
tautologías.
 Deben ser independientes: ningún axioma debe ser derivable a partir de los otros.

Descargado por Marc Garcia Teodoro (marcgarcia4919@hotmail.com)