PROPOSICIONES

La lógica estudia la forma del razonamiento, es una disciplina 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 inferir resultados matemáticos
que puedan ser aplicados en investigaciones. En la computación para revisar programas. En
general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un
procedimiento lógico, por el ejemplo; para ir de compras al supermercado un 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, también dependiendo si es zurdo o derecho, él puede pintar
de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la
lógica.

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 inteligencia y apoyándose de algunos
conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes
o simplemente utilización de los mismos.

Definición:

Una proposición o enunciado es una oración o un juicio declarativo del cual tiene sentido decir que
es verdadero o falso, pero no ambos a la vez. La proposición es un elemento fundamental de la
lógica matemática.

Recordemos que:

• Juicios Interrogativos: ¿Cómo te llamas?

• Juicios Imperativos: ¡No Fumar!
• Juicios Declarativos: El hidrogeno es un gas.

A continuación, se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica por

qué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra
minúscula, dos puntos y la proposición propiamente dicha.

Ejemplo.

p: La luna es de queso.

q: -17 + 38 = 21

r: x > y-9

s: El Táchira será campeón en la presente temporada de Fútbol.

t: Hola ¿cómo estás?

w: Lava el carro por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto, son
proposiciones válidas. El inciso r también es una proposición valida, aunque el valor de falso o
verdadero depende del valor asignado a las variables x y y en determinado momento. La
proposición del inciso s también está perfectamente expresada, aunque para decir si es falsa o
verdadera se tendría que esperar a que terminara la temporada de fútbol. Sin embargo, los
enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de
ellos es un saludo y el otro es una orden.

Existen dos clases de proposiciones en lógica:

1. Proposiciones Atómicas o Simples: Son las de formas más simples que no poseen
términos de enlace.

Ejemplo:

▪ Hoy es sábado.
▪ No hay clase.
▪ La luna está hecha de queso.
▪
2. Proposiciones Moleculares o Compuestas: Es la que está formada por una o más
proposiciones atómicas más un término de enlace.

Ejemplo:

▪ Hoy es sábado y no hay clase.

▪ La luna no está hecha de queso

Para representar las proposiciones atómicas se utilizan letras mayúsculas.

Términos de Enlace:

Son los que enlazan proposiciones y forman proposiciones moleculares a partir de proposiciones
atómicas. En nuestro curso los que más usaremos serán "y”, "o" , "si" entonces" , "no".

Términos de Enlace o Conectivos Lógicos

Definición:

Son palabras cortas que sirven para unir o enlazar proposiciones atómicas a partir
de proposiciones moleculares. En la gramática castellana se les da otros nombres, pero en lógica
los denominaremos términos de enlace o conectivos lógicos.

Veamos cuales son esos conectivos y sus tablas de la verdad:

 1. La Negación: Sea P una proposición, la negativa de P es la proposición P y se lee "no
P", "no es cierto que P"; "Es falso que P" y su valor lógico está dado por:

P P
V F
F V

Ejemplo: Sea P: "Mérida es un estado andino".

Sus negaciones serán:

P: Mérida no es un estado andino.

P: No es cierto que Mérida es un estado andino.

P: Es falso que Mérida es un estado andino.

Como P es V => P es F.

También se le puede asignar el numero 1 a una proposición verdadera y el numero 0 a una

proposición falsa, como lo muestra la siguiente tabla.

P P
1 0
0 1

2. La Conjunción ( y ) Sea P y Q dos proposiciones. La conjunción de P y Q es la proposición

P ۸ Q y se lee "P y Q", su valor lógico será:

P Q P۸Q
V V V
V F F
F V F
F F F
Ejemplo:

P: Dos es un número primo => (V).

P: Dos es un número par => (V).

Q: Dos es mayor que tres => (F).

P۸ Q: "Dos es un número primo (V)" y "dos es un número par (V)" => (V).

P۸R: "Dos es un número primo (V)" y "dos es mayor que tres (F)" => (F).

P Q P۸Q
1 1 1
 1 0 0
0 1 0
0 0 0

3. La Disjunción (ó): Sea P y Q dos proposiciones. La disjunción de P y Q es la proposición

P ۷ Q y se lee "P y Q", su valor lógico será:

P Q P۷Q
V V V
V F V
F V V
F F F
Ejemplo:

P: Madrid está en España => (V).

Q: Roma está en Francia => (F).

R: Caracas está en Brasil => (F).

