El hombre en todo momento pretende tener
elementos que le ayuden a comprender lo que
se le dice, averiguar si la información que se le
transmite es correcta y, sobre todo, averiguar si
el cómo se le transmite una información sigue
alguna regla que le sirva para deducir si la
información que se le comunica es correcta.
La lógica estudia la forma del razonamiento,
es decir, determina, a partir de ciertas reglas
y técnicas, si un argumento es válido.
Esta disciplina se aplica en las matemáticas
para demostrar teoremas y deducir
resultados, en física y en ciencias
naturales para sacar conclusiones de
experimentos, en computación para
verificar si son o no correctos los programas,
de hecho, un programa informático no es
más que una secuencia de pasos lógicos,
establecidos por el hombre para resolver un
problema determinado, y en general en la
vida diaria, pues cualquier tarea que
realizamos tiene un procedimiento lógico.
Clasificación
Lógica Formal está interesada en Lógica Informal trata de averiguar
la forma o estructura de los la veracidad de los términos y
razonamientos, esto es, trata de proposiciones de un argumento, es
encontrar el método correcto para decir, se ocupa del contenido de las
derivar una verdad a partir de otra. argumentaciones.
Diferencia entre formal e informal
Proposiciones
E2. Tablas de verdad
Definición
Una proposición (o declaración) es una afirmación declarativa que es falsa o verdadera, pero no ambas.
Una proposición es un enunciado que puede ser calificado como verdadero o falso.
Un enunciado (o proposición) es una frase que es verdadera o falsa, pero no ambas.
Una proposición, en términos simples, es una afirmación o enunciado que puede ser verdadero o falso.
Considere, por ejemplo, las seis oraciones siguientes:
● El hielo flota en el agua.
● China está en Europa.
● 2 + 2 = 4.
● 2 + 2 = 5.
● ¿A dónde vas?
● Haz tu tarea
● Hola, ¿qué hace?
● ¡Viva México!
Falsa o Verdadera pero no ambas
Ambigüedad semántica: Algunas proposiciones pueden ser ambiguas debido a la ambigüedad en el significado de
las palabras utilizadas. Por ejemplo, la proposición "Ella tiene un hijo" podría ser verdadera o falsa dependiendo de a
quién se esté haciendo referencia y del contexto en el que se presenta.
Contexto incompleto: En ocasiones, una proposición puede carecer de información suficiente para determinar su
verdad o falsedad. Por ejemplo, la proposición "Lloverá mañana" puede ser verdadera o falsa según las condiciones
meteorológicas reales, pero si no tenemos información actualizada sobre el clima, no podemos afirmar su valor de
verdad.
Paradojas: Algunas proposiciones pueden llevar a paradojas lógicas que desafían la clasificación simple como
verdaderas o falsas. Por ejemplo, el "enunciado del mentiroso" que dice "Esta afirmación es falsa" crea una paradoja,
ya que si es verdadera, debe ser falsa, pero si es falsa, debe ser verdadera.
Problemas epistémicos: En algunos casos, una proposición puede ser incierta debido a limitaciones en nuestro
conocimiento o capacidad para verificarla. Por ejemplo, la proposición "Existe vida extraterrestre inteligente" es
incierta porque aún no tenemos evidencia concluyente que respalde una respuesta verdadera o falsa.
Ejemplos
● Existen números enteros que son negativos.
● La manzana y la sandía
● El 5 es un número impar.
● Ojalá todos aprueben este curso.
● El 7 de octubre de 1998 fue miércoles.
● ¿Ya mero acaba la clase?
● 1 +1 = 3.
● Esta frase es falsa.
● Hoy es miércoles.
● x2 - 4 = 0.
● Todas las aves vuelan.
Proposiciones simples o primitivas
Se dice que una proposición es primitiva si no es posible separarla en
proposiciones más simples; es decir, si no es un proposición compuesta.
Denotaremos las proposiciones simples con letras minúsculas: p, q, r, . . .
Proposiciones compuestas
Muchas proposiciones son compuestas; es decir, están compuestas de
subproposiciones y varios conectivos que se analizarán dentro de poco.
Estas proposiciones se denominan proposiciones compuestas
Las proposiciones simples pueden combinarse para formar proposiciones más
complejas mediante operadores lógicos. Las proposiciones compuestas las
denotaremos, en ocasiones, con letras mayúsculas. P(p, q, . . .)
Ejemplo:
● “Las rosas son rojas y las violetas son azules”
● “Juan es inteligente o estudia cada noche”
Ejemplo
“Las rosas son rojas y las violetas son azules”
Las rosas son rojas las violetas son azules
p q
Operaciones lógicas
Negación
Dada una proposición p la negación de p es también una proposición. La
denotaremos ¬p y se lee «no p». Su valor de verdad será el contrario al de p.
Ejemplos:
p: París está en Inglaterra r: No hace frío,
¬p: París no está en Inglaterra ~r: Hace frío.
q: 1 + 1 = 3,
¬q: 1 + 1 != 3.
Negación
Dada cualquier proposición p, es posible formar otra proposición, denominada
negación de p, al escribir “no es verdad que. . .” o “Es falso que. . .” antes de p
o, de ser posible, al insertar en p la palabra “no”. El símbolo de la negación de p,
se lee “no p”, se denota por ¬p o ~p
El valor de verdad de ¬p depende del valor de verdad de p como sigue:
Si p es verdadera, entonces ¬p es falsa; y si p es falsa, entonces ¬p es
verdadera.
Agregar disyunción exclusiva
Tablas de verdad
Una tabla de verdad, o tabla de
valores de verdades, es una tabla
que muestra el valor de verdad de
una proposición compuesta, para
cada combinación de verdad que
se pueda asignar
Tabla de verdad de la negación
Más ejemplos
p: El hielo flota en el agua.
¬p: Es falso que el hielo flota en el agua
~p: El hielo no flota en el agua
q: 2 + 2 = 5
¬q: Es falso que 2 + 2 = 5.
¬q: 2 + 2 != 5.
¬q: 2 + 2 <> 5.
Ejercicio
Escribe una lista de proposiciones y su negación
[Link]
DL6xiuvyIdiOU/edit?usp=sharing
Conjunción
Dadas dos proposiciones p y q la conjunción
de p con q es también una proposición.
La denotaremos p ^ q y se lee «p y q». Su
valor de verdad será verdadero sólo cuando
ambas proposiciones p y q sean
verdaderas.
Si p y q son verdaderas, entonces p ^ q es
verdadera; en cualquier otro caso, p ^ q es
falsa.
Ejemplos de conjunción
p: París está en Inglaterra, p: |x| > π ,
q: Madrid está en España, q: x2 - 16 = 0,
p ^ q: París está en Inglaterra y Madrid p ^ q: |x| > π y x2 - 16 = 0.
está en España.
Las rosas son rojas y las violetas
p: No hace frío, son azules.
q: No hace calor,
p ^ q: No hace frío y no hace calor.
Tabla de verdad de la conjunción
Disyunción
Dos proposiciones arbitrarias se combinan mediante el conectivo “o” para formar
una proposición compuesta denominada disyunción de las proposiciones
originales. Se escribe así
p∨q
que se lee “p o q”, denota la disyunción de p o q. El valor de verdad de p ∨ q
sólo depende de los valores de verdad de p y q como sigue:
Si ambas (p, q) son falsas, entonces p ∨ q es falsa; en otro caso , p ∨ q es
verdadera
Si al menos uno de los dos: p o q es verdadero, el resultado de p v q será
verdadero
Ejemplos de disyunción
p: París está en Inglaterra, F
q: París está en España, F
p v q: París está en Inglaterra o en España. F
p: El hielo flota en el agua V
q: 2 + 2 = 4 V
p v q: El hielo flota en el agua o 2 + 2 = 4 V
Ejemplos de disyunción
p: París está en Inglaterra,
q: París está en Francia,
p v q: París está en Inglaterra o en Francia.
p: El hielo flota en el agua
q: 2 + 2 = 3
p v q: El hielo flota en el agua o 2 + 2 = 3
Tabla de verdad de la disyunción
Disyunción exclusiva
La palabra “o” en español se usa en dos formas distintas. Algunas veces se utiliza
en el sentido de “p o q o ambas” —es decir, por lo menos una de las dos
alternativas ocurre, como acaba de observarse— y otras veces se utiliza en el
sentido de “p o q pero no ambas”; es decir, ocurre exactamente una de las dos
alternativas.
Por ejemplo,en la oración “Él estudiará en Yale o en Harvard” la “o” se utiliza en
el segundo sentido, denominado disyunción exclusivo. A menos que se
establezca otra cosa, “o” se usará en el primer sentido. Esta argumentación indica
la precisión que se adquiere a partir el lenguaje simbólico: p ∨ q se define
mediante su tabla de verdad y siempre significa “p y/o q”.
Ejemplos
O te quedas o te vas
Te vas a la izquierda o a la derecha
Vivir o morir
Valiente o cobarde
Apruebas o repruebas
Frío o caliente
Principio de identidad: Algo no puede ser y no ser
Tabla de verdad de la disyunción exclusiva
Condicional
Dadas dos proposiciones p y q el condicional de p con q es también una proposición.
La denotaremos p → q y se lee «si p entonces q» «si p, q» (entre otras expresiones
similares).
Su valor de verdad será falso sólo cuando p sea verdadera pero q sea falsa
Ejemplo:
“Si apruebas lógica, te regalo una pc gamer”
p → q
Otras expresiones similares
“p sólo si q” “q debido a p”
“p implica q” “p causa q”
“p deriva q” “luego”
“cuando p hacer q”
“según p entonces q”
“tras p entonces q”
“p lleva a q”
“de p a q”
Tabla de verdad condicional
La promesa
"Si obtienes un 10 en Lógica,
entonces te voy a comprar
pc gamer"
La promesa rota
1. La única manera que puede ser falsa p→q es si p es
verdadera y q es falsa, esto es el caso de la "la
promesa rota."
2. Si estudias la tabla de verdad una vez más, puedes
ver que decimos que "p→q" es verdadera cuando p es
falsa, sin importar el valor de verdad de q.
Esto tiene más sentido en el contexto de la promesa —
si no sacas 10 en lógica, entonces si o no te compro un
PC Gamer, no estoy rompiendo mi promesa. Sin
embargo, va en contra si piensas que "si p entonces q"
es lo mismo que decir que p causa q.
¿Cuándo es falso?
Cogito; Ergo Sum
Inverso Recíproco Contrarrecíproco
Converso
~p → ~q q→p ~q → ~p
No pienso, Existo, luego pienso No existo, luego no pienso
luego no existo
Escribe el inverso, el recíproco y el contrarecíproco de las
siguientes proposiciones condicionales:
p: La clase es aburrida
q: Los estudiantes se duermen
r: Los estudiantes no ponen atención
s: El maestro se enoja
p -> q, p -> r, q -> s, r -> s
Bicondicional
Dadas dos proposiciones p y q el bicondicional de p y q es también una
proposició[Link] denotaremos p ↔ q y se lee «p si y sólo si q» o «p siempre y
cuando q».
Su valor de verdad será verdadero sólo cuando p y q tengan el mismo valor de
verdad.
La Tierra es esférica si y sólo si el Sol es una estrella
Tabla de verdad bicondicional
Precedencia o Jerarquía para operadores lógicos
Cuando se escriben sin paréntesis, los operadores se ejecutan con la
siguiente precedencia:
¬ ^ v v → ↔
De esta manera, la expresión: p v q ^ ¬r v s → p v ¬s
es equivalente a: [p v (q ^ (¬r)) v s] → [p v (¬s)]
Escribe la expresión formal
Debemos filosofar o no debemos hacerlo. Si debemos
hacerlo, entonces tenemos que hacerlo, pero si no debemos
hacerlo también hemos de hacerlo. Luego, en cualquier
caso, tenemos que filosofar. Aristóteles
(p v ¬ p) ^ (p -> p) ^ (¬ p -> p) -> p
Incluso para dejar de filosofar hace falta filosofar
Premisas
Leyes o principios de la lógica formal
Redes de decisión
Existe una representación de redes de los operadores binarios v y ^. Suele ser útil
en la comprensión de circuitos o redes eléctricas, y en diagramas de
comunicación y conmutadores.
Imaginemos que hay un emisor T0 y un receptor T1. El flujo debe pasar por
algunos puertos que pueden estar abiertos (valor de 1) o cerrados (valor de 0).
En este caso, el flujo será recibido en el receptor si p toma el valor de 1, y no será
recibido si toma el valor de 0. La red toma la siguiente forma para el disyuntivo p v
q: