Unidad 1 Operadores Lógicos

21/10/2019 OPERADORES LÓGICOS
OPERADORES LÓGICOS
Sitio: Educación Virtual UTN

Curso: MATEMATICAS-CS01
Libro: OPERADORES LÓGICOS
Imprimido por: Administrador Virtual
Día: lunes, 21 de octubre de 2019, 17:11
eduonline.utn.edu.ec/mod/book/tool/print/index.php?id=1494 1/13
Tabla de contenidos
1. Tablas de valores de verdad
2. Leyes lógicas
1. Tablas de valores de verdad
Proposición lógica matemática
Es una expresión algebraica que puede tener dos valores: verdadero (V) o falso (F). Una proposición es por tanto la información contenida
en un enunciado declarativo. Las proposiciones en lenguaje formal se reducen a una sola letra (p, q, r...) que se denomina variable.
Tablas de valores de verdad
Una tabla de valores de verdad de una proposición, es una tabla que se construye para obtener los valores de veracidad o falsedad,
valores de verdad, de una expresión o de una proposición.
Clases de proposiciones
Existen dos clases de proposiciones:
1. Proposición lógica simple o atómica
2. Proposición lógica compuesta o molecular
Proposición lógica simple o atómica

Una proposición simple o atómica es aquella que sólo tiene un significado, carece de conjunciones gramaticales y del adverbio de negación
(NO). Se caracterizan por no poderse descomponer en otras proposiciones.
Ejemplos:
1. La Biología es una ciencia (V)
2. El número 5 es menor que el 4 (F).
3. El gato es un mamífero (V)
Cantidad de valores de verdad que debe llevar una tabla
Una tabla de verdad puede incluir tantas proposiciones simples como sea necesario y debe tener una fila por cada combinación de valores
de verdad de las proposiciones simples.
Si una tabla contiene sólo dos proposiciones simples (p y q), deberá tener cuatro filas que corresponden a todas las combinaciones
posibles que se pueden dar en las proposiciones.
p q
V V
V F
F V
F F
En el caso de que la tabla incluya tres proposiciones (p, q, r), el número de filas debe ser igual a 8.
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Como ya podrás imaginarte, a medida que aumentamos el número de proposiciones, las filas de la tabla de verdad van creciendo de forma
exponencial; pero ¿cómo lo hacen? Es sencillo saberlo: como sólo hay dos posibles valores para cada proposición simple (Verdadero o
Falso), el número de filas que contendrá la tabla podremos calcularlo como 2 elevado al número de proposiciones simples que tengamos.
Lo anterior indica que, si el número de proposiciones simples que componen una proposición es 5, el número de filas que contendrá la
tabla de verdad, será:
Proposición lógica compuesta o molecular

Están formadas por dos o más proposiciones simples unidas por operadores lógicos.
Operadores lógicos
Son signos destinados a construir proposiciones compuestas a partir de proposiciones simples. Aunque en la práctica pueden definirse
otros, vamos a estudiar seis de ellos:
Proposición
Operador
compuesta
NO (NOT) ~ Negación
Y (AND) ∧ Conjunción
O (OR) Disyunción
Ú
exclusivo exclusiva
O (OR) Disyunción
v
inclusivo inclusiva
Si → Condicional
Sí y sólo sí ↔ Bicondicional
La negación
La negación de la proposición p es ~p, cuya tabla de valores de verdad es la siguiente:
p ~p
V F
F V
Como conclusión podemos decir que la negación es verdadera si la proposición simple es falsa y que es falsa si la proposición simple es
verdadera. Hay un símbolo alterno que también es usado para la negación: "¬", el cual puede ser encontrado en algunas publicaciones de
lógica matemática.
Veamos lo anterior a través de un ejemplo:
La proposición simple: Está lloviendo
La negación: No está lloviendo.
La conjunción lógica
Una conjunción lógica es aquella que une dos proposiciones lógicas simples mediante el operador lógico "y", su tabla de la verdad
presenta el siguiente comportamiento:
p q p∧ q
V V V
V F F
F V F
F F F
Ejemplo:
"La casa tiene luz y agua"

