matemáticasdiscretas (tc1003) m.c.xaviersánchezdíaz …
TRANSCRIPT
![Page 2: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/2.jpg)
Outline
1 De los símbolos al significado
2 Detalle de tablas de verdad
3 Equivalencias y leyes
2 / 14
![Page 3: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/3.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 4: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/4.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 5: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/5.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 6: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/6.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 7: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/7.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 8: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/8.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 9: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/9.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 10: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/10.jpg)
RepasoDe los símbolos al significado
Hasta ahora hemos revisado lo siguiente:
La conjunción (Te quiero con limón y con sal)La disyunción (Coca o Pepsi; cualquiera de las dos está bien)La negación (No es cierto que ella te odie)La implicación (Si te aplicas, entonces vas a pasar el semestre sinproblemas)
Además, también revisamos
Variables: P,Q,R
Estatutos atómicos P o estatutos compuestos P =⇒ Q
Conectivos y operadores lógicos: ∨,∧, =⇒ , ⇐⇒ ,¬
3 / 14
![Page 11: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/11.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 12: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/12.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 13: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/13.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 14: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/14.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 15: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/15.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 16: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/16.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 17: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/17.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 18: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/18.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 19: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/19.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 20: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/20.jpg)
Las tablas de verdad IDe los símbolos al significado
Para poder entender de dónde sale una tabla de verdad, primero hay queentender cómo afecta cada operador a cada estatuto.
Sabemos que si tenemos P ∧Q significa que tenemos que cumplir con ambascondiciones para decir la verdad. ¿Qué pasa en el siguiente enunciado?
¬P ∧Q
¿Cuál de las siguientes preguntas es la que representa al enunciado anterior?
No tengo hambre y estoy enojadoNi tengo hambre, ni estoy enojadoTengo hambre y no estoy enojadoNo es cierto que tenga hambre y esté enojado
¿A qué está afectando el ¬?4 / 14
![Page 21: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/21.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 22: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/22.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 23: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/23.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 24: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/24.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 25: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/25.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 26: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/26.jpg)
AridadDe los símbolos al significado
El término aridad hace referencia a cuántos posibles valores puede tomaralgo.
Como ejemplo, tenemos el operador ∨, que es un operador binario (bi de 2),puesto a que necesita 2 átomos para operar:
Esto o esto otro
¿Qué otros operadores conoces que sean binarios?¿Cuántos átomos necesita el ¬ para operar?¿Cuántos valores posibles puede tomar una variable atómica?
5 / 14
![Page 27: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/27.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 28: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/28.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 29: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/29.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 30: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/30.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 31: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/31.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 32: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/32.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 33: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/33.jpg)
Las tablas de verdad IIDe los símbolos al significado
Una tabla de verdad es una manera sencilla de recordar cómo funcionan losconectivos lógicos.
Dado a que las variables atómicas (también llamadas variables booleanas)son binarias. . .
¿Cuántos posibles outcomes tenemos para una sola variable P?¿Cuántos outcomes tenemos para P ∧Q?¿De cuántas posibles maneras podemos llegar a los posibles outcomesde P ∧Q?
El número de renglones de una tabla de verdad siempre es par.
6 / 14
![Page 34: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/34.jpg)
PDetalle de tablas de verdad
La tabla de verdad de P consta de todos sus posibles valores:
P
TF
Tiene dos renglones puesto a que es una sola variable que puedetomar dos valoresEquivale a la presencia o ausencia de una señal: prendido o bienapagadoEjemplo: Está lloviendo
7 / 14
![Page 35: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/35.jpg)
PDetalle de tablas de verdad
La tabla de verdad de P consta de todos sus posibles valores:
P
TF
Tiene dos renglones puesto a que es una sola variable que puedetomar dos valoresEquivale a la presencia o ausencia de una señal: prendido o bienapagadoEjemplo: Está lloviendo
7 / 14
![Page 36: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/36.jpg)
PDetalle de tablas de verdad
La tabla de verdad de P consta de todos sus posibles valores:
P
TF
Tiene dos renglones puesto a que es una sola variable que puedetomar dos valoresEquivale a la presencia o ausencia de una señal: prendido o bienapagadoEjemplo: Está lloviendo
7 / 14
![Page 37: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/37.jpg)
PDetalle de tablas de verdad
La tabla de verdad de P consta de todos sus posibles valores:
P
TF
Tiene dos renglones puesto a que es una sola variable que puedetomar dos valoresEquivale a la presencia o ausencia de una señal: prendido o bienapagadoEjemplo: Está lloviendo
7 / 14
![Page 38: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/38.jpg)
PDetalle de tablas de verdad
La tabla de verdad de P consta de todos sus posibles valores:
P
TF
Tiene dos renglones puesto a que es una sola variable que puedetomar dos valoresEquivale a la presencia o ausencia de una señal: prendido o bienapagadoEjemplo: Está lloviendo
7 / 14
![Page 39: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/39.jpg)
¬PDetalle de tablas de verdad
La tabla de verdad de ¬P consta de los posibles valores de P y por consigu-iente, los valores de ¬P , que es lo contrario a eso:
P ¬P
T FF T
¿Cuántos renglones tiene?Equivale lo contrario de lo que sea que valga P
Ejemplo: no es cierto que está lloviendo
8 / 14
![Page 40: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/40.jpg)
¬PDetalle de tablas de verdad
La tabla de verdad de ¬P consta de los posibles valores de P y por consigu-iente, los valores de ¬P , que es lo contrario a eso:
P ¬P
T FF T
¿Cuántos renglones tiene?Equivale lo contrario de lo que sea que valga P
Ejemplo: no es cierto que está lloviendo
8 / 14
![Page 41: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/41.jpg)
¬PDetalle de tablas de verdad
La tabla de verdad de ¬P consta de los posibles valores de P y por consigu-iente, los valores de ¬P , que es lo contrario a eso:
P ¬P
T FF T
¿Cuántos renglones tiene?Equivale lo contrario de lo que sea que valga P
Ejemplo: no es cierto que está lloviendo
8 / 14
![Page 42: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/42.jpg)
¬PDetalle de tablas de verdad
La tabla de verdad de ¬P consta de los posibles valores de P y por consigu-iente, los valores de ¬P , que es lo contrario a eso:
P ¬P
T FF T
¿Cuántos renglones tiene?Equivale lo contrario de lo que sea que valga P
Ejemplo: no es cierto que está lloviendo
8 / 14
![Page 43: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/43.jpg)
¬PDetalle de tablas de verdad
La tabla de verdad de ¬P consta de los posibles valores de P y por consigu-iente, los valores de ¬P , que es lo contrario a eso:
P ¬P
T FF T
¿Cuántos renglones tiene?Equivale lo contrario de lo que sea que valga P
Ejemplo: no es cierto que está lloviendo
8 / 14
![Page 44: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/44.jpg)
P ∨QDetalle de las tablas de verdad
La tabla de verdad de P ∨Q consta de los posibles valores de P , de Q y deP ∨Q:
P Q P ∨Q
T T TT F TF T TF F F
4 renglonesEjemplo: Coca o pepsiCon cualquier que lleves, ya cumpliste. La única manera de no cumplires que no lleves ninguna de las dos.
9 / 14
![Page 45: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/45.jpg)
P ∧QDetalle de las tablas de verdad
La tabla de verdad de P ∧Q consta de los posibles valores de P , de Q y deP ∧Q:
P Q P ∧Q
T T TT F FF T FF F F
4 renglonesEjemplo: Sin leche y sin azúcarLa única manera de cumplir es si ambas son ciertas.
10 / 14
![Page 46: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/46.jpg)
P =⇒ QDetalle de las tablas de verdad
La tabla de verdad de P =⇒ Q consta de los posibles valores de P , de Qy de P =⇒ Q:
P Q P =⇒ Q
T T TT F FF T TF F T
4 renglonesEjemplo: Si estudias, pasarás sin problemas el semestreSi la hipótesis es verdadera, y no ocurre lo que dices, entonces mentíasSi la hipótesis es falsa, puedo concluir cualquier cosa
11 / 14
![Page 47: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/47.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 48: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/48.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 49: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/49.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 50: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/50.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 51: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/51.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 52: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/52.jpg)
Jerarquía de operaciones lógicasEquivalencias y leyes
En orden de fuerza de cohesión, tenemos lo siguiente:
1 ¬2 ∧,∨3 =⇒4 ⇐⇒
Es decir que
P ∧Q =⇒ ¬R
Si (P y Q son ciertas) entonces (No es cierto que (R)).
12 / 14
![Page 53: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/53.jpg)
EquivalenciasEquivalencias y leyes
Dos enunciados P y Q son equivalentes (P ≡ Q) si sus tablas de verdad soniguales.
1 Construye la tabla de verdad de P =⇒ Q
2 Construye la tabla de verdad de Q =⇒ P
3 ¿Qué obtienes con la conjunción de los enunciados 1 y 2?
13 / 14
![Page 54: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/54.jpg)
EquivalenciasEquivalencias y leyes
Dos enunciados P y Q son equivalentes (P ≡ Q) si sus tablas de verdad soniguales.
1 Construye la tabla de verdad de P =⇒ Q
2 Construye la tabla de verdad de Q =⇒ P
3 ¿Qué obtienes con la conjunción de los enunciados 1 y 2?
13 / 14
![Page 55: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/55.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 56: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/56.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 57: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/57.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 58: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/58.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 59: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/59.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 60: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/60.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 61: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/61.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 62: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/62.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 63: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/63.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 64: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/64.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 65: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/65.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 66: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/66.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 67: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/67.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14
![Page 68: MatemáticasDiscretas (TC1003) M.C.XavierSánchezDíaz …](https://reader031.vdocuments.pub/reader031/viewer/2022012512/618b2df717415d04947e3e04/html5/thumbnails/68.jpg)
¿Cómo sé qué es cierto y qué no?Equivalencias y leyes
Si P y Q son variables de verdad, T es siempre verdadero y F es siemprefalso, entonces . . .
P =⇒ Q ≡ ¬P ∨Q
¬(¬P ) ≡ P
Q ∨ P ≡ P ∨Q
Q ∧ P ≡ P ∧Q
¬(P ∨Q) ≡ ¬P ∧ ¬Q¬(P ∧Q) ≡ ¬P ∨ ¬Q(P =⇒ Q) ∧ (Q =⇒ P ) ≡ P ⇐⇒ Q
P ∨ P ≡ P
P ∧ P ≡ P
P ∨ T ≡ T
P ∧ T ≡ P
P ∨ F ≡ P
P ∧ F ≡ F14 / 14