Lógica - ÁLGEBRA I UNSL 2014 (90...
Transcript of Lógica - ÁLGEBRA I UNSL 2014 (90...
![Page 1: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/1.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 2: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/2.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 3: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/3.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 4: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/4.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 5: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/5.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 6: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/6.jpg)
Lógica
AplicacionesOrdenar el pensamiento
La escritura de programas de computación
Diseño de circuitos digitales
Es fundamental en matemáticas
Afrontar problemas de la vida cotidiana
Afrontar y resolver problemas de ingeniería.
() March 21, 2014 1 / 23
![Page 7: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/7.jpg)
Lógica. Proposiciones
Una proposición es una aserción o enunciado expresado en lenguajenatural escrito o hablado, mediante una expresión declarativa; que puedeser cierta o falsa, pero no ambas a la vez.
Las proposiciones, en general, son denotadas con las letras p, q, r , etc.
() March 21, 2014 2 / 23
![Page 8: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/8.jpg)
Lógica. Proposiciones
Una proposición es una aserción o enunciado expresado en lenguajenatural escrito o hablado, mediante una expresión declarativa; que puedeser cierta o falsa, pero no ambas a la vez.
Las proposiciones, en general, son denotadas con las letras p, q, r , etc.
() March 21, 2014 2 / 23
![Page 9: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/9.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 10: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/10.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 11: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/11.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 12: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/12.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 13: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/13.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 14: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/14.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 15: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/15.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 16: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/16.jpg)
Lógica. Proposiciones
Ejemplo1 Oraciones que son proposiciones:
1 La educación perfecciona al hombre.
2 Fumar es bueno para la salud.
3 Las adicciones disminuyen la capacidad de aprendizaje.
2 Oraciones que no son proposiciones:
1 Deténgase.
2 ¿Es divertido este curso?
3 Si x2 = 9 entonces x = 3.
() March 21, 2014 3 / 23
![Page 17: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/17.jpg)
Proposiciones Compuestas y Conectivos Lógicos
Una proposición compuesta es una proposición que está formada porproposiciones simples unida por conectivos lógicos.
EjemploDadas las proposiciones simples:p : Juan se preocupa para que su hijo estudie.q : El hijo debe estudiar.
Construimos, las siguientes proposiciones compuesta:
1 Si p entonces q: �Si Juan se preocupa para que su hijo estudieentonces el hijo de Juan debe estudiar�.
2 Si no p entonces no q: �Si el hijo de Juan no estudia entonces Juanno se preocupara para que su hijo estudie.�
() March 21, 2014 4 / 23
![Page 18: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/18.jpg)
Proposiciones Compuestas y Conectivos Lógicos
Una proposición compuesta es una proposición que está formada porproposiciones simples unida por conectivos lógicos.
EjemploDadas las proposiciones simples:p : Juan se preocupa para que su hijo estudie.q : El hijo debe estudiar.
Construimos, las siguientes proposiciones compuesta:
1 Si p entonces q: �Si Juan se preocupa para que su hijo estudieentonces el hijo de Juan debe estudiar�.
2 Si no p entonces no q: �Si el hijo de Juan no estudia entonces Juanno se preocupara para que su hijo estudie.�
() March 21, 2014 4 / 23
![Page 19: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/19.jpg)
Proposiciones Compuestas y Conectivos Lógicos
Una proposición compuesta es una proposición que está formada porproposiciones simples unida por conectivos lógicos.
EjemploDadas las proposiciones simples:p : Juan se preocupa para que su hijo estudie.q : El hijo debe estudiar.
Construimos, las siguientes proposiciones compuesta:
1 Si p entonces q: �Si Juan se preocupa para que su hijo estudieentonces el hijo de Juan debe estudiar�.
2 Si no p entonces no q: �Si el hijo de Juan no estudia entonces Juanno se preocupara para que su hijo estudie.�
() March 21, 2014 4 / 23
![Page 20: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/20.jpg)
Proposiciones Compuestas y Conectivos Lógicos
Una proposición compuesta es una proposición que está formada porproposiciones simples unida por conectivos lógicos.
EjemploDadas las proposiciones simples:p : Juan se preocupa para que su hijo estudie.q : El hijo debe estudiar.
Construimos, las siguientes proposiciones compuesta:
1 Si p entonces q: �Si Juan se preocupa para que su hijo estudieentonces el hijo de Juan debe estudiar�.
2 Si no p entonces no q: �Si el hijo de Juan no estudia entonces Juanno se preocupara para que su hijo estudie.�
() March 21, 2014 4 / 23
![Page 21: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/21.jpg)
Proposiciones Compuestas y Conectivos Lógicos
EjemploDada la proposición compuesta:
1 �Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos y el diseño de sistemas digitales��
Las proposiciones simples que la componen son:
p : Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos.
q : Las compuertas lógicas son la base para el diseño de sistemasdigitales.
() March 21, 2014 5 / 23
![Page 22: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/22.jpg)
Proposiciones Compuestas y Conectivos Lógicos
EjemploDada la proposición compuesta:
1 �Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos y el diseño de sistemas digitales��
Las proposiciones simples que la componen son:
p : Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos.
q : Las compuertas lógicas son la base para el diseño de sistemasdigitales.
() March 21, 2014 5 / 23
![Page 23: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/23.jpg)
Proposiciones Compuestas y Conectivos Lógicos
EjemploDada la proposición compuesta:
1 �Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos y el diseño de sistemas digitales��
Las proposiciones simples que la componen son:
p : Las compuertas lógicas son la base para el desarrollo de circuitosintegrados más complejos.
q : Las compuertas lógicas son la base para el diseño de sistemasdigitales.
() March 21, 2014 5 / 23
![Page 24: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/24.jpg)
Proposiciones Compuestas y Conectivos Lógicos
El valor de verdad de las proposiciones compuestas dependen del valor deverdad de las proposiciones simples que la componen y del conectivo quelas une.
Ley lógica o tautología si es verdadera independientemente de losvalores de verdad que se asignen a las proposiciones simples que lacomponen
Contradicción si es falsa independientemente de los valores deverdad que se asignen a las proposiciones simples que la componen.
Contingencia si no es una tautología ni una contradicción.
() March 21, 2014 6 / 23
![Page 25: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/25.jpg)
Proposiciones Compuestas y Conectivos Lógicos
El valor de verdad de las proposiciones compuestas dependen del valor deverdad de las proposiciones simples que la componen y del conectivo quelas une.
Ley lógica o tautología si es verdadera independientemente de losvalores de verdad que se asignen a las proposiciones simples que lacomponen
Contradicción si es falsa independientemente de los valores deverdad que se asignen a las proposiciones simples que la componen.
Contingencia si no es una tautología ni una contradicción.
() March 21, 2014 6 / 23
![Page 26: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/26.jpg)
Proposiciones Compuestas y Conectivos Lógicos
El valor de verdad de las proposiciones compuestas dependen del valor deverdad de las proposiciones simples que la componen y del conectivo quelas une.
Ley lógica o tautología si es verdadera independientemente de losvalores de verdad que se asignen a las proposiciones simples que lacomponen
Contradicción si es falsa independientemente de los valores deverdad que se asignen a las proposiciones simples que la componen.
Contingencia si no es una tautología ni una contradicción.
() March 21, 2014 6 / 23
![Page 27: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/27.jpg)
Proposiciones Compuestas y Conectivos Lógicos
El valor de verdad de las proposiciones compuestas dependen del valor deverdad de las proposiciones simples que la componen y del conectivo quelas une.
Ley lógica o tautología si es verdadera independientemente de losvalores de verdad que se asignen a las proposiciones simples que lacomponen
Contradicción si es falsa independientemente de los valores deverdad que se asignen a las proposiciones simples que la componen.
Contingencia si no es una tautología ni una contradicción.
() March 21, 2014 6 / 23
![Page 28: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/28.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 29: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/29.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 30: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/30.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vp
FV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 31: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/31.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpF
V
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 32: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/32.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 33: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/33.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.
La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 34: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/34.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.
vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 35: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/35.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.
vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 36: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/36.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.
vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 37: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/37.jpg)
Proposiciones Compuestas y Tablas de verdad
Negación de la proposición p, es la proposición v p (se lee no p)que es verdadera cuando p es falsa, y es falsa cuando p es verdadera.
La tabla de valores de verdad es
pVF
vpFV
EjemploDada la proposición p : �Todo ser humano tiene derecho a vivir�.La negación de p es la proposición:vp : �No todo ser humano tiene derecho a vivir�.vp : No es cierto que todo ser humano tenga derecho a vivir.vp : hay seres humanos que no tienen derecho a vivir.vp : Existen seres humanos que no tiene derecho a vivir.
() March 21, 2014 7 / 23
![Page 38: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/38.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 39: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/39.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 40: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/40.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ q
VFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 41: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/41.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qV
FFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 42: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/42.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVF
FF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 43: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/43.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFF
F
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 44: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/44.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 45: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/45.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.
La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 46: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/46.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.
Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 47: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/47.jpg)
Proposiciones Compuestas y Tablas de verdad
Conjunción de p y q, denotada con p ^ q, (se lee p y q) es laproposición que es verdadera cuando ambas, p y q, son verdaderas, yes falsa, cuando p o q, o ambas son falsas.
p qV VV FF VF F
p ^ qVFFF
EjemploDadas las proposiciones p : �3 es un número impar�. q : �8 es un númeroimpar�.La conjunción de p y q, es: p ^ q : �3 y 8 son números impares�.Por ser p verdadera y q falsa la conjunción de p ^ q es falsa.
() March 21, 2014 8 / 23
![Page 48: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/48.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 49: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/49.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 50: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/50.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ q
VVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 51: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/51.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qV
VVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 52: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/52.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVV
VF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 53: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/53.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVV
F
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 54: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/54.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 55: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/55.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.
La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 56: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/56.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.
Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 57: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/57.jpg)
Proposiciones Compuestas y Tablas de verdad
Disyunción de p y q, denotada con p _ q, (se lee p o q) es laproposición que es verdadera cuando p o q o ambas son verdaderas, yes falsa, cuando ambas p y q son falsas.
p qV VV FF VF F
p _ qVVVF
EjemploDadas las proposiciones p : �3 es un número impar� y q : �8 es unnúmero impar�.La disyunción de p y q, es: p _ q : �3 o 8 son números impares�.Por ser p verdadera la conjunción es verdadera.
() March 21, 2014 9 / 23
![Page 58: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/58.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 59: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/59.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 60: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/60.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y q
FVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 61: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/61.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qF
VVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 62: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/62.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFV
VF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 63: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/63.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVV
F
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 64: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/64.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 65: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/65.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.
Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 66: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/66.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.
Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 67: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/67.jpg)
Proposiciones Compuestas y Tablas de verdad
El �o� exclusivo se denota por p Y q, también se lo llama diferenciasimétrica. La proposición compuesta p Y q es verdadera si una o laotra pero no ambas proposiciones p, q son verdaderas.
p qV VV FF VF F
p Y qFVVF
EjemploDada la proposición �Esta tarde estudio ó visito a mis padres�.Tenemos que p : �Esta tarde estudio�y q : �Esta tarde visito a mis padres.Observamos que las proposiciones p y q no pueden ser simultáneamente,verdaderas.
() March 21, 2014 10 / 23
![Page 68: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/68.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVFVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 69: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/69.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVFVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 70: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/70.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) q
VFVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 71: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/71.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qV
FVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 72: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/72.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVF
VV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 73: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/73.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVFV
V
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 74: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/74.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVFVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 75: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/75.jpg)
Proposiciones Compuestas y Tablas de verdad
El condicional p ) q (se lee �si p entonces q�) signi�ca que laverdad de p implica la verdad de q. Es decir, si p es verdadera,entonces q debe ser verdadera. La única manera de la implicaciónp ) q sea falso es que p sea verdadera y q es falsa.
p qV VV FF VF F
p ) qVFVV
La proposición p se la denomina antecedente y a q consecuente.
() March 21, 2014 11 / 23
![Page 76: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/76.jpg)
Proposiciones Compuestas y Tablas de verdad
EjemploConsideremos la proposición
�Si apruebo el exámen entonces te presto los apuntes� (1)
El antecedente es p : �Apruebo el examen�y el consecuente es q : �Tepresto los apuntes�.
Si p es falso, es decir, �Si no apruebo el examen�, nuestra proposiciónno dice nada y la consideramos como verdadera independientementesi presto o o el examen.
Si p es verdadera, es decir �si apruebo el examen�y no te presto losapuntes ( q es falsa) el compromiso no se cumple, y la proposición esfalsa.
Por último, si p y q son verdaderas entonces la implicación esverdadera porque el compromiso se cumple.
() March 21, 2014 12 / 23
![Page 77: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/77.jpg)
Proposiciones Compuestas y Tablas de verdad
EjemploConsideremos la proposición
�Si apruebo el exámen entonces te presto los apuntes� (1)
El antecedente es p : �Apruebo el examen�y el consecuente es q : �Tepresto los apuntes�.
Si p es falso, es decir, �Si no apruebo el examen�, nuestra proposiciónno dice nada y la consideramos como verdadera independientementesi presto o o el examen.
Si p es verdadera, es decir �si apruebo el examen�y no te presto losapuntes ( q es falsa) el compromiso no se cumple, y la proposición esfalsa.
Por último, si p y q son verdaderas entonces la implicación esverdadera porque el compromiso se cumple.
() March 21, 2014 12 / 23
![Page 78: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/78.jpg)
Proposiciones Compuestas y Tablas de verdad
EjemploConsideremos la proposición
�Si apruebo el exámen entonces te presto los apuntes� (1)
El antecedente es p : �Apruebo el examen�y el consecuente es q : �Tepresto los apuntes�.
Si p es falso, es decir, �Si no apruebo el examen�, nuestra proposiciónno dice nada y la consideramos como verdadera independientementesi presto o o el examen.
Si p es verdadera, es decir �si apruebo el examen�y no te presto losapuntes ( q es falsa) el compromiso no se cumple, y la proposición esfalsa.
Por último, si p y q son verdaderas entonces la implicación esverdadera porque el compromiso se cumple.
() March 21, 2014 12 / 23
![Page 79: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/79.jpg)
Proposiciones Compuestas y Tablas de verdad
EjemploConsideremos la proposición
�Si apruebo el exámen entonces te presto los apuntes� (1)
El antecedente es p : �Apruebo el examen�y el consecuente es q : �Tepresto los apuntes�.
Si p es falso, es decir, �Si no apruebo el examen�, nuestra proposiciónno dice nada y la consideramos como verdadera independientementesi presto o o el examen.
Si p es verdadera, es decir �si apruebo el examen�y no te presto losapuntes ( q es falsa) el compromiso no se cumple, y la proposición esfalsa.
Por último, si p y q son verdaderas entonces la implicación esverdadera porque el compromiso se cumple.
() March 21, 2014 12 / 23
![Page 80: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/80.jpg)
Proposiciones Compuestas y Tablas de verdad
EjemploConsideremos la proposición
�Si apruebo el exámen entonces te presto los apuntes� (1)
El antecedente es p : �Apruebo el examen�y el consecuente es q : �Tepresto los apuntes�.
Si p es falso, es decir, �Si no apruebo el examen�, nuestra proposiciónno dice nada y la consideramos como verdadera independientementesi presto o o el examen.
Si p es verdadera, es decir �si apruebo el examen�y no te presto losapuntes ( q es falsa) el compromiso no se cumple, y la proposición esfalsa.
Por último, si p y q son verdaderas entonces la implicación esverdadera porque el compromiso se cumple.
() March 21, 2014 12 / 23
![Page 81: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/81.jpg)
Proposiciones Compuestas y Tablas de verdad
Al igual que en el lenguaje coloquial un condicional puede expresarse dedistintas formas,
\Si apruebo el examen entonces te presto el apunte� es equivalente a
1 Si apruebo el examen, te presto el apunte.2 Te presto el apunte si apruebo el examen.
() March 21, 2014 13 / 23
![Page 82: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/82.jpg)
Proposiciones Compuestas y Tablas de verdad
Al igual que en el lenguaje coloquial un condicional puede expresarse dedistintas formas,\Si apruebo el examen entonces te presto el apunte� es equivalente a
1 Si apruebo el examen, te presto el apunte.2 Te presto el apunte si apruebo el examen.
() March 21, 2014 13 / 23
![Page 83: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/83.jpg)
Proposiciones Compuestas y Tablas de verdad
Al igual que en el lenguaje coloquial un condicional puede expresarse dedistintas formas,\Si apruebo el examen entonces te presto el apunte� es equivalente a
1 Si apruebo el examen, te presto el apunte.
2 Te presto el apunte si apruebo el examen.
() March 21, 2014 13 / 23
![Page 84: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/84.jpg)
Proposiciones Compuestas y Tablas de verdad
Al igual que en el lenguaje coloquial un condicional puede expresarse dedistintas formas,\Si apruebo el examen entonces te presto el apunte� es equivalente a
1 Si apruebo el examen, te presto el apunte.2 Te presto el apunte si apruebo el examen.
() March 21, 2014 13 / 23
![Page 85: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/85.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 86: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/86.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 87: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/87.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , q
VFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 88: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/88.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qV
FFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 89: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/89.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVF
FV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 90: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/90.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFF
V
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 91: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/91.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 92: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/92.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.
La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 93: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/93.jpg)
Proposiciones Compuestas y Tablas de verdad
La proposición �p sí y sólo sí q�denotada con p , q, es verdaderasi ambas p y q, son verdaderas o si ambas p y q son falsas, es decirque ambas tienen el mismo valor de verdad.
p qV VV FF VF F
p , qVFFV
EjemploDadas las proposiciones simples p : �Te presto el apunte�y q : �Aprueboel examen�.La doble implicación de p y q, es: p , q : � Te presto el apunte si y sólosi apruebo el examen�.
() March 21, 2014 14 / 23
![Page 94: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/94.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)VF
() March 21, 2014 15 / 23
![Page 95: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/95.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)VF
() March 21, 2014 15 / 23
![Page 96: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/96.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)VF
() March 21, 2014 15 / 23
![Page 97: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/97.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)
VF
() March 21, 2014 15 / 23
![Page 98: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/98.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)V
F
() March 21, 2014 15 / 23
![Page 99: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/99.jpg)
Proposiciones Compuestas y equivalencia lógica
Dos proposiciones (compuestas) p y q son lógicamenteequivalentes, lo denotamos p � q, si tienen la misma tabla deverdad.
Proposición
v(vp) es lógicamente equivalente a p.
Demostración. Para veri�car esta a�rmación analicemos todos losposibles valores de verdad:
p vpV FF V
v(vp)VF
() March 21, 2014 15 / 23
![Page 100: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/100.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV VV V
() March 21, 2014 16 / 23
![Page 101: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/101.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV VV V
() March 21, 2014 16 / 23
![Page 102: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/102.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) q
V VF FV VV V
() March 21, 2014 16 / 23
![Page 103: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/103.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV
VF FV VV V
() March 21, 2014 16 / 23
![Page 104: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/104.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV V
F FV VV V
() March 21, 2014 16 / 23
![Page 105: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/105.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF
FV VV V
() March 21, 2014 16 / 23
![Page 106: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/106.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF F
V VV V
() March 21, 2014 16 / 23
![Page 107: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/107.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV
VV V
() March 21, 2014 16 / 23
![Page 108: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/108.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV V
V V
() March 21, 2014 16 / 23
![Page 109: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/109.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV VV
V
() March 21, 2014 16 / 23
![Page 110: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/110.jpg)
Proposiciones Compuestas y equivalencia lógica
ProposiciónProbar que p ) q es lógicamente equivalente a vp _ q.
Demostración. Para probarlo construyamos las tablas de verdad de lasdos proposiciones.
p q vpV V FV F FF V VF F V
vp _ q p ) qV VF FV VV V
() March 21, 2014 16 / 23
![Page 111: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/111.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposición
q ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 112: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/112.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,
v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 113: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/113.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contraria
v q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 114: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/114.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíproca
EjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 115: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/115.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 116: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/116.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 117: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/117.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 118: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/118.jpg)
Proposiciones Compuestas y equivalencia lógica
Condicionales AsociadosDado el condicional p ) q, diremos que la proposiciónq ) p es el recíproco,v p )v q es la contrariav q )v p es la contrarecíprocaEjemploConsideremos la proposición compuesta: p ) q �Si está lloviendoentonces hay nubes en el cielo�. Ésta proposición es verdadera.
Su recíproca q ) p se lee: �Si hay nubes en el cielo entonces estálloviendo�. Ésta es una proposición que puede ser verdadera o falsa.
La contraria v p )v q, dice: �Si no está lloviendo entonces no haynubes en el cielo�. Ésta es una proposición que puede ser verdadera ofalsa.
La contrarecíproca v q )v p dice: �Si no hay nubes en el cieloentonces no está lloviendo�. Es una proposición es verdadera.
() March 21, 2014 17 / 23
![Page 119: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/119.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV V
() March 21, 2014 18 / 23
![Page 120: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/120.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)
(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV V
() March 21, 2014 18 / 23
![Page 121: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/121.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV V
() March 21, 2014 18 / 23
![Page 122: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/122.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV V
() March 21, 2014 18 / 23
![Page 123: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/123.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v p
V VF FV VV V
() March 21, 2014 18 / 23
![Page 124: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/124.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV
VF FV VV V
() March 21, 2014 18 / 23
![Page 125: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/125.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV V
F FV VV V
() March 21, 2014 18 / 23
![Page 126: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/126.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF
FV VV V
() March 21, 2014 18 / 23
![Page 127: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/127.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF F
V VV V
() March 21, 2014 18 / 23
![Page 128: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/128.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV
VV V
() March 21, 2014 18 / 23
![Page 129: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/129.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV V
V V
() March 21, 2014 18 / 23
![Page 130: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/130.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV
V
() March 21, 2014 18 / 23
![Page 131: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/131.jpg)
Proposiciones Compuestas y equivalencia lógica
TeoremaLos contrarecíprocos son lógicamente equivalentes, es decir
(p ) q) � (v q )v p)(q ) p) � (v p )v q) .
Demostración. Para demostrarlo construimos las tablas de verdad de lasdos implicaciones:
p q vp vqV V F FV F F VF V V FF F V V
p ) q v q )v pV VF FV VV V
() March 21, 2014 18 / 23
![Page 132: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/132.jpg)
Proposiciones Compuestas y equivalencia lógica
No son lógicamente equivalentes los recíprocos ni los contrarios, es decir
(p ) q) �/ (q ) p)
(p ) q) �/ (v p )v q) .
() March 21, 2014 19 / 23
![Page 133: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/133.jpg)
Proposiciones Compuestas y equivalencia lógica
No son lógicamente equivalentes los recíprocos ni los contrarios, es decir
(p ) q) �/ (q ) p)
(p ) q) �/ (v p )v q) .
() March 21, 2014 19 / 23
![Page 134: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/134.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF FF FV V
() March 21, 2014 20 / 23
![Page 135: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/135.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , q
V VF FF FV V
() March 21, 2014 20 / 23
![Page 136: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/136.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV
VF FF FV V
() March 21, 2014 20 / 23
![Page 137: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/137.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV V
F FF FV V
() March 21, 2014 20 / 23
![Page 138: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/138.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF
FF FV V
() March 21, 2014 20 / 23
![Page 139: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/139.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF F
F FV V
() March 21, 2014 20 / 23
![Page 140: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/140.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF FF
FV V
() March 21, 2014 20 / 23
![Page 141: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/141.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF FF F
V V
() March 21, 2014 20 / 23
![Page 142: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/142.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF FF FV
V
() March 21, 2014 20 / 23
![Page 143: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/143.jpg)
Proposiciones Compuestas y equivalencia lógica
Proposición
(p ) q) ^ (q ) p) � p , q
Demostración.p q p ) q q ) pV V V VV F F VF V V FF F V V
(p ) q) ^ (q ) p) p , qV VF FF FV V
() March 21, 2014 20 / 23
![Page 144: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/144.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p ) q es siempre V , diremos que "p ) q" es una implicación yque:
p es condición su�ciente para q y q es condición necesaria para p.
EjemploConsideremos la proposición
Si un número es múltiplo de 6 entonces es múltiplo de 3.
Donde el antecedente es: p : �Un número es múltiplo de 6�y elconsecuente es q : �Un número es múltiplo de 3�.Podemos observar que nunca se puede dar el caso que p sea verdad yq sea falso (hacer...) por lo tanto la proposición condicional p ) q,siempre será verdadera
() March 21, 2014 21 / 23
![Page 145: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/145.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p ) q es siempre V , diremos que "p ) q" es una implicación yque:
p es condición su�ciente para q y q es condición necesaria para p.
EjemploConsideremos la proposición
Si un número es múltiplo de 6 entonces es múltiplo de 3.
Donde el antecedente es: p : �Un número es múltiplo de 6�y elconsecuente es q : �Un número es múltiplo de 3�.Podemos observar que nunca se puede dar el caso que p sea verdad yq sea falso (hacer...) por lo tanto la proposición condicional p ) q,siempre será verdadera
() March 21, 2014 21 / 23
![Page 146: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/146.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p ) q es siempre V , diremos que "p ) q" es una implicación yque:
p es condición su�ciente para q y q es condición necesaria para p.
EjemploConsideremos la proposición
Si un número es múltiplo de 6 entonces es múltiplo de 3.
Donde el antecedente es: p : �Un número es múltiplo de 6�y elconsecuente es q : �Un número es múltiplo de 3�.Podemos observar que nunca se puede dar el caso que p sea verdad yq sea falso (hacer...) por lo tanto la proposición condicional p ) q,siempre será verdadera
() March 21, 2014 21 / 23
![Page 147: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/147.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p ) q es siempre V , diremos que "p ) q" es una implicación yque:
p es condición su�ciente para q y q es condición necesaria para p.
EjemploConsideremos la proposición
Si un número es múltiplo de 6 entonces es múltiplo de 3.
Donde el antecedente es: p : �Un número es múltiplo de 6�y elconsecuente es q : �Un número es múltiplo de 3�.Podemos observar que nunca se puede dar el caso que p sea verdad yq sea falso (hacer...) por lo tanto la proposición condicional p ) q,siempre será verdadera
() March 21, 2014 21 / 23
![Page 148: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/148.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p ) q es siempre V , diremos que "p ) q" es una implicación yque:
p es condición su�ciente para q y q es condición necesaria para p.
EjemploConsideremos la proposición
Si un número es múltiplo de 6 entonces es múltiplo de 3.
Donde el antecedente es: p : �Un número es múltiplo de 6�y elconsecuente es q : �Un número es múltiplo de 3�.Podemos observar que nunca se puede dar el caso que p sea verdad yq sea falso (hacer...) por lo tanto la proposición condicional p ) q,siempre será verdadera
() March 21, 2014 21 / 23
![Page 149: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/149.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 150: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/150.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.
Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 151: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/151.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 152: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/152.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 153: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/153.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 154: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/154.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
EjemploSe puede leer:
Si un número es múltiplo de 6 implica que es múltiplo de 3.Un número múltiplo de 6 es condición su�ciente para que seamúltiplo de 3.
Un número es múltiplo de 3 es condición necesaria para ser múltiplode 6.
Un número es múltiplo de 6 solo si es múltiplo de 3
() March 21, 2014 22 / 23
![Page 155: Lógica - ÁLGEBRA I UNSL 2014 (90 hs.)algebra-unsl.weebly.com/uploads/2/6/4/5/26453048/clase2.pdf · 1 fiLas compuertas lógicas son la base para el desarrollo de circuitos integrados](https://reader033.fdocuments.net/reader033/viewer/2022051812/602934f00b09e9463473a805/html5/thumbnails/155.jpg)
Proposiciones Compuestas y Condición Necesaria ySu�ciente
Si p , q es siempre V , decimos que �p es condición necesaria ysu�ciente para q�.
() March 21, 2014 23 / 23