Formada por dos proposiciones simples o atómicas:
1. La casa tiene luz
2. (la casa tiene) agua
Ambas unidas mediante el operador lógico "y". En este caso la proposición será verdadera, únicamente cuando se produzcan, de manera
conjunta, las dos condiciones: que la casa tenga luz (V) y que la casa, simultáneamente, tenga agua (V).
Lo anterior indica que el conjuntor ∧ únicamente da origen a una proposición verdadera p∧q únicamente cuando las proposiciones simples
que la componen, p y q, son verdaderas.
La disyunción o suma lógica
La disyunción de las proposiciones p y q es una proposición lógica donde p y q reciben el nombre de disyuntivos. El
disyuntor significa "o"; pero pueden presentarse dos casos: la disyunción exclusiva y la disyunción inclusiva.
La disyunción exclusiva, " ", es aquella que une dos proposiciones lógicas simples de manera excluyente, esto quiere decir que el
cumplimiento de una de ellas implica, necesariamente, que la otra proposición no pueda verificarse. A este tipo de disyunción también se
le conoce como diferencia simétrica.
Por ejemplo: "voy andando o en bicicleta". En este caso, no es posible cumplir las dos proposiciones simultáneamente, ya que el hecho de
ir andando implica, necesariamente que el desplazamiento no puede realizarse, al mismo tiempo, en bicicleta y viceversa.
La tabla de verdad que corresponde a este operador, es la siguiente:
p q pq
V V F
V F V
F V V
F F F
Notemos que si dos proposiciones simples son verdaderas y se tiene un operador de disyunción exclusiva, p q, el resultado será
necesariamente falso puesto que, para este operador, es imposible que las proposiciones simples constituyentes se cumplan al mismo
tiempo.
En el caso de la disyunción inclusiva, cuyo operador lógico es v, debe entenderse que se trata de un "o" no exclusivo, esto quiere decir
que no significa "lo uno o lo otro", de manera excluyente, sino "al menos lo uno o lo otro o, tal vez, ambas cosas". Para entender mejor
este concepto, veamos el siguiente ejemplo:
Entre los requisitos de una oferta laboral se pide que "el aspirante hable inglés o alemán". En este caso debe entenderse que podrán
postularse al cargo las personas que hablen inglés, las que hablen alemán, pero también podrán hacerlo aquellas que hablen ambos
idiomas.
La tabla de valores de verdad correspondiente a la disyunción inclusiva es la siguiente:
p q pvq
V V V
V F V
F V V
F F F
Como conclusión podemos decir que la disyunción inclusiva es verdadera si al menos uno de los disyuntivos también lo es.
El condicional o la implicación
El condicional de las proposiciones p y q es la proposición p→q, donde p se llama antecedente y q consecuente, cuya tabla de valores de
verdad es la siguiente:
p q p→q
V V V
V F F
F V V
F F V
p: llueve
q: las calles están mojadas
p →q: Si llueve entonces las calles están mojadas
Como conclusión podemos decir que el condicional es falso únicamente si el antecedente es verdadero y el consecuente es falso (2º línea
de la tabla). Lo anterior ocurre porque en el caso de la implicación la relación que se establece entre antecedente y consecuente es
solamente "suficiente", esto quiere decir que p es suficiente para que ocurra q, pero no es necesaria. La mejor manera de entender lo
anterior es pensar que para la ocurrencia de q puede existir una condición distinta de p.
En el ejemplo anterior, que llueva es suficiente para que las calles estén mojadas; pero las calles pueden estar mojadas por otras razones
(por ejemplo que exista un bote agua). Luego, si el hecho de que llueva es condición suficiente para que la calle se moje, entonces la
proposición compuesta sólo resultaría falsa en el caso de que estuviera lloviendo (p verdadera) y las calles no se mojaran (q falsa).
p q p→q
V V V
V F F
F V V
F F V
p condición SUFICIENTE para q (q si p)
q condición NECESARIA para p (p solo si q)
El bicondicional o la doble implicación
El bicondicional de las proposiciones p y q es la proposición p↔q, cuya tabla de valores de verdad es la siguiente:
p q p↔q
V V V
V F F
F V F
F F V
p: apruebo
q: te presto el libro
p ↔ q: solamente si apruebo, te presto el libro
Como conclusión podemos decir que el bicondicional es verdadero si los valores de verdad de las proposiciones simples que la componen
son iguales.
Tautología
Se dice que una proposición es una tautología, si es verdadera independientemente de los valores de verdad de las proposiciones
simples que la componen.
Ejemplo: Sea la proposición simple p: "La puerta es blanca", entonces su negación ~p es "la puerta no es blanca". La proposición
compuesta (p v ~p) presenta la siguiente tabla de verdad:
p ~p p v ~p
V F V
F V V
En la tabla anterior podemos observar que, independientemente de que el valor de p sea verdadero o falso, como ~p tiene el valor
contrario (falso o verdadero, respectivamente), la conjunción p v ~p siempre resulta verdadera porque, en cualquier caso, una de las dos
proposiciones simples se cumple siempre por lo que la proposición compuesta resulta ser una tautología.
Veamos otro ejemplo para fijar mejor este conocimiento. Supongamos que se nos pide construir la tabla de verdad para la proposición
compuesta (p v q) → (p ∧ q).
Hagamos este ejemplo por pasos:
1. Asignar valores de verdad y falsedad a p
2. Asignar valores de verdad y falsedad a q
3. Hallar los valores de verdad para la proposición compuesta (p v q)
4. Hallar los valores de verdad para la proposición compuesta (p ∧ q)
5. Hallar el valor de verdad de la proposición condicional (p v q) → (p ∧ q).
Verifica el comportamiento de los valores de verdad presentados en la siguiente tabla y responde: ¿Es la proposición compuesta final una
tautología?
p q p ∧ q p v q (p ∧ q) → (p v q)
VV V V V
VF F V V
FV F V V
FF F F V
Contradicción
Una proposición es una contradicción, si es falsa independientemente de los valores de verdad de las proposiciones simples que la
componen. Si ahora en el ejemplo anterior, consideramos que la proposición compuesta es la conjunción entre p y su negación (p ∧ ~p),
independientemente de que la proposición "la puerta es blanca" sea verdadera o falsa, jamás podrá darse la coexistencia de la
proposición p con su negación ~p puesto que esto implicaría aceptar que la puerta, al mismo tiempo, es y no es blanca.
Tabla de verdad:
p ~p p ∧ ~p
V F F
F V F
Analicemos ahora un ejemplo un poco más complejo: Nos piden hallar la tabla de verdad de la proposición lógica compuesta (p ↔ q) ↔
(~ [ (p→q) ∧ (q →p) ] )
Vamos, nuevamente a realizar la descomposición por pasos:
Hallar el valor de verdad de las siguientes proposiciones complejas:
1. (p ↔ q)
2. (p→q)
3. (q →p)
4. (p→q) ∧ (q →p)
5. ~ [ (p→q) ∧ (q →p) ]
6. (p ↔ q) ↔ (~ [ (p→q) ∧ (q →p) ] )
La tabla de verdad que se presenta a continuación contiene la solución final. Observa con cuidado que debajo de cada operador lógico se
encuentra la evaluación de cada una de las proposiciones lógicas compuestas que forman parte de la proposición lógica compuesta
global. Recuerda que debes iniciar dándole valores de verdad a las proposiciones simples p y q.
p q (p ↔ q) ↔ ~ [ (p→q) ∧ (q →p) ]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
¿Podrías justificar cuál es la razón por la que se puede afirmar que la proposición lógica compuesta global es una contradicción?
Contingencia
Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de los valores de verdad de las proposiciones
simples que la componen. En la práctica, una proposición que no es ni tautología ni contradicción es una contingencia y se
caracteriza por tener entre sus valores de verdad al menos uno verdadero y uno falso.
Ejemplo: Hallar la tabla de verdad correspondiente a la proposición lógica ( p v q ) → (~p)
p q pvq → ~p
V V V F F
V F V F F
F V V V V
F F F V V
En la tabla anterior podemos observar que en la columna de resultados (resaltada en amarillo) hay valores de verdad tanto de veracidad
como de falsedad, en consecuencia, se trata de un caso de contingencia.
Veamos otro ejemplo: se pide hallar la tabla de verdad correspondiente a la proposición
[ (p ↔ q) v [(p →q) ∧ (q→p)] ]
p q p↔q v [(p →q) ∧ (q→p)]

