Sintesis de Lógica Proposicional

LÓGICA PROPOSICIONAL
VEAMOS LOS SIGUIENTES RAZONAMIENTOS:

SI LA HISTORIA HA LLEGADO A SU FIN, LA HUMANIDAD ESTA
CONDENADA A REPETIRSE. EFECTIVAMENTE, LA HISTORIA HA
LLEGADO A SU FIN. POR LO TANTO, LA HUMANIDAD ESTA
CONDENADA A REPETIRSE.
Premisa 1
Premisa 2
SI LAS VARIABLES ECONÓMICAS PERMANECEN ESTABLES ENTONCES Conclusión

HAY REACTIVACIÓN Y CRECIMIENTO. LAS CIFRAS INDICAN QUE
HAY REACTIVACIÓN Y CRECIMIENTO. EN CONSECUENCIA, LAS
VARIABLES ECONÓMICAS PERMANECEN ESTABLES.
Ambos razonamientos son deductivos, es decir, que tiene dos premisas y de estas
surge la conclusión.
Sin embargo, no son silogismos categóricos cuya forma pueda abstraerse en
términos de “todo… es… “ o “ninguno… es…”, etc.
En estos razonamientos la conclusión se infiere a partir de la presencia de ciertos
temas como “si… entonces…” o “… y…”, etc., que vinculan entre sí las diversas
proposiciones y que hoy se estudian en la lógica proposicional.
Proposiciones atómicas: son la mínima unidad de la que podemos predicar verdad o

falsedad. Por ejemplo: “las variable económicas permanecen estables”, “hay
reactivación”, “hay crecimiento”, etc. Cada proposición atómica se simboliza con
mediante letras “p”, “q”, “r”, etc., y reciben el nombre de variables proposicionales.
Proposiciones moleculares: están compuestas por “una o más” proposiciones

atómicas y su valor de verdad depende del valor de verdad de la o las
proposiciones atómicas que la componen. Por ejemplo. “hay reactivación y
crecimiento”; este caso hay dos atómicas unidad por el conector “y”.
Diversas clases de proposiciones moleculares
Tipo Conector Símbolo Tabla de verdad Ejemplo Proposición
molecular
La proposición conjuntiva es Vamos a cenar y al cine.
Conjuntiva Y, pero, aunque
verdadera si y sólo si ambos
componentes son verdaderos
Salí pero me aburrí.
Fui a caminar aunque me dolía el
p.q
pie.
V La proposición disyuntiva
“O”, “…o bien…”, “…o
incluyentes es falsa si y solo si
ambos componentes son falsos.
Vamos al cine o a cenar pvq
bien… o bien…”, “a
Disyuntiva La proposición disyuntiva Solo tengo tiempo para ir al cine o
menos que…”, “salvo
que…”
W
excluyente es falsa si y solo si
ambos componentes tienen el
a cenar pwq
mismo valor de verdad
“si…, …”, “si…, La proposición condicional es Si estudio mucho entonces tengo
entonces…”, “es falsa si y solo si su antecedente es chance de entrar en la universidad.
Condicional condición suficientes verdadero y su consecuente es p q
para…”, “cuando…, falso.
…”
“… si y solo si…”, “… La proposición bicondicional es Ingresa en la facultad si y solo si
cuando y solo verdadera si y solo si ambos aprueba el examen
Bicondicional
cuando…”, “… es
condición suficiente y
componentes tienen el mismo
valor de verdad.
p q
necesaria para…”, “…
es equivalente a…”
“no”, “no es cierto
que…”, “no es verdad
La negación invierte el valor de
una proposición. Mientras que el
Napoleón murió en Francia. p
Negación que…”, “no es el caso resto de las conectivas son Napoleón no murió en Francia.
que…” diádicas,
monádica.
la negación es -p
Simbolización en formas proposicionales y tablas de verdad
Hasta ahora solo hemos simbolizado proposiciones atómicas y moleculares en las que aparece una sola conectiva
(conjuntiva, disyuntiva, etc.).
A partir de ahora aprenderemos a simbolizar proposiciones moleculares que combinan más de una conectiva. Veamos
los siguientes ejemplos:
“No fue al cine pero concurrió al teatro No es cierto que fue al cine y al teatro
- p . q - (p . q)
Si estudia y tiene suerte entonces aprobará Si estudia entonces aprobará y egresará
(p . q) r p (q . r)
No es cierto que si ensanchan la avenida y pasa la autopista entonces derribarán las casas
- | ( p . q ) r |
Cuando una proposición atómica se repite debe repetirse la variable proposicional que la
simboliza. Por ejemplo:
Rocco comió y no comió carne

p . - p
Eduardo fue al cine o no fue al cine

p v - p
No es el caso que Pedro estudia y no estudia
- ( p . - p )
Valiéndonos de las tablas de verdad de las conectivas que conocemos se puede hallar la tabla de
verdad de cualquier forma proposicional.
Veamos a continuación los ejemplos
Supongamos la forma proposicional: “-p . q”
1- Debemos asignarles los - p . q Esta asignación agota todas las

posibles combinaciones de valores
componentes de verdad y falsedad v v
de verdad entre p y q.
a cada uno de los átomos f v
v f
f f
2- Se resuelve la tabla de verdad

que requiere cada conectiva; en
primer lugar la de menor alcance y 1 2
luego la de mayor alcance. - p . q
f v f v
En este ejemplo el signo “-” afecta solo a v f v v
“p”, es lo primero que se debe resolver; y f v f f
al resultado que obtenemos (1) lo v f f f
confrontamos con los valores de “q”;
llegando así al resultado final (2)
Si la forma proposicional es: – (p . q) la
tabla de verdad se halla del siguiente modo
2 1
- (p . q)
f v v v
v f f v
v v f f
v f f f
Si la forma proposicional presenta tres variables (p, q, r), la asignación de valores en lugar de tener 4 hileras
tendrá 8 (esto se debe a que son dos valores (verdadero y falso) y se eleva a la cantidad de variables. Es
decir, 2 elevado a 3 es igual a 8)
1 2
(p . q) r
v v v v v
f f v v v
v f f v v
f f f v v
v v v f f
f f v v f
v f f v f
f f f v f
Si la forma proposicional es: p v -p la tabla de verdad se halla del
siguiente modo:
2 1
p v - p
v v f v
f v v f

Sintesis de Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Sintesis de Lógica Proposicional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sintesis de Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

LÓGICA PROPOSICIONAL

VEAMOS LOS SIGUIENTES RAZONAMIENTOS:

SI LAS VARIABLES ECONÓMICAS PERMANECEN ESTABLES ENTONCES Conclusión

Proposiciones atómicas: son la mínima unidad de la que podemos predicar verdad o

Proposiciones moleculares: están compuestas por “una o más” proposiciones

Si estudia y tiene suerte entonces aprobará Si estudia entonces aprobará y egresará

Rocco comió y no comió carne

Eduardo fue al cine o no fue al cine

No es el caso que Pedro estudia y no estudia

1- Debemos asignarles los - p . q Esta asignación agota todas las

2- Se resuelve la tabla de verdad

También podría gustarte