Pornografia

LÓGICA PARA PRINCIPIANTES
Amaury Camargo Benítez

Prólogo
Justificación
Índice
I Introducción 1
1. Proposiciones Lógicas 1
1.1. Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Clases de Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Proposiciones Simples o Atómicas. . . . . . . . . . . . . . . . . . . . . . 6
1.2.2. Proposiciones Compuestas o moleculares. . . . . . . . . . . . . . . . . . 6
1.3. Conectivos lógicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1. Valores de verdad de los conctivos . . . . . . . . . . . . . . . . . . . . . 8
1.4.2. Negación: ” ∼ ” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.3. La conjunción: ” ∧ ” . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.4. La disyunción “∨ ” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.5. Condicional. ” → ” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.6. Bi - condicional. ” ⇔ ” . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.7. Construcción de tablas de verdad . . . . . . . . . . . . . . . . . . . . . 15
1.5. Tautología, Contradicción y Contingencia. . . . . . . . . . . . . . . . . . . . . . 18
Referencias 22
i
Part I
Introducción
a lógica ofrece métodos que enseñan cómo formar proposiciones, evaluar sus
L valores de verdad y determinar si unas conclusiones se pueden deducir cor-
rectamente a partir de proposiciones supuestas; además, la lógica es una ciencia
que se interesa por las relaciones existentes entre las proposiciones, con el fin de
obtener precisión, claridad y generalidad en los razonamientos. La precisión la
logra mediante el uso de símbolos, los cuales tienen como función primordial
eliminar las ambigüedades que la estructura del lenguaje ordinario no puede
evitar con facilidad. La claridad y generalidad, la consigue en la medida en que
el usuario se familiariza con los elementos básicos de un argumento lógico, tanto
en su representación simbólica como en su significado para luego establecer un
lenguaje simbólico artificial, que le permita simplificar argumentos lógicos com-
plicados; de esta manera, el símbolo permite concentración sobre lo esencial de
un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento.
1. Proposiciones Lógicas
Qué es Lógica?
? El sentido ordinario de la palabra “lógica” se refiere a lo que es congruente,

ordenado, bien estructurado.
? Lo ilógico es lo mismo que incongruente, desordenado, incoherente. Esto se

aplica tanto a las personas como a las situaciones y a los pensamientos.
? La palabra lógica nos indica ya en su origen etimológico (logos = conoci-

miento, sabiduría) el sentido básico de esta ciencia, que se eleva hasta el
guata26.03@gmail.com 1 Amaury J. Camargo Benítez
1. PROPOSICIONES LÓGICAS
espíritu y el pensamiento, la razón y la inteligencia.
? De esta manera definimos nominalmente la lógica como: La ciencia del

pensamiento y la razón.
Para qué sirve la Lógica? La lógica estudia la forma del razonamiento, es una dis-
ciplina que por medio de reglas y técnicas determina si un argumento es válido.
La lógica es ampliamente aplicada en la filosofía, matemáticas, computación,
física. En la filosofía para determinar si un razonamiento es válido o no, ya que
una frase puede tener diferentes interpretaciones, sin embargo la lógica permite
saber el significado correcto. En las matemáticas para demostrar teoremas e in-
ferir resultados que puedan ser aplicados en investigaciones. En la computación
para revisión y creación de programas (software). En general la lógica se aplica
en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento
lógico, por ejemplo; para ir de compras al supermercado una ama de casa tiene
que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una
persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya
que no puede pintar si antes no prepara la pintura, o no debe pintar la parte
baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya
tiene pintado.
La lógica es pues muy importante; ya que permite resolver incluso problemas a
los que nunca se ha enfrentado el ser humano utilizando solamente su inteli-
gencia y apoyándose de algunos conocimientos acumulados, se pueden obtener
nuevos inventos, innovaciones a los ya existentes o simplemente utilización de
los mismos.
1.1. Lógica Proposicional

La lógica proposicional es la parte de la lógica que estudia la formación de pro-
posiciones complejas a partir de proposiciones simples, y la inferencia de propo-
siciones a partir de proposiciones, pero sin tener en cuenta la estructura interna

de las proposiciones más simples.
Definición 1.1. [Proposición]
Una proposición es una afirmación (enunciado) que comunica una idea de la