V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
2. Leyes lógicas
Leyes de la lógica proposicional
La lógica proposicional se encarga de analizar la relación existente entre proposiciones, así como de determinar la veracidad o falsedad de dicha relación.
Todas aquellas proposiciones tautológicas son leyes de la lógica proposicional, esto indica que una ley lógica es una proposición verdadera, de
equivalencia lógica.
Las leyes de la lógica proposicional permiten simplificar las proposiciones compuestas, bien sea para transformarlas en una proposición compuesta de
menor complejidad o para hacerlo en una proposición simple.
Las proposiciones, bajo la ley de equivalencia lógica (≡), cumplen las siguientes leyes:
1. Involución o doble negación
La negación de la negación de una proposición, es equivalente a la misma proposición.
Se escribe ∼(∼p) ≡ p lo cual significa que la negación de la negación de p coincide con p, o es "lógicamente" igual a p.
Como ejemplo tenemos la proposición p: "el indiciado es culpable", su negación sería ∼p: "el indiciado es no culpable" (es inocente), entonces la doble
negación que corresponde a la ley involutiva, sería: ∼(∼p): "el indiciado no es no culpable", lo cual lógicamente significa que el indiciado es culpable (≡
p).
2. Idempotencia de la conjunción y la disyunción
Idempotencia es una propiedad de la lógica matemática a través de la cual es posible realizar varias veces una determinada acción y, a pesar de ello,
obtener el mismo resultado que se habría conseguido si la acción se hubiese realizado una sola vez.
La ley de idempotencia se cumple tanto en la conjunción como en la disyunción e indica que cuando una proposición lógica se encuentra conectada
consigo misma mediante el conectivo lógico de conjunción (Λ) o de disyunción (v) entonces esa proposición compuesta puede simplificarse a la
proposición simple, p. Esto lo podemos escribir, lógicamente, de la siguiente forma:
a. La conjunción de una misma proposición es equivalente a la proposición constitutiva. (p∧p ≡ p)
b. La disyunción: (p v p ≡ p)
Pero lo anterior no sólo puede ser aplicado cuando la proposición constitutiva es simple, también es válido cuando se tienen proposiciones complejas,
veamos un ejemplo:
∼(p→q) ∧ ∼(p→q) ≡∼(p→q)
Comprobemos lo anterior con la tabla de la verdad:
p q ∼ p→q ∧ ∼(p→q) ∼(p→q)

