Lenguaje matemático, conjuntos y números

Nociones de lógica

Núria Montserrat Nociones de lógica

 1. EXPRESIONES MATEMÁTICAS.
PROPOSICIONES

Llamaremos proposiciones a aquellas frases del lenguaje

natural sobre las cuales podamos afirmar unívocamente que
son verdaderas o falsas.

Núria Montserrat Nociones de lógica

 Ejemplos de proposiciones son:

"Dos es par".
"Tres es mayor que siete”.

Las siguientes frases no son proposiciones:

"¿Es dos número par?".

"Dos más tres".

Núria Montserrat Nociones de lógica

 A la pareja de valores semánticos (Verdadero, Falso) se los
suele representar por los valores (V, F) en la lógica
tradicional en español o bien con los símbolos (1, 0) en
matemáticas.

Se acostumbra a usar letras minúsculas para hacer

referencia a una proposición lógica. Habitualmente se usan
las letras p, q, r, s...

Para hacer referencia al valor semántico de la proposición se

escribe p=1 o, simplemente, p es verdadera o q=0 o,
simplemente, q es falsa.

Núria Montserrat Nociones de lógica

 Una proposición es simple, si ninguna parte de ella es a su
vez una proposición.

Ejemplos de proposiciones simples:

p: “Dos es un número par".
q: "Tres es mayor que cuatro".

El valor de verdad de una proposición simple depende

exclusivamente de si el enunciado de la proposición, es
Verdadero o Falso.

Núria Montserrat Nociones de lógica

 Algunos enunciados o proposiciones son compuestos, es
decir, están formados de proposiciones simples y de
conectivos que los unen. Por ejemplo, “Dos es par y tres es
primo” es una proposición compuesta formada por dos
proposiciones simples.

El valor de verdad de una proposición compuesta depende

completamente del valor de verdad de cada proposición
simple y del modo como se les reúne o conecta para formar
la proposición compuesta.

Núria Montserrat Nociones de lógica

 2. CONECTORES LÓGICOS BÁSICOS

Llamaremos conectores a los símbolos que unen una o

varias proposiciones simples para formar una proposición
compuesta.

Núria Montserrat Nociones de lógica

 NEGACIÓN

Es el conector que niega la proposición y se representa con

cualquiera de las siguientes notaciones: -p, ¬p, o p’.

La negación de una proposición p es otra proposición ¬p que

es cierta cuando p es falsa, y falsa cuando p es cierta.

p ¬p
0 1
1 0

Núria Montserrat Nociones de lógica

 DISYUNCIÓN
Es aquel conector que une dos proposiciones ofreciendo una
alternativa entre una proposición o la otra, así como
también ofrece la posibilidad que sean ambas y se
representa por los símbolos “V”, “U” o “+”.

La proposición disyunción p˅q es verdadera si alguna de los

dos proposiciones simples que la forman es verdadera.

p q p˅q
0 0 0
0 1 1
1 0 1
1 1 1
Núria Montserrat Nociones de lógica
 DISYUNCIÓN EXCLUYENTE
Es la disyunción, pero su valor de verdad acepta una sola
proposición como verdadera y se representa por el símbolo
“”.

La proposición disyunción excluyente pq es verdadera si

una y sólo una de los dos proposiciones simples que la
forman es verdadera.

p q pq
0 0 0
0 1 1
1 0 1
1 1 0
Núria Montserrat Nociones de lógica
 CONJUNCIÓN
Es aquel conector que une dos proposiciones, incluyéndolas
obligatoriamente a ambas. Se utiliza “y” como conectivo de
conjunción. La conjunción "y" se representa por los símbolos
“˄”, “∩” o “x”.

La proposición conjunción p˄q es falsa si alguna de los dos

proposiciones simples que la forman es falsa.

p q p˄q
0 0 0
0 1 0
1 0 0
1 1 1
Núria Montserrat Nociones de lógica
 CONDICIONAL

Es aquél conector en el que se establece una condición para

que se cumpla la otra proposición. La implicación "si…
entonces…" se representa por el símbolo “→”.

En la proposición p→q, p se llama proposición antecedente y

q, proposición consecuente.

La proposición condicional p→q es falsa únicamente si p es

verdadera y q es falsa.

Núria Montserrat Nociones de lógica

 CONDICIONAL

p q p→q
0 0 1
0 1 1
1 0 0
1 1 1

