Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
Apuntes de Logica Proposicional (MSS)

Apuntes de Logica Proposicional (MSS)

Ratings: (0)|Views: 138 |Likes:

More info:

Published by: Brillitte Selene Barrientos Juarez on May 24, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

02/21/2013

pdf

text

original

 
 Apuntes de Lógica Proposicional M.C. Miriam Sánchez Santamaria
2.1.
 
LÓGICA PROPOSICIONAL
La lógica proposicional también llamada lógica de enunciados, lógica de orden 0 o lógica booleana,proporciona un lenguaje formal para representar en forma sencilla diferentes hechos del mundo (que sucedeno no suceden). Los hechos se expresan en forma de enunciados afirmativos, llamados
 proposiciones
.La proposición es el elemento principal de esta lógica. Una proposición es:Una oración, sentencia o enunciado, que puede ser falsa o verdadera, esto es, su valor de verdad.Es una sentencia declarativaRepresenta un hecho de la realidadTiene un valor afirmativoEjemplos de proposiciones:Luis y Marta van de pescaEl autobús pasa a las seisMañana lloveráEstá lloviendoA Juan le gusta bailarEl carro es bonitoLas oraciones de tipo interrogativas, exclamativas o imperativas no son consideradas proposiciones. Porejemplo:¡Siéntate!¿cuándo sale el autobús?¡Qué bonito carro!¿Dónde está Juan?
Sintaxis
El elemento base de la lógica proposicional, es la proposición. La proposición es un enunciado que afirma unhecho. Una proposición es una sentencia atómica
1
representada por un símbolo llamado variableproposicional. A continuación se describe los elementos sintácticos de esta lógica:
 
Variables proposicionales: son símbolos que ocupan el lugar de un enunciado en una inferencia.Los símbolos generalmente son las últimas letras del abecedario a partir de la
 p, p
0
 , p
1
 ,
q,r.
Porejemplo:
 
 p:
el cielo está nublado
 
q:
hace calor
 
r:
el cielo está soleado
 
Conectivas lógicas: son elementos que sirven para enlazar oraciones simples y formar sentenciascompuestas. Las conectivas lógicas son:1.
 
¬
(negación). Sirve para negar una proposición, por ejemplo
¬
 p (
el cielo no está nublado)2.
 
(y, conjunción). Indica una conjunción entre dos proposiciones, ejemplo
 p
 
q
 
1
 
Elementos sintáctico indivisibles
 
 Apuntes de Lógica Proposicional M.C. Miriam Sánchez Santamaria
3.
 
V
(o, disyunción). Indica una disyunción entre dos proposiciones, ejemplo
 p
q
 4.
 
=
> (implica, condicional). Indica la implicación, esto es, la conclusión a partir de premisas oantecedentes. Las implicaciones también se conocen como reglas o afirmaciones si-entonces.Otro símbolos para la implicación es
, Ejemplo
r=>q
 5.
 
<=>
(bicondicional, si y solo si)
 
Los paréntesis ( ), son símbolos auxiliares que son útiles para mejorar la legibilidad o evitar laambigüedad en una sentencia compuesta.
 
Fórmulas proposicionales:
 
Las variables proposicionales son fórmulas (fórmulas atómicas).
 
Las sentencias compuestas son fórmulas. Ejemplos:
 p, (p
v
q),
¬
q, (p
v
¬
q),
 
((p=>q)
(q=>p)
)
 
 
Las letras mayúsculas representan fórmulas. Aunque también se utilizan los símbolos delalfabeto griego (
φ, ψ, β, α
)F:
(p
v
¬
q)
G:
((p=>q
)
v
(q=>p))
 S:
(p
v
q)
 
 
Si F y G son fórmulas entonces también lo son:
¬
F, (F
G)
 ,
(F
v
G)
 ,
(F => G)
 