V V F V F F F
V F V F V V V
F V F V F F F
F F F V F F F
Como ayuda para la construcción de la tabla de la verdad, deberás seguir los siguientes pasos:
1. Asigna valores de verdad a las proposiciones simples p y q.
2. Halla los valores correspondientes a la cuarta columna (p→q)
3. Completa la tercera columna con los valores la la negación de la proposición compuesta (p→q)
4. copia los valores de la tercera columna en la sexta columna (idempotencia)
5. Aplica la conjunción a las columnas tres y seis y escríbelo en la columna siete
6. Compara las columnas seis y siete. Verifica que te resulten idénticas.
3. Leyes conmutativas
Las leyes conmutativas en lógica proposicional son válidas para la conjunción, la disyunción y la doble implicación:
a) (p ∧ q) ≡ (q ∧ p) (conjunción)
b) (p ⊻ q) ≡ (q ⊻ p) (disyunción exclusiva)
c) (p v q) ≡ (q v p) (disyunción inclusiva)
d) (p↔q) ≡ (q↔p) (bicondicional o doble implicación)
Construyamos la tabla de verdad de c) para comprobar el cumplimiento de la ley conmutativa:
p q (p→q) (q→p)
V V V V
V F F F
F V F F
F F V V
Recuerda que la doble implicación tiene un valor de verdad de veracidad (V) únicamente si las proposiciones lógicas, p y q, son ambas verdaderas o
ambas falsas.
Como ejercicio, comprueba que la implicación (condicional) no cumple la propiedad conmutativa.
4. Leyes asociativas
a) (p v q) v r ≡ p v (q v r)
b) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Realicemos la tabla de la verdad de a) y repasemos algunos conceptos vistos con anterioridad. Observa que ahora tenemos tres proposiciones simples y
que, en este caso, el número de filas de la tabla puede calcularse como el número de valores de verdad que puede tomar cada variable (verdadero o falso),
elevado al número de variables (p, q, y r). Lo anterior indica que el número de filas que debe contener nuestra tabla de verdad es (2)3 , es decir, 8.
p q r (p v q) (p v q) v r (q v r) p v (q v r)
VVVV V V V
VVF V V V V
VF VV V V V
VF F V V F V
F VVV V V V
F VF V V V V
F F VF V V V
F F F F F F F
Construyamos ahora la tabla de verdad de la parte b), para ello debemos recordar el comportamiento de la conjunción en lógica proposicional: una
proposición compuesta será verdadera, únicamente si las composiciones que la componen son ambas verdaderas.
p q r (p ∧ q) (p ∧ q) ∧ r (q ∧ r) p ∧ (q ∧ r)
VVVV V V V
VVF V F F F
VF VF F F F
VF F F F F F
F VVF F V F
F VF F F F F
F F VF F F F
F F F F F F F
5. Leyes distributivas
a) p v (q ∧ r) ≡ (p v q) ∧ (p v r)
b) p ∧ (q v r) ≡ (p ∧ q) v (p ∧ r)
Para seguir practicando, vamos a construir las tablas de verdad correspondientes, recordemos ahora que la disyunción exclusiva "v" sólo resulta falsa
cuando las proposiciones que la constituyen son, ambas, falsas.
p v (q ∧ (p v (p v
p q r (q ∧ r) ∧
r) q) r)
VVV V V V V V
VVF F V V V V
VFV F V V V V
VFF F V V V V
FVV V V V V V
FVF F F V F F
FFV F F F F V
FFF F F F F F
(q v p ∧ (q v (p ∧
pq r (p ∧ q) v
r) r) r)
VVV V V V V V
VVF V V V V F
VFV V V F V V
VFF F V F F F
FVV V V F F F
FVF V V F F F
FFV V V F F F
FFF F V F F F
6. Leyes de D' Morgan
Estas leyes, usadas en lógica proposicional, corresponden a reglas de inferencia que responden al resultado de negar una conjunción o una disyunción de
proposiciones lógicas.
a) ∼(p ∧ q) ≡ (∼p) v (∼q)