A la proposición condicional p→q se le pueden asociar tres

proposiciones condicionales más:

•El condicional q→p se denomina condicional recíproco.

•El condicional ¬p→¬q se denomina condicional contrario.
•El condicional ¬q→¬p se denomina condicional contrarecíproco.

Núria Montserrat Nociones de lógica

 BICONDICIONAL
Es aquel conector de la forma “se cumple p si y solamente si
se cumple q”. Esto significa que también se cumple la
situación inversa, es decir que si se cumple q, entonces
también se cumple p. La implicación "… si y solamente si …"
se representa por el símbolo “↔”.

la proposición condicional p ↔ q es verdadera si p y q

toman el mismo valor.

p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1
Núria Montserrat Nociones de lógica
 En contexto matemático, normalmente se usan siempre
proposiciones verdaderas. Para distinguir el sentido
matemático del otro, utilizaremos los símbolos “⇒“ y “⇔”
en lugar de “→” y “↔”, respectivamente.

Es decir p ⇒ q significa que la proposición p→q es verdadera

y se lee “p implica q”, y p ⇔ q significa que la proposición
p↔ q es verdadera y se lee “p es equivalente a q”.

A partir de esto podemos definir que dos proposiciones p y q

son equivalentes si p y q toman el mismo valor o, lo que es
lo mismo, si el bicondicional p ↔ q es siempre verdadero.

Núria Montserrat Nociones de lógica

 3. CONSTRUCCIÓN DE NUEVAS PROPOSICIONES
Aspectos a tener en cuenta:

• El conector negación ¬ afecta únicamente a la proposición

que le sucede, por lo cual, si ésta es compuesta debe ir entre
paréntesis. Por ejemplo, en ¬p˄q la negación solo afecta a
p; en cambio, en ¬(p˄q) la negación afecta a la proposición
compuesta p˄q y estas dos expresiones no son equivalentes.

• Una expresión del tipo p˄q˅r da lugar a dos

interpretaciones distintas: p˄(q˅r) y (p˄q)˅r.

Núria Montserrat Nociones de lógica

 •En general, el orden de escritura de las proposiciones es
importante, Por ejemplo, p→q y q→p no son proposiciones
equivalentes.

•El valor verdadero o falso de una proposición compuesta

depende de los valores que tomen las proposiciones simples
que la forman y, normalmente, es necesario construir una
tabla de verdad para conocerlo.

Núria Montserrat Nociones de lógica

 CONTRADICCIÓN
Es aquella proposición que siempre es falsa, sin importar los
valores de verdad de las proposiciones que la componen. Es
decir, es la proposición que sólo toma el valor 0 y la
denotaremos por 0.

Por ejemplo, la proposición (p ∧ ¬p), vemos es siempre falsa,

cualquiera que sea el valor de verdad de p.

p ¬p p ∧¬p
0 1 0
1 0 0

Núria Montserrat Nociones de lógica

 TAUTOLOGÍA
Es aquella proposición que siempre es verdadera, sin
importar los valores de verdad de las proposiciones que la
componen. Es decir, es la proposición que sólo toma el valor
1 y la denotaremos por 1.

Por ejemplo, la proposición (p ∧ q) → p, ésta es verdadera

independientemente del valor de verdad de p y de q.

p q p˄q (p∧q)→p
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 1

Núria Montserrat Nociones de lógica

 4. LEYES LÓGICAS

4.1. LEYES LÓGICAS EQUIVALENTES

Ley de la doble negación

¬¬p ⇔ p

Núria Montserrat Nociones de lógica

 Leyes de simplificación

p˅p⇔p
p∧p⇔p
p→p⇔1
p↔p⇔1

Núria Montserrat Nociones de lógica

 Ley del tercio excluso

p ˅ ¬p ⇔ 1

Ley de contradicción

p ∧ ¬p ⇔ 0

Núria Montserrat Nociones de lógica

 Leyes de identidad

p˅0⇔p p˅1⇔1

p∧1⇔p p∧0⇔0

1→p⇔p

Núria Montserrat Nociones de lógica

 Leyes commutativas

p˅q⇔q˅p

p∧q⇔q∧p

p↔q⇔q↔p

Núria Montserrat Nociones de lógica

 Leyes de De Morgan

¬ (p ˅ q) ⇔ ¬p ∧¬q