y (F <=> G).
Semántica
En la lógica proposicional, la semántica especifica cómo obtener el valor de verdad de cualquier sentencia,dado un modelo. En lógica proposicional un modelo son las asignaciones de valores de verdad (falso overdadero) para cada símbolo proposicional. Por ejemplo, en un problema donde se cuenta con 5 símbolosproposicionales relevantes, es posible tener hasta 2
5
modelos posibles.
m
1
= {p=falso, q=falso, r=verdadero, s=verdadero, t=falso}m
2
= {p=verdader, q=falso, r=falso, s=verdadero, t=falso}m
3
= {p=verdadero, q=verdadero, r=verdadero, s=verdadero, t=falso}
Todas las sentencias se construyen a partir de sentencias atómicas y las cinco conectivas lógicas, por tanto esnecesario establecer cómo definir el valor de verdad de las sentencias atómicas, así como el de las sentenciascompuestas.Para las sentencias atómicas, el valor de verdad de cada símbolo proposicional se debe especificardirectamente para cada modelo. Para calcular el valor de cada sentencia compleja según la posible asignaciónde valores de verdad a sus componentes se siguen las reglas para las conectivas. Estas reglas se muestran enlaTabla 1. 
Tabla 1. Tabla de verdad 
 p q ¬p
 p
q
 
 p
 
q
  p => q
 
 p < = > p
 
verdadero verdadero falso verdadero verdadero verdadero verdaderoverdadero falso falso falso verdadero falso falsofalso verdadero verdad falso verdadero verdadero falsofalso falso verdad falso falso verdadero verdadero
 
 Apuntes de Lógica Proposicional M.C. Miriam Sánchez Santamaria
Inferencia
La inferencia lógica es el proceso de razonamiento que permite obtener una consecuencia o conclusión apartir de expresiones acerca de una situación (llamadas premisas), es decir, formalmente, se establece unarelación de implicación entre dos fórmulas.En forma general, la inferencia se representa como sigue:
1
 ,….,F 
n
O bien
1
 ,….,F 
n
 
|=
Una inferencia es válida si y sólo si la conclusión
es verdadera en todas las situaciones en las cuales todaslas premisas
1
 ,….,F 
n
son verdaderas. Si la inferencia es válida, se dice que
es consecuencia lógica de
1
 ,….,F 
n
 
Existen tres tipos de inferencia:
 
Deducción.
La deducción es la aplicación de una regla (premisa 1) a un caso (premisa 2) paraestablecer un resultado (conclusión). Por ejemplo:
o
 
Regla: Todas las piezas de esta bolsa son blancas
o
 
Caso: Estas piezas estaban en esta bolsa
o
 
Resultado: Estas piezas son blancasUna forma básica de inferencia deductiva es el silogismo, que consta de dos premisas y unaconclusión, siendo la conclusión la inferencia de las otras dos.La deducción es un proceso de razonamiento que consiste en elaborar secuencias de aseveracionesacerca de supuestos, creencias, hechos comprobados, entre otros, cuidadosamente formuladas yencadenadas de modo tal que cada aseveración proceda de la anterior. Cada argumento debe tener porlo menos tres aseveraciones, dos denominadas premisas, si se trata de argumentos lógicos, oaseveraciones de soporte si se trata de argumentos convincentes y una tercera que en el caso de losargumentos lógicos constituye la conclusión y en el de los argumentos convincentes, la aseveraciónclave.
Inducción.
La inducción es la inferencia de una regla general a partir de un caso y un resultado.Ejemplo
o
 
Caso: Estas piezas estaban en esta bolsa
o
 
Resultado: Estas piezas son blancas
o
 
Regla: Todas las piezas de esta bolsa son blancas
Abductivo.
Es la inferencia de un caso a partir de una regla general y un resultado. Este tipo deinferencia también se conoce como hipótesis o conjetura. Por ejemplo:
o
 
Regla: Todas las piezas de esta bolsa son blancas
o
 
Resultado: Estas piezas son blancas
o
 
Caso: Estas piezas provienen de esta bolsa

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->