b) ∼ (p v q) ≡ (∼ p) ∧ (∼ q)
Una vez más, comprobemos estas leyes a través de las tablas de verdad:
p q ∼ p ∧ q ∼p v ∼q
VVF V F F F
VFV F F V V
FVV F V V F
FFV F V V V
p q ∼ p v q ∼p ∧ ∼ q
VVF V F F F
VFF V F F V
FVF V V F F
FFV F V V V
7. Leyes de absorción
La absorción es otra de las reglas de inferencia de la lógica proposicional. Para facilitar la comprensión, vamos a dividirla en dos tipos: la ley de absorción
total y la ley de absorción parcial.
Para poder aplicar esta ley es necesario que los operadores lógicos involucrados sean distintos ("v", "∧ ").
a) Ley de absorción total:
a.1) p v (p ∧ q) ≡ p
a.2) p ∧ (p v q) ≡ p
En las equivalencias lógicas dadas por a.1) y a.2), observamos que la proposición lógica que está fuera del paréntesis es igual a una de las proposiciones
dentro del paréntesis (en este caso, p), cuando ello ocurre, y además los operadores lógicos son distintos, entonces su equivalente es igual a la proposición
que se repite.Comprobemos lo anterior haciendo uso de las respectivas tablas de verdad:
p q ∧ (p v q) p
V V V V V
V F V V V
F V F V F
F F F F F
p q v (p∧ q) p
V V V V V
V F V F V
F V F F F
F F F F F
Veamos un ejemplo en el que podemos aplicar este concepto. Nos piden analizar la siguiente proposición para saber si se cumple o no la ley de absorción:
∼p v (∼p ∧ q )
Primero, revisamos que los operadores lógicos y de esta forma verificamos la primera condición: que sean diferentes. Luego, miramos la proposición que
está fuera del paréntesis (∼ p) y observamos que la proposición "no p" también se encuentra dentro del paréntesis. Debido a la anterior, aplicamos la ley
de absorción y concluimos que su equivalente es la proposición ∼ p
∼p v (∼p ∧ q ) ≡ ∼p
Analicemos ahora otro ejemplo:
∼q ∧ ( ∼p v ∼q)
Se cumple la primera condición, los operadores lógicos son diferentes.
Se cumple la segunda condición, ya que la proposición ∼q se encuentra tanto dentro como fuera del paréntesis, en consecuencia el equivalente lógico será
la proposición que se repite, esto es, ∼q
∼q ∧ ( ∼p v ∼q) ≡∼q
b) la ley de absorción parcial
b.1) p v ( ∼ p ∧ q) ≡ p v q
b.2) p ∧ ( ∼p v q) ≡ p ∧ q
Primero, validemos la equivalencia de estas proposiciones, para ello haremos uso de las respectivas tablas de verdad:
p q ∼p ∼p ∧ q p v ( ∼ p ∧ q) pvq
V V F F V V
V F F F V V
F V V V V V
F F V F F F
p q ∼p ∼p v q p ∧ ( ∼p v q) p∧q
V V F V V V
V F F F F F
F V V V F F
F F V V F F
Ejemplo: Identificar si es posible aplicar la ley de absorción en la proposición dada y determinar la equivalencia lógica
∼p ∧ ( p v ∼q)
Para poder resolver este ejercicio, observamos dos cosas:
1) La existencia de dos operadores lógicos distintos ("∧ " y "v")
2) Que la proposición ∼ p y su negación, una esté fuera y otra dentro del paréntesis
Dado lo anterior, concluimos que:
∼p ∧ ( p v ∼q) ≡ ∼p ∧ ∼q
Verificar el cumplimiento de la ley de absorción a través de la tabla de verdad.
Otro ejemplo:
Sea la proposición p v (q ∧ ∼p) identificar si se cumple la ley de absorción.

