Logica Proposicional

ISFD “RFA”
Tecnicatura Superior en desarrollador de sofware
Prof: Quiñones, Nelson Ariel
Fecha: 23-03-2021
Tema: Lógica Proposicional
Lógica proposicional
La lógica proposicional, o a veces lógica de orden cero, es un sistema
formal cuyos elementos más simples representan proposiciones, y cuyas constantes
lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones,
capaces de formar otras proposiciones de mayor complejidad.
Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero
tienen variables proposicionales (es decir, que se pueden interpretar como
proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los
sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que
dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a
partir de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones más simples.
Valorar o hallar valor lógico de una proposición: averiguar la falsedad o veracidad de la
misma. V ⇔ verdad ⇔ 1, F ⇔ falso ⇔ 0. Álgebra de proposiciones: Construcción de
fórmulas lógicas y estudio de su veracidad o falsedad así como de sus propiedades
Tablas de verdad
Representación de todas las combinaciones posibles de falsedad o veracidad de una

proposición atómica o molecular. Contiene 2n filas, siendo n la cantidad de variables de la
proposición molecular.
Ejemplos de Tablas de verdad

n=1 p (entonces tenemos 21 =2 esto es la cantidad de filas)
p
0
1
n=2 p q (entonces tenemos 22 =4 esto es la cantidad de filas)
p q
0 0
0 1
1 0
1 1
n=3 p q r (entonces tenemos 23 =8 esto es la cantidad de filas)
p q r
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
n=4 p q r s (entonces tenemos 24 =16 esto es la cantidad de filas)
p q r S
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
Obsérvese que esta es la manera de combinar para poder tener todas las
combinaciones posibles
Operadores lógicos
Como habíamos hablado anteriormente cuando es verdadero vale 1 y cuando es falso
vale 0 podemos formular nuestras tablas tanto con 0 y 1 o con f y v en este caso
formularemos nuestras tablas con 0 y 1.
Negación: Dada una proposición p su contraria no p es verdadera cuando aquella es
falsa y se simboliza ¬p
p -p
0 1
1 0
Conjunción o producto lógico: Dadas dos proposiciones p, q , el producto lógico es

la proposición molecular p y q que se simboliza (p ∧ q), es verdadero cuando ambos
es verdadero
p q p˄q
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción o suma lógica: Dadas dos proposiciones p, q, la suma lógica es la

proposición molecular p o q que se simboliza (p ∨ q), es falso cuando ambos son
falsos
p q p˅q
0 0 0
0 1 1
1 0 1
1 1 1
Disyunción exclusiva: Dadas dos proposiciones p, q, la disyunción exclusiva es la

proposición molecular que se simboliza (p ∆ q) es un tipo de disyunción lógica de dos
operandos que es verdad si solo un operando es verdad pero no ambos.
p q p∆q
0 0 0
0 1 1
1 0 1
1 1 0
Condicional: Dadas dos proposiciones p, q , el condicional es la proposición

molecular si p entonces q que se simboliza (p → q), es falso cuando p es verdadero y
q es falso
p q p→q
0 0 1
0 1 1
1 0 0
1 1 1
Bicondicional: Dadas dos proposiciones p, q , el bicondicional es la proposición
molecular p si y solo si q que se simboliza (p ↔ q), es verdadero cuando ambas
proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o
falsas simultáneamente; de lo contrario, es falso.
p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1
Tautología contradicción y contingencia

Tautología: proposición que es siempre verdadera independiente de los valores de
veracidad de sus proposiciones componentes. Ejemplo p ∨ ¬p
Contradicción: proposición que es siempre falsa independiente de los valores de
veracidad de sus proposiciones componentes. Ejemplo p ∧ ¬p
Contingencia: proposición que es verdadera o falsa.
Ejercicios:
(p→q) → (p→(p˄q))
p q p→q p˄q p→(p˄q) (p→q)→(p→(p˄q))

0 0 1 0 1 1
0 1 1 0 1 1
1 0 0 0 0 1
1 1 1 1 1 1
Como verán vamos a ir separando por operaciones como (p→q) y (p˄q) ocupando las
tablas en color rojo, para luego realizar (p→(p˄q)) usando la tabla de p con la tabla
p˄q luego terminamos el ejercicio (p→q) → (p→(p˄q)) usando las tablas en color
verde.
Realicen las siguientes operaciones:
1. (p˄ - p) → q
2. – (p ˄ q) ↔ (- p v – q)

Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Logica Proposicional

Cargado por

Información del documento

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

Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

ISFD “RFA”

Tecnicatura Superior en desarrollador de sofware

Prof: Quiñones, Nelson Ariel

Tema: Lógica Proposicional

Representación de todas las combinaciones posibles de falsedad o veracidad de una

Ejemplos de Tablas de verdad

n=2 p q (entonces tenemos 22 =4 esto es la cantidad de filas)

n=4 p q r s (entonces tenemos 24 =16 esto es la cantidad de filas)

Conjunción o producto lógico: Dadas dos proposiciones p, q , el producto lógico es

Disyunción o suma lógica: Dadas dos proposiciones p, q, la suma lógica es la

Disyunción exclusiva: Dadas dos proposiciones p, q, la disyunción exclusiva es la

Condicional: Dadas dos proposiciones p, q , el condicional es la proposición

Tautología contradicción y contingencia

p q p→q p˄q p→(p˄q) (p→q)→(p→(p˄q))

Realicen las siguientes operaciones:

También podría gustarte