cual se puede decir si es verdadera (V) o falsa (F), pero no las dos cosas al mismo
tiempo. ( verdad o mentira, nunca las dos al mismo tiempo)
Ejemplo 1.1.
Determinar cuáles de las siguientes expresiones son proposiciones:
? El murciélago es un animal mamífero.
Es una proposición porque se puede afirmar si el murciélago es o no es un animal

mamífero.
? ¿Cuál es tu nombre?
No es una proposición ya que no se puede afirmar si la pregunta es verdadera o

falsa.
? Hola!
No es una proposición, es una exclamación que indica saludo, por lo tanto, no se

puede determinar su valor de verdad.
Observación 1.1.
? Todas las proposiciones son oraciones, pero no todas las oraciones son pro-
posiciones.
? Las preguntas, órdenes y exclamaciones no son consideradas proposiciones

porque no se puede afirmar que son verdaderas o falsas.
? Por lo general, a las proposiciones se las representa por las letras del alfabeto
desde la letra p, es decir, p, q, r, s, t,... etc. aunque no son las únicas.
? Cuando se establece si una proposición es verdadera o falsa se está deter-

minando su valor de verdad.
A manera de ejemplo, podemos citar las siguientes proposiciones y su valor

de verdad:
? q: El murciélago es un animal mamífero (V)
? r: El número 15 es divisible por 3. (V)
? s: El perro es un ave. (F)
? t: Todos los triángulos tienen cuatro lados (F)
? u: ¿Qué día es hoy? No es una proposición
Observación 1.2. (Expresiones no proposicionales)
Los siguientes son algunos ejemplos de expresiones que no son proposiciones.
1. ¡Levántate temprano!
2. ¿Has entendido lo que es una proposición?
3. ¡Estudia esta lección!
4. ¿Cuál es tu nombre ?
5. Prohibido pasar
6. Borra el pizarrón
No son proposiciones, por no poder ser evaluadas como verdaderas ni falsas. Las
exclamaciones, órdenes ni las preguntas son proposiciones

Ejercicios 1.1.
Definición 1.2. [Proposición Abierta.]
Una proposición abierta es un enunciado declarativo que depende de una o más

variables dentro de un universo de discurso, de modo que se convierte en una
proposición para cada valor o reemplazo de la variable. La variable es la letra
(x, y, . . .) que representa al sujeto desconocido; por sí misma la variable carece
de significado, pero lo tiene cuando se le asignan valores que se llaman universo
lógico de la variable.
Ejemplo 1.2.
Supongamos que el universo de discurso está formado por los números naturales
N. Son proposiciones abiertas:
1) p(x): “ x es un divisor de 8”
Observa p(2) es cierta, p(5) es falsa, y p(32) también es falsa.
2) q(x, y): “x es un divisor de y”. q(2, 5) es falsa pero q(5, 100) es verdadera.
Ejemplo 1.3.
Supongamos que el universo de discurso está formado por todas las ciudades
capitales de Colombia. Son proposiciones abiertas:
3) r(x): x es la capital de Córdoba
Observa r(M onterı́a) : Montería es la capital de Córdoba, es verdadero (V ),

P (Cali) : Cali es la capital de Córdoba, es falsa, y P (N eiva) : Neiva es la
capital de Córdoba, también es falsa.
Ejercicios 1.2.
Determine cuales de los siguientes proposiciones son abiertas y para que valores
de la variable las proposiciones son verdaderas o falsas
a) x es hermano de y
b) 28 < 15
c) El es arquitecto
d) Tenga calma, no se impaciente
e) 9x + 3 = 12 , x ∈ R
f) x es Ingeniero y Juan es Matemático
g) 3x–8 > 15 , x ∈ R
h) x + 5y , x, y ∈ R
i) 2x + 5 > 1, x ∈ R
j) 3x + 7 = 100, x ∈ R
l) x es un animal
1.2. Clases de Proposiciones
1.2.1. Proposiciones Simples o Atómicas.

Son aquellas proposiciones que constan de un solo enunciado proposicional .
Ejemplo 1.4.
p: El eclipse es un fenómeno natural

q: La luna es un satélite de la tierra
r: Los triángulos tiene cuatro lados
s: Pitágoras fue un gran pintor
t: El área del triángulo es base por altura sobre dos.
1.2.2. Proposiciones Compuestas o moleculares.

Son aquellas proposiciones que constan de dos o más proposiciones simples.
m: Pitágoras era griego y era geómetra.