1) Se cumple la existencia de operadores lógicos contrarios ("v" y "∧ ")
2) p se encuentra fuera del paréntesis y su complemento ∼p se halla dentro.
Concluimos que se cumple la ley de absorción y que su equivalente lógico es aquello que queda una vez que se "absorbe" el comportamiento de (p v ∼ p),
con lo cual nos queda p v (q ∧ ∼ p)≡ p v q
La doble implicación y la implicación
La doble implicación es equivalente a la conjunción de la implicación y su recíproca. es decir,
p ↔ q ↔ (p → q) ∧ (q →p)
Analicemos el planteamiento anterior para poder comprenderlo mejor. "La doble implicación" (↔), también conocida como bicondicional, se establece
entre p y q (p ↔ q), "es equivalente", este ser equivalente, expresado por ↔, no es otra cosa que la equivalencia lógica (≡), "a la conjunción de la
implicación y su recíproca". De la relación proposicional planteada observamos que la recíproca de (p → q) es (q →p). Lo anterior lo podemos
reescribir de la siguiente forma:
p ↔ q ≡ (p → q) ∧ (q →p)
y proceder a verificarlo a través de la tabla de verdad.
p q p ↔ q (p → q) ∧ (q →p)
V V V V V V
V F F F F V
F V F V F F
F F V V V V
La diferencia simétrica y la doble implicación
La diferencia simétrica es equivalente a la negación de la doble implicación. Lo anterior, en forma proposicional, puede ser escrito de la siguiente forma:
p⊻q↔ ∼ (p ↔ q), es decir p ⊻ q ≡ ∼ (p ↔ q)
p q p⊻q ∼ (p ↔ q)
V V F F V
V F V V F
F V V V F
F F F F V