¬ (p ∧ q) ⇔ ¬p ˅ ¬q

Núria Montserrat Nociones de lógica

 Leyes del condicional

p → q ⇔ ¬p ˅ q

p → q ⇔ ¬(p ∧ ¬q)

p → q ⇔ p (p ∧ q)

p → q ⇔ q (p ˅ q)

Núria Montserrat Nociones de lógica

 Ley del bicondicional

p ↔ q ⇔ (p → q) ∧ (q → p)

Ley de reducción al absurdo

¬p → (q ∧¬q) ⇔ p

Núria Montserrat Nociones de lógica

 Leyes de trasposición

p → q ⇔ ¬q → ¬p

p ↔ q ⇔ ¬p ↔ ¬q

Núria Montserrat Nociones de lógica

 Leyes asociativas

(p ˅ q) ˅ r ⇔ p ˅ (q ˅ r)

(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)

(p ↔ q) ↔ r ⇔ p ↔ (q ↔ r)

Núria Montserrat Nociones de lógica

 Leyes distributivas

p ˅ (q ∧ r) ⇔ (p ˅ q) ∧ (p ˅ r)

p ∧ (q ˅ r) ⇔ (p ∧ q) ˅ (p ∧ r)

p → (q ˅ r) ⇔ (p → q) ˅ (p → r)

p → (q ∧ r) ⇔ (p → q) ∧ (p → r)

Núria Montserrat Nociones de lógica

 4.2. LEYES LÓGICAS CONDICIONALES

Leyes de simplificación condicional

p∧q⇒p

p⇒p˅q

Núria Montserrat Nociones de lógica

 4.2. LEYES LÓGICAS CONDICIONALES

Leyes de simplificación condicional

p∧q⇒p

p⇒p˅q

Núria Montserrat Nociones de lógica

 Leyes de inferencia o silogismos disyuntivos

¬ p ∧ (p ˅ q) ⇒ q

p ∧ (¬ p ˅ ¬ q) ⇒ ¬ q

Núria Montserrat Nociones de lógica

 Ley modus ponendo ponens

(p → q) ∧ p ⇒ q

Ley modus tollendo tollens

(p → q) ∧¬q ⇒ ¬p

Núria Montserrat Nociones de lógica

 5. VALIDACIÓN DE PROPOSICIONES

Por validar una proposición se entiende determinar el

valor que toma esta proposición en función del valor
que toma cada proposición que la forma.

Núria Montserrat Nociones de lógica

 VALIDACIÓN MEDIANTE LA TABLA DE VERDAD

Este método consiste en construir la tabla de verdad de la

proposición con cada una de las proposiciones que
componen la expresión a validar y comprobar que se obtiene
una tautología.

Núria Montserrat Nociones de lógica

 VALIDACIÓN MEDIANTE REFUTACIÓN

Este método consiste en aplicar la ley de reducción al

absurdo. Es decir, se supone que la proposición es falsa y se
comprueba que esto conduce a una contradicción, por lo
cual la proposición debe ser verdadera.

Núria Montserrat Nociones de lógica

 6. FORMA CLAUSULADA DE PROPOSICIONES

En lógica matemática, una cláusula es una disyunción

de proposiciones simples y/o sus negaciones. Así, por
ejemplo, ¬p ˅ q ˅ r es una cláusula lógica, mientras
que ¬(p˅q) no lo es.

La forma clausulada de una proposición (o forma

normal conjuntiva) es una proposición equivalente a la
inicial que está compuesta únicamente como
conjunciones de cláusulas lógicas.

Núria Montserrat Nociones de lógica

 Para obtener la forma clausulada equivalente a otra
proposición inicial es recomendable seguir los pasos siguientes:

• Sustituir p ↔ q por (p → q) ∧ (q → p) utilizando la ley del

bicondicional.

• Sustituir p → q por ¬p ˅ q utilizando la primera ley del

condicional.

• Sustituir ¬ (p ˅ q) por ¬p ∧¬q y sustituir ¬(p∧q) por ¬p ˅ ¬q

utilizando las leyes de De Morgan.

• Utilizar las leyes distributivas, asociativas y conmutativas

para generar la forma clausulada.

Núria Montserrat Nociones de lógica

Lenguaje matemático, conjuntos y números

Nociones de lógica

Núria Montserrat Nociones de lógica