Encontramos dos enunciados: El primero (p) nos afirma que Pitágoras era griego
y el segundo (q) que Pitágoras era geómetra. Es decir, m: p y q
n: Juan es profesor o Manuel es arquitecto.
Donde podemos observar que la proposición n, se divide en dos proposiciones
simples: r: Juan es profesor y s : Manuel es arquitecto. Es decir , n : r o s
Negación de Proposiciones. Para negar una proposición simple se le antepone la

expresión “no es verdad que” o se le incluye un “no” para que cambie su sig-
nificado a exactamente lo contrario. El símbolo que indica la negación de una
proposición es “ ∼ ”, se usa así: ∼ p, y se lee no p.
Ejemplo 1.5.
q : Bogotá está 1600 metros más cerca de las estrellas.

Se niega la proposición q como ∼ q y se Lee “no q” es decir, “no es verdad que
Bogotá está 2,600 metros más cerca de las estrellas”, o, Bogotá no está 2,600
metros más cerca de las estrellas
Observación 1.3.
Cuando se niega una proposición simple se cambia su valor de verdad. Es de-

cir, algo que era verdadero se vuelve falso y algo quo era falso se convierte en
verdadero.
1.3. Conectivos lógicos.

Los conectivos lógicos o conectores son palabras (y, o, si,..., entonces, Sí y sólo
si.) que son sirven de enlace para unir, ligar o vincular dos o más proposiciones
simples y conformar las proposiciones compuestas. Los conectivos lógicos están
identificados con un símbolo especial y un nombre que representan la función
que cumplen.
Conectivo Notación Nombre

y ∧ Conjunción
o ∨ Disyunción
Si... entonces → Implicación
Sí y solo si ⇔ Equivalencia
No ∼ Negación
1.4. Tablas de Verdad
1.4.1. Valores de verdad de los conctivos

Una vez que hemos formalizado una proposición resulta mucho más fácil
operar con ella. Lo primero que podemos hacer con ella es averiguar en qué casos
es verdadera y en qué casos no. La Semántica es aquella parte del lenguaje que
se ocupa de la relación entre los símbolos y su significado, pero ya dijimos que a
la Lógica no le interesa el significado empírico de las proposiciones; lo único que
le interesa de su significado es su valor veritativo: su verdad o falsedad. Como
la verdad de las proposiciones complejas depende del valor veritativo de sus
proposiciones simples (variables) y del tipo de relación que las une (constantes
o conectores), la Lógica usa un método para demostrar semánticamente una
fórmula cualquiera: el método de las tablas de verdad. Este método consiste en
calcular en qué casos una proposición compleja es verdadera y en qué casos es
falsa.
Interpretar un símbolo consiste en darle un significado. La Lógica proposicional,
como la mayoría de los tipos de lógica, es una lógica bivalente, lo cual quiere
decir que cada proposición simple o variable sólo puede tener dos interpretaciones
o significados: verdadero (V ) o falso (F ). Un caso es una posible combinación de
tales valores en sus variables, de forma que mientras más variables tenga una
fórmula más casos posibles habrá.
Así, en una fórmula que contenga una única variable (p.e., p) sólo hay dos casos
posibles: que “p” sea verdadera o que sea falsa, mientras que en una que contenga
dos variables (p.e., p y q) hay cuatro casos posibles:
1) que ambas sean verdaderas;
2) que ambas sean falsas;
3) que “p” sea verdadera y “q” falsa; y
4) que “p” sea falsa y “q” verdadera.
En una fórmula de tres variables hay ocho posibles casos; en una de cuatro, die-
ciséis, y así, sucesivamente. Hay una fórmula para hallar el número de casos (x)
de una proposición molecular:x = 2n , donde n es el número de variables de la
fórmula. Cada uno de los conectores o constantes lógicas se define semántica-
mente mediante una tabla de verdad que muestra sus posibles valores de verdad
según los casos.
Definición 1.3. [Tablas de verdad]
Una tabla de verdad es una representación esquemática de las relaciones entre

proposiciones; sirve para determinar los valores de verdad de proposiciones com-
puestas, las cuales dependen de los conectivos lógicos utilizados y de los valores
de verdad de sus proposiciones simples. En la elaboración de una tabla de verdad
los términos de enlace tales como la negación ” ∼ ”, la disyunción ”∨” y la con-
junción ” ∧ ”, el condicional ” → ” y el doble condicional ” ⇔ ” , se consideran
conectivos fundamentales; por tal razón, sus valores de verdad constituyen base
para establecer bajo qué condiciones una proposición compuesta es verdadera o
falsa. Cada uno de los conectores o constantes lógicas se define semánticamente
mediante una tabla de verdad que muestra sus posibles valores de verdad según
los casos. Estas son las tablas de verdad de los conectores y del negador:

1.4.2. Negación: ” ∼ ”
La negación es un operador que se ejecuta, sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.
Tabla de verdad
p ∼p
V F
F V
1.4.3. La conjunción: ” ∧ ”
La Conjunción es una proposición compuesta formada por dos o más proposi-
ciones simples. Se representa con el símbolo Λ se lee y. Si p y q son proposiciones
simples la conjunción de p y q se representa pΛq se lee p y q.
Cuando se establece la conjunción entre dos proposiciones p y q , se da a entender
que tanto la idea que expresap como la que expresa q deben cumplirse (inclusión).
Tabla de verdad
p q p∧q
V V V
V F F
F V F
F F F
Nótese que la conjunción es verdadera solo cuando las dos proposiciones

simples son verdaderas, en los demás casos, es falsa.
Ejemplo 1.6.

1.4.4. La disyunción “∨ ”
El operador “o” se puede usar de dos formas: como “o incluyente” o como “o
excluyente”
,. La Disyunción Incluyente es una proposición compuesta formada por dos o
más proposiciones simples. Se representa con el símbolo ” ∨ ” y se lee o. Si p y q
son proposiciones simples la disyunción de p y q se representa p ∨ q , se leep o q .
Tabla de verdad
p q p∨q
V V V
V F V
F V V
F F F
Nótese que la disyunción solamente es falsa si las dos proposiciones simples

son falsas
,. La Disyunción Excluyunte es un caso especial de disyunción cuyo símbolo
es ”∨”, que se diferencia del anterior en que solo es verdadera cuando una y
solamente una de las proposiciones es verdadera.
Tabla de verdad
p q p∨q
V V F
V F V
F V V
F F F

Nótese que la disyunción excluyente es falsa si las dos proposiciones simples

tienen igual valor de verdad. (V V o F F )
Ejemplo 1.7.
1.4.5. Condicional. ” → ”
El o la Condicional es una proposición compuesta formada por dos o más
proposiciones simples. Se representa con el símbolo ” → ” y se lee Si...entonces.
Si p y q son proposiciones simples el condicional de p y q se representa p → q y
se lee Si p, entonces q.
Tabla de verdad
p q p→q
V V V
V F F
F V V
F F V
Nótese que el condicional solo es falso cuando la primera proposición es

verdadera y la segunda es falsa.
Observación 1.4. (Tipos de condicionales)
Dado la condicional p → q denominada condicional directa entonces se deno-

mina:
1. Contraria: la condicional ∼ p →∼ q
2. Reciproca: la condicional q → p
3. Contra-reciproca: la condicional ∼ q →∼ p
Ejercicios 1.3.
Escriba la contraria, la reciproca y la contra-reciproca de cada proposición
1. Si las fiestas del mar fueron un éxito entonces deben continuar realizándola
2. Si los países vecinos a Colombia colaboran con los grupos insurgentes en-
tonces no son países amigos
3. Si Jaguares de Montería no juega bien entonces el estadio estará siempre

vacio
4. 4. Si las religiones son utilizadas para alabar un Dios entonces porque

explotan a los feligreses
Ejemplo 1.8.
1.4.6. Bi - condicional. ” ⇔ ”
La Bi-condicional es una proposición compuesta formada por dos o más
proposiciones simples. Se representa con el símbolo ” ⇔ ” y se lee Si, y Solo si. Si
p y q son proposiciones simples la bicondicional de p y q se representa p ⇔ q se
lee p si, solo si q.
Tabla de verdad
p q p⇔q
V V V
V F F
F V F
F F V
Nótese la bi-condicional es verdadero si los valores de verdad de las proposi-

cionessimples son iguales

Observación 1.5. (Equivalencias de los conectores)
Conector Lenguaje común

Negación No; no es cierto que; no es el caso que
Conjunción y; Pero; sSin embargo; Además; Aunque; A la vez; No obstante; Ni
Disyunción O; al menos p o q.
Condicional “Si ... entonces”; “Por lo tanto”; “... dado que”; “Siempre que”; “Por que”
Bicondicional “Sí, ... y solo si.”
Proposición 1.1. (Equivalencias Lógicas)
Dos proposiciones p y q se llaman lógicamnte equivalentes si sus tablas de verdad