Unidad 1 Operadores Lógicos

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Unidad 1 Operadores Lógicos

Загружено:

Авторское право:

Доступные форматы

21/10/2019 OPERADORES LÓGICOS

Sitio: Educación Virtual UTN

1. Tablas de valores de verdad

Proposición lógica matemática

Tablas de valores de verdad

Proposición lógica simple o atómica

Proposición lógica compuesta o molecular

La negación de la proposición p es ~p, cuya tabla de valores de verdad es la siguiente:

"La casa tiene luz y agua"

La disyunción o suma lógica

La tabla de verdad que corresponde a este operador, es la siguiente:

La tabla de valores de verdad correspondiente a la disyunción inclusiva es la siguiente:

q: las calles están mojadas

p →q: Si llueve entonces las calles están mojadas

p condición SUFICIENTE para q (q si p)

q condición NECESARIA para p (p solo si q)

El bicondicional o la doble implicación

p ↔ q: solamente si apruebo, te presto el libro

Hagamos este ejemplo por pasos:

1. Asignar valores de verdad y falsedad a p

2. Asignar valores de verdad y falsedad a q

3. Hallar los valores de verdad para la proposición compuesta (p v q)

4. Hallar los valores de verdad para la proposición compuesta (p ∧ q)

5. Hallar el valor de verdad de la proposición condicional (p v q) → (p ∧ q).

Vamos, nuevamente a realizar la descomposición por pasos:

Hallar el valor de verdad de las siguientes proposiciones complejas:

Ejemplo: Hallar la tabla de verdad correspondiente a la proposición lógica ( p v q ) → (~p)

Veamos otro ejemplo: se pide hallar la tabla de verdad correspondiente a la proposición

[ (p ↔ q) v [(p →q) ∧ (q→p)] ]

p q p↔q v [(p →q) ∧ (q→p)]

Leyes de la lógica proposicional

1. Involución o doble negación

La negación de la negación de una proposición, es equivalente a la misma proposición.

2. Idempotencia de la conjunción y la disyunción

a. La conjunción de una misma proposición es equivalente a la proposición constitutiva. (p∧p ≡ p)

∼(p→q) ∧ ∼(p→q) ≡∼(p→q)

Comprobemos lo anterior con la tabla de la verdad:

p q ∼ p→q ∧ ∼(p→q) ∼(p→q)

1. Asigna valores de verdad a las proposiciones simples p y q.

2. Halla los valores correspondientes a la cuarta columna (p→q)

4. copia los valores de la tercera columna en la sexta columna (idempotencia)

5. Aplica la conjunción a las columnas tres y seis y escríbelo en la columna siete

6. Compara las columnas seis y siete. Verifica que te resulten idénticas.

d) (p↔q) ≡ (q↔p) (bicondicional o doble implicación)

Construyamos la tabla de verdad de c) para comprobar el cumplimiento de la ley conmutativa:

Como ejercicio, comprueba que la implicación (condicional) no cumple la propiedad conmutativa.

6. Leyes de D' Morgan

a) ∼(p ∧ q) ≡ (∼p) v (∼q)

a) Ley de absorción total:

1) La existencia de dos operadores lógicos distintos ("∧ " y "v")

Dado lo anterior, concluimos que:

Sea la proposición p v (q ∧ ∼p) identificar si se cumple la ley de absorción.

1) Se cumple la existencia de operadores lógicos contrarios ("v" y "∧ ")

2) p se encuentra fuera del paréntesis y su complemento ∼p se halla dentro.

La doble implicación y la implicación

La doble implicación es equivalente a la conjunción de la implicación y su recíproca. es decir,

y proceder a verificarlo a través de la tabla de verdad.

La diferencia simétrica y la doble implicación

p⊻q↔ ∼ (p ↔ q), es decir p ⊻ q ≡ ∼ (p ↔ q)

Вам также может понравиться