MD Clase 1

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 11

Matemática Discreta

Clase 1: Unidad 1: Lógica Proposicional


Presentación de la materia. Proposiciones, conectivos lógicos. Tablas de verdad. Circuitos lógicos. Equivalencias
lógicas. Leyes de la lógica.

La lógica proposicional estudia la estructura de los enunciados, tratando de simbolizarlos. Luego intenta ver si
estos enunciados tienen sentido. También estudia la estructura de los razonamientos (cosa que veremos un poco
más adelante en esta misma unidad).
Empecemos con los enunciados más simples.

Elementos de la lógica proposicional: proposiciones y conectivos (o conectores)

Definición: Una proposición es todo enunciado declarativo para el cual tiene sentido determinar su verdad o
falsedad. Se las simboliza con las letras: p, q, r, etc…

Ejercicio: Decidir cuáles de las siguientes son proposiciones

a) La Tierra gira alrededor del Sol

b) 5 + 1 =9

c) Llegaremos a vivir en Marte

d) Tómense un recreo de 5 minutos

e) ¿Acaso hablo en chino?

f) x-1=3

g) Existe un número real “x” tal que x-1=3

h) Todos los números reales elevados al cuadrado dan positivo

i) Los profesores mandan PDFs y los alumnos no los leen.

Una proposición compuesta se construye con proposiciones simples vinculadas por operadores llamados
conectivos lógicos.
Su valor de verdad dependerá entonces de los valores de las proposiciones simples que la componen y del valor
de verdad de los conectivos que las unen.

A continuación, estudiaremos los conectivos lógicos.


Conectivos lógicos (u operadores lógicos) y sus tablas de verdad
Sean “p” y “q” dos proposiciones, definimos:

1) Negación: se escribe ¬p y se lee “no p” Ejemplos: Simbolizar y analizar el valor de verdad


(o “no es cierto que p”)
(es la única operación unitaria) a) No hay perritos con 3 patas

p p

¿Qué pasa con el valor de verdad cuando se niega una


proposición? b) No es cierto que 7 sea múltiplo de 5

2) Conjunción: se escribe p q y se lee “p y q” Ejemplos:


(es una operación binaria, es decir, necesita dos
proposiciones para realizarse) a) El rojo es un color primario y la Luna es un planeta
p q pq

¿Qué pasa con el valor de verdad de esta premisa


compuesta? b) 32 = 9 y el sol es una estrella
3) Disyunción inclusiva: se escribe p  q y se lee Ejemplo:
“p o q”
(también es una operación binaria) Me lavo las manos o me pongo alcohol en gel

p q pq

¿Qué pasa con el valor de verdad?

4) Disyunción exclusiva: se escribe p  q y se lee“o Ejemplo


bien p o bien q”, “p o q, pero no ambos”, “p en O bien apruebas los dos parciales con 7 o más, o bien
cambio q” apruebas el examen final
p q pq

¿Qué pasa con el valor de verdad?

Observación: En general, en el lenguaje coloquial


cotidiano, solemos confundir las dos disyunciones, pero
en lógica proposicional la diferencia está bien marcada.
5) Condicional o implicación: se escribe p→q Ejemplo
Llamamos a “p” el antecedente y a “q” el Si te sacás un 4 entonces aprobás el examen
consecuente
Se lee “si p entonces q”, “p implica q”, “p es
condición suficiente para q”, “q es condición
necesaria para p”, “p sólo si q”.

p q p→q

¿Qué pasa con el valor de verdad del condicional?

6) Bicondicional o doble implicación: se escribe Ejemplo:


“p↔q” y se lee “ p si y sólo si q”, “p es condición Vas a recuperatorio si y sólo si desaprobaste el parcial
necesaria y suficiente para q” o “q es condición
necesaria y suficiente para p”

p q pq
¿Qué pasa con el valor de verdad?

Observación (definición):
p↔q es lógicamente equivalente a (p→q  q→p)
Es decir, un bicondicional puede pensarse como dos
condicionales (de ahí su nombre)
Ejercicio: Reconocer proposiciones simples y expresar en forma simbólica los siguientes
enunciados
1) Si hay muchos insectos, entonces no salgo de la casa.

2) Tomás cerveza o tomás champagne, pero no ambas

3) No es cierto que si llueve llevo paraguas.

4) Es necesario que no vengas para que yo vaya.

Ejercicio: Construir las tablas de verdad de las siguientes proposiciones compuestas

a) p → (q  r)
b) q → p
c) (p  q) → ( p  r )
d) q → ( p  q)
e) p  p
Definición: Una proposición es tautológica si su valor de verdad es siempre verdadero, independientemente de los
valores de verdad de las proposiciones simples que la compongan.

Definición: Una proposición es una contingencia si su valor de verdad depende de los valores de verdad de las
proposiciones simples que la compongan.

Definición: Una proposición es una contradicción si su valor de verdad es siempre falso, independientemente de
los valores de verdad de las proposiciones simples que la componen.
A continuación, estudiaremos la nomenclatura (los nombres) que reciben ciertos
condicionales, y la relaciónentre ellos.

Condicionales asociados a la implicación

Dado un condicional p → q al que llamaremos “directo”, se definen los siguientes condicionales


- Recíproco:
- Contrario:
- Contrarrecíproco:

Ejercicio: Hacer las tablas de verdad de los 4 condicionales y ver qué relación hay entre ellos.

Proposiciones Lógicamente Equivalentes

Dadas dos proposiciones compuestas p y q


Si el bicondicional p  q es tautológico decimos que p y q son proposiciones lógicamente equivalentes
Lo escribimos p  q (observemos que la notación es una flecha doble)

Por ejemplo: ( p → q)  (q → p)


Basta hacer la tabla de verdad de ( p → q)  (q → p) para ver que es tautología.

Observación: Es lo mismo que decir que ante los mismos valores de verdad de las proposiciones simples que las
componen, tienen el mismo valor de verdad

Ejercicio: Demostrar que ( p → q)  (p  q)


Resolución:
1°) Escribir como un bicondicional
2°) Hacer la tabla de ese bicondicional y tiene que dar una tautología
Hay muchas proposiciones lógicamente equivalentes, y de ellas algunas revisten cierta importancia. A
continuación, leeremos la hoja de “Leyes lógicas”, que son las proposiciones lógicamente equivalentes más
usadas.

Usaremos estas leyes con dos objetivos:

- Demostrar que otras proposiciones más complejas son lógicamente equivalentes


- Simplificar proposiciones compuestas

Ejercicio 1: Demostrar que ( p  q) → r es lógicamente equivalente a p → ( q → r ) usando leyes lógicas

Ejercicio 2: Simplificar la siguiente proposición ( p  p )  q →   r   ( r  q )


Circuitos lógicos
Es una representación de las proposiciones
Pensamos que se trata de un cable con un interruptor por el que puede pasar la corriente eléctrica, o no (esto se
identifica con el verdadero o falso)

Hay dos tipos de circuitos lógicos

Circuito en serie Circuito paralelo

𝒑∧𝒒 𝒑∨𝒒
Ejercicio 1: Armar el circuito lógico de la siguiente proposición: (𝑝 ∨ ¬𝑞) → 𝑟

Ejercicio 2: Escribir la proposición compuesta que representa el siguiente circuito y simplificarla

También podría gustarte