son idénticas. De ser así se denota: p ≡ q
Ejemplo 1.9.
Sea t : p → q; recordamos su tabla de verdad
p q p→q
V V V
V F F
F V V
F F V
Ahora bien , si analizamos la proposición s :∼ p ∨ q, su tabla de verdad resulta:

p q ∼p ∼p∨q
V V F V
V F F F
F V V V
F F V V
Notemos que, luego de realizar las tablas de verdad de ambas proposiciones,

encontramos que tienen el mismo resultado final. Con esto, decimos que ambas
proposiciones son logicamente equivalentes, y en este caso particular lo simboli-
zamos:
(p → q) ≡ (∼ p ∨ q)
1.4.7. Construcción de tablas de verdad

Cualquier fórmula tiene su propia tabla de verdad, que variará en función de
la cantidad de proposiciones atómicas que la integran y de su propia complejidad
lógica. Para realizar la tabla de verdad de una fórmula, hay que determinar, en
primer lugar, de cuántas columnas (vertical) y filas (horizontal) constará.
Para determinar el número de columnas de una tabla, es necesario recurrir al
concepto de historia formacional de una fórmula. La historia formacional de
una fórmula es el conjunto de todas sus subfórmulas, incluyéndola a ella misma.
Es algo así como desandar el camino que nos ha llevado desde las proposiciones
atómicas a la proposición molecular a analizar. Supongamos, por ejemplo, que
tenemos la fórmula (p ∧ q), su historia formacional será el conjunto p, q, p ∧ q.
Otro ejemplo, en el caso de la fórmula (p ∧ q) → (r∨ ∼ q), su historia formacio-
nal será el conjunto p, q, r, ∼ q, (p ∧ q) , (r∨ ∼ q) , ([p ∧ q) → (r∨ ∼ q]) for-
mado por 7 elementos. Una vez hemos determinado la historia formacional de
una fórmula, podemos continuar con la confección de su tabla de verdad, que
tendrá tantas columnas como elementos tenga la historia formacional de la fór-

mula, y a cada columna le corresponderá uno de esos elementos, desde los más
simples hasta los más complejos. Así, la tabla de verdad de la fórmula anterior
[(p ∧ q) → (r∨ ∼ q)] tendrá 7 columnas.
p q r ∼ q p ∧ q r∨ ∼ q [(p ∧ q) → (r∨ ∼ q)]
1 2 3 4 5 6 7 ← Columnas
Determinar el número de filas de la tabla es fácil, pues sólo debemos aplicar la
siguiente fórmula: Número de filas de la tabla = 2n , donde n es el número de
proposiciones atómicas de que consta la fórmula. Así, si observamos la historia
formacional de la fórmula [(p ∧ q) → (r∨ ∼ q)], observaremos que consta de
las 3 proposiciones atómicas p, q y r (recordemos que las proposiciones que se
repiten sólo deben ser contadas una vez). Aplicando la fórmula arriba indicada
obtenemos que nuestra tabla debe tener 23 filas, es decir, 8 filas. Por supuesto, a
estas 8 filas habrá que añadir una, que será la primera, que rellenaremos con las
subfórmulas de la historia formacional. La tabla quedará como sigue:
p q r ∼ q p ∧ q r∨ ∼ q [(p ∧ q) → (r∨ ∼ q)]

8 filas
Ahora viene un momento importante de la elaboración de la tabla, pues es

hora de completarla. En primer lugar, tendremos que completar las columnas
correspondientes a las proposiciones atómicas, pues el valor del resto de celdas de

la tabla dependerá de los valores de las proposiciones atómicas. Olvidémonos, de
momento, de las columnas correspondientes a fórmulas moleculares y fijémonos
sólo en las columnas de las fórmulas atómicas: p, q y r.
? En primer lugar, lo que haremos es dividir la primera columna en dos

partes iguales y completar la primera de esas partes con ”V ” y la segunda
con “F ”. En este caso tenemos 8 filas, de modo que las 4 primeras filas
de la columna correspondiente a p se completarán con ”V ” y las cuatro
siguientes con ”F ”. Si en vez de 8 filas tuviéramos 16, la operación sería
semejante, aunque en vez de dos grupos de 4, tendríamos dos grupos de 8,
uno con ”V ” y el otro con ”F ”.
? Si hemos dividido en 2 partes la primera columna, la segunda la dividire-