P ۷ Q: "Madrid está en España o Roma está en Francia " => (V).

P ۷ R: "Madrid está en España o Caracas está en Brasil" => (V).

Q ۷ R: "Roma está en Francia o Caracas está en Brasil" => (F)

4. La Disjunción Exclusiva (ó...ó...): Sea P y Q dos proposiciones. La disjunción exclusiva de

P y Q es la proposición P Q y se lee "ó P ó Q", su valor lógico será:

P Q P Q
V V F
V F V
F V V
F F F
Ejemplo:

P: siete es una número primo => (V).

Q: siete es una número par => (F).

R: siete es mayor que dos => (V).

P Q: "ó siete es un número primo ó siete es un número par" => (V).

P R: "ó siete es un número primo ó siete es mayor que dos" => (F).

Q R: "ó siete es un número par ó siete es mayor que dos" => (V).
 5. EL Condicional: Sea P y Q dos proposiciones. El condicional con antecedente P y
consecuente Q es la proposición P→Q y se lee "si P entonces Q", su valor lógico será:

P Q P→Q
V V V
V F F
F V V
F F V
Ejemplo:

1. P: Hoy llueve => (V).

Q: se suspende el juego => (V).

P → Q: si hoy llueve entonces se suspende el juego. => (V).

2. R: 5 es primo => (V).

Q: 2+1=3 => (V).

S: 6 es primo => (F).

T: 2+1=4 => (F).

R → Q : Si 5 es primo entonces 2 + 1 = 3 => (V).

Q→S : Si 2+1 = 3 entonces 6 es primo => (F).

S→T : Si 6 es primo entonces 2+1 = 4 => (V).

El condicional puede ser leído de las siguientes maneras:

P → Q:

i) si P entonces Q

ii) Q es condición necesaria para P

iii) Una condición necesaria para P es Q

iv) P es condición suficiente para Q

v) Una condición suficiente para Q es P

vi) Q si P

vii) P solo si Q

viii) P solamente si Q
 Ejemplo:

T: La figura es un rectángulo.

C: La figura es una cuadrado.

R: La figura es un rombo.

D: La figura es un cuadrilátero.

Representar:

• La figura es una cuadrado solo si la figura es un rectángulo: C → T

• Una condición suficiente para que la figura sea un rombo es que la figura sea un
cuadrado: C→R
• Una condición necesaria para que la figura sea un rectángulo es la figura sea un
cuadrilátero: T → D
• Que la figura sea un cuadrado es condición suficiente para que la figura sea un
cuadrilátero: C → D
• Que la figura sea un cuadrado es condición necesaria para que la figura sea un rombo y un
rectángulo: (R۸ T) → C

Condicionales Asociados:

Si tenemos P → Q entonces:

• Recíproco: Q→ P
• Contrario: P→ Q
• Contrarecíproco: Q→ P

6. Bicondicional: Sea P y Q dos proposiciones. Se llama Bicondicional de P y Q a la

proposición P ↔ Q que se lee "P si y solo si Q" ó "P es condición necesaria y suficiente para
Q", su valor lógico será:

P Q P↔Q
V V V
V F F
F V F
F F V

Este es equivalente a tener (P → Q) ۸ (Q → P)

P: Dos rectas L1 yL2 son paralelas.

Q: Las pendientes M1 y M2 son Iguales.

P ↔ Q : Dos rectas L1 yL2 son paralelas, si y solo si, las pendientes M1 y M2 son Iguales

también se puede escribir:

P ↔ Q : Si Dos rectas L1 yL2 son paralelas, entonces, las pendientes M1 y M2 son
Iguales y Si las pendientes M1 y M2 son Iguales, entonces, las dos rectas L1 yL2 son paralelas.

Tautología: Es una forma de proposicional que es verdadera para cualquier valor lógico que se le
asigne a sus variables proposicionales. Para saber si una proposición es una tautología
construimos su tabla de verdad y la última columna debe estar compuesta solamente
por proposiciones verdaderas.

Contradicción: Es una forma proposicional que es falsa para cualquier valor lógico que se le asigne
a sus variables. Para saber si una proposición es una contradicción construimos su tabla de verdad
y la última columna debe estar compuesta solamente por proposiciones falsas.

Ejemplo:
a) P ۷ P es una Tautología.

b) P ۸ P es una Contradicción.

Veamos:

a)

P P P۷ P
V F V
F V V

b)

P P P۸ P
V F F
F V F