mos en 4 partes iguales y completaremos con “V ” la primera, con “F ” la
segunda y así sucesivamente hasta agotarlas. En este caso, como tenemos
8
8 filas por columna y 4 = 2, dividiremos la columna correspondiente a
q en cuatro partes de 2 celdas cada una y las completaremos como se ha
indicado al principio.
? Dividida la primera columna en 2 partes y la segunda columna en 4, divi-

diremos la tercera en 8 partes y las completaremos con ”V ” y ”F ” alter-
nativamente (nótese que las columnas han sido divididas, respectivamente
por 21 , 22 y 23 , de modo que si hubiera una cuarta columna correspondiente
a una cuarta fórmula atómica, sería dividida por 24 , y así sucesivamente).
Al final tendremos:

p q r ∼ q p ∧ q r∨ ∼ q [(p ∧ q) → (r∨ ∼ q)]

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
1.5. Tautología, Contradicción y Contingencia.

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo de-
nominamos fórmula lógica. Por ejemplo, la expresión ∼ (p → q) ∧ (s ∧ t), es
una fórmula lógica.
Definición 1.4. [Tautologías]
Se dice que una proposición compuesta es una tautología o ley lógica, si es
verdadera para todas las posibles combinaciones de valores de verdad de las
proposiciones simples que la componen.
Ejemplo 1.10.
Consideremos la expresión ∼ (p ∧ q) ∨ q y su tabla de verdad:
p q p ∧ q ∼ (p ∧ q) ∼ (p ∧ q) ∨ q
V V V F V
V F F V V
F V F V V
F F F V V

la tabla de verdad de [∼ (p ∧ q) ∨ q] muestra que esta proposición siempre es

verdadera independientemente de los valores de verdad de p y q por lo tanto se
concluye que [∼ (p ∧ q) ∨ q] es una tautología.
Ejemplo 1.11.
Consideremos la expresión ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)] y su tabla de verdad:
#1 #2
p q p ∧ q ∼ (p ∧ q) ∼ p ∼ q (∼ p) ∨ (∼ q) (#1) ⇔ (#2)
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
la tabla de verdad de ∼ (p∧q) ⇔ [(∼ p) ∨ (∼ q)] muestra que esta proposición

siempre es verdadera independientemente de los valores de verdad de p y q por
lo tanto se concluye que ∼ (p ∧ q) ⇔ [(∼ p) ∨ (∼ q)] es una tautología.
Definición 1.5. [Contradicción]
Una proposición compuesta es una contradicción si es falsa para todas las po-
sibles combinaciones de valores de verdad de las proposiciones simples que la
componen.
Ejemplo 1.12.
Consideremos la expresión [∼ (p ∨ q) ∧ p] y su tabla de verdad:

p q p ∨ q ∼ (p ∨ q) ∼ (p ∨ q) ∧ p
V V V F F
V F V F F
F V V F F
F F F V F
la tabla de verdad de [∼ (p ∨ q) ∧ p] muestra que esta proposición es siempre

falsa independientemente de los valores de verdad de p y q por lo tanto se
concluye que [∼ (p ∨ q) ∧ p] es una contradicción
Ejemplo 1.13.
Consideremos la expresión [∼ (p ∨ (p → q)] y su tabla de verdad:
p q p → q p ∨ (p → q) ∼ [p ∨ (p → q)]
V V V V F
V F F V F
F V V V F
F F V V F
la tabla de verdad de ∼ [p ∨ (p → q)] muestra que esta proposición es siempre

falsa independientemente de los valores de verdad de p y q por lo tanto se
concluye que ∼ [p ∨ (p → q)] es una contradicción
Definición 1.6. [Contingencia]
Una proposición compuesta que no es ni una tautología ni una contradicción se

denomina contingencia.
Ejemplo 1.14.
Consideremos la expresión [∼ (p ∧ q) ∨ ∼ q] y su tabla de verdad:
p q p ∧ q ∼ (p ∧ q) ∼ q [∼ (p ∧ q) ∨ ∼ q]
V V V F F F
V F F V V V
F V F V F V
F F F V V V
la tabla de verdad de ∼ [p ∨ (p → q)] muestra que esta proposición no es ni una

tautología ni una contradicción, por lo tanto se concluye que [∼ (p ∧ q) ∨ ∼ q]
es una contingencia

REFERENCIAS REFERENCIAS
Referencias
[1] Nubia Galindo Patiño. Lógica fácil.
[2] Amaury Camargo Benítez. Lógica para computación.
[3] Anònimo. Roxenlogica. 2000.
[4]
[5] Camargo Benitez Amaury. Esto es lògica. 2014.
[6] Camargo Pico Leandra. Lògica matemàtica. 2015.
[7] Camargo Amaury Josè. Lògica para computaciòn. 2008.

Pornografia

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Pornografia

Hochgeladen von

Copyright:

Verfügbare Formate

LÓGICA PARA PRINCIPIANTES

Amaury Camargo Benítez

? El sentido ordinario de la palabra “lógica” se refiere a lo que es congruente,

? Lo ilógico es lo mismo que incongruente, desordenado, incoherente. Esto se

? La palabra lógica nos indica ya en su origen etimológico (logos = conoci-

espíritu y el pensamiento, la razón y la inteligencia.

? De esta manera definimos nominalmente la lógica como: La ciencia del

1.1. Lógica Proposicional

siciones a partir de proposiciones, pero sin tener en cuenta la estructura interna

Definición 1.1. [Proposición]

Una proposición es una afirmación (enunciado) que comunica una idea de la

Determinar cuáles de las siguientes expresiones son proposiciones:

? El murciélago es un animal mamífero.

Es una proposición porque se puede afirmar si el murciélago es o no es un animal

No es una proposición ya que no se puede afirmar si la pregunta es verdadera o

No es una proposición, es una exclamación que indica saludo, por lo tanto, no se

? Las preguntas, órdenes y exclamaciones no son consideradas proposiciones

? Cuando se establece si una proposición es verdadera o falsa se está deter-

A manera de ejemplo, podemos citar las siguientes proposiciones y su valor

? q: El murciélago es un animal mamífero (V)

? r: El número 15 es divisible por 3. (V)

? s: El perro es un ave. (F)

? t: Todos los triángulos tienen cuatro lados (F)

? u: ¿Qué día es hoy? No es una proposición

Observación 1.2. (Expresiones no proposicionales)

Los siguientes son algunos ejemplos de expresiones que no son proposiciones.

2. ¿Has entendido lo que es una proposición?

3. ¡Estudia esta lección!

guata26.03@gmail.com 4 Amaury J. Camargo Benítez

Definición 1.2. [Proposición Abierta.]

Una proposición abierta es un enunciado declarativo que depende de una o más

Observa p(2) es cierta, p(5) es falsa, y p(32) también es falsa.

3) r(x): x es la capital de Córdoba

Observa r(M onterı́a) : Montería es la capital de Córdoba, es verdadero (V ),

1.2. Clases de Proposiciones

1.2.1. Proposiciones Simples o Atómicas.

p: El eclipse es un fenómeno natural

1.2.2. Proposiciones Compuestas o moleculares.

m: Pitágoras era griego y era geómetra.

Negación de Proposiciones. Para negar una proposición simple se le antepone la

q : Bogotá está 1600 metros más cerca de las estrellas.

Cuando se niega una proposición simple se cambia su valor de verdad. Es de-

1.3. Conectivos lógicos.

Conectivo Notación Nombre

1.4. Tablas de Verdad

1.4.1. Valores de verdad de los conctivos

Definición 1.3. [Tablas de verdad]

Una tabla de verdad es una representación esquemática de las relaciones entre

guata26.03@gmail.com 9 Amaury J. Camargo Benítez

Nótese que la conjunción es verdadera solo cuando las dos proposiciones

guata26.03@gmail.com 10 Amaury J. Camargo Benítez

Nótese que la disyunción solamente es falsa si las dos proposiciones simples

guata26.03@gmail.com 11 Amaury J. Camargo Benítez

Nótese que la disyunción excluyente es falsa si las dos proposiciones simples

Nótese que el condicional solo es falso cuando la primera proposición es

Observación 1.4. (Tipos de condicionales)

Dado la condicional p → q denominada condicional directa entonces se deno-

3. Si Jaguares de Montería no juega bien entonces el estadio estará siempre

4. 4. Si las religiones son utilizadas para alabar un Dios entonces porque

Nótese la bi-condicional es verdadero si los valores de verdad de las proposi-

guata26.03@gmail.com 13 Amaury J. Camargo Benítez

Observación 1.5. (Equivalencias de los conectores)

Conector Lenguaje común

Proposición 1.1. (Equivalencias Lógicas)