SlideShare una empresa de Scribd logo
1 de 34
Descargar para leer sin conexión
IE MANUEL MUÑOZ
NAJAR
INTEGRANTES:
TOMY MANUEL LAYME QUISPESIVANA
BRANDON DAVID CAYRA YUCRA
TEMA:
LA PROPOSICION
OBJETIVOS
OBJETIVOS
GENERALES: queremos
lograr que nuestro trabajo sea del agrado
de nuestros compañeros para así lograr el
buen entendimiento del tema que
presentaremos.
 OBJETIVOS
ESPECIFICOS: queremos
lograr el aprendizaje del tema para que
nos sirva en metas que podamos lograr
en el futuro.

ESQUEMA DE LA
PROPOSICION
.

Enunciado y
proposición logica

concepto

Operaciones lógicas
conjunción

Clases

Negación
Disyunción exclusiva
simples

compuestas
Disyunción inclusiva
Condicional
Bicondicional
QUE ES LA PROPOSICION:
Son aquellas expresiones u oraciones que
tienen la propiedad fundamental de ser :
 verdadero (V) 0
 falso (F)
es decir se les puede asignar un valor de
la verdad. Ejemplo
son proposiciones
 PERU es un país de Sudamérica.
 Bogotá es la capital de argentina.
 Fedor escribió la obra crimen y
castigo.


No son proposiciones
 ¿Qué edad tienes?
 ¡prohibido fumar!
 ¡arriba Perú!



Los enunciados de una pregunta o
exclamación
no son proposiciones .
CLASES DE PROPOSICIONES:
PROPOSICIONES SIMPLES O
ATOMICAS:
Son aquellas que tienen una propiedad de
ser verdadera o falsa .ejemplo
 P=15 es múltiplo de 3. (V)
 q=BOLIVAR NACIO EN PERU. (F)
 PROPOSICIONES

COMPUESTAS:

Son aquellas que están formadas por 2 o más
proposiciones y emplean conectivos lógicos.
Ejemplo
Juan es profesor y abogado.
_____________ __ _______
p
^
q





Rosa es soltera o casada.
____________ __ ______
P
˅
q
ENUNCIADO :
Es toda frase u oración que no
implica verdad o falsedad. Ejemplo:
 ¿Qué deporte practicas?
 ¡arriba Perú!
 prohibido estacionarse.
OPERACIONES LOGICAS
LA CONJUNCION: es la operación que enlaza dos proposiciones mediante el conectivo “y” o alguna
expresión equivalente. Ejemplo
P: Juan es ingeniero.
q : Mario es arquitecto.

P ^ q : Juan es ingeniero y Mario es arquitecto.
LA CONJUNCION ES VERDADERA, cuando
los dos componentes son verdaderas; en
los demás casos es falsa.

p
V
V
F
F

^
V
F
F
F

q
V
F
V
F
LA NEGACION: Es la operación que contradice a una proposición cambiándole su valor de
verdad. La negación utilizas las palabras no, no es cierto, que es falso que, etc. Ejmplo
Sea la proposición : P : luis es medico.
* Luis no es medico.
Su negación es: ~P

*No es cierto que luis es medico
*Es falso que luis sea medico.

Si la proposición es VERDADERA su
negación es FALSA; y si la proposición es
FALSA la negación es VERDADERA.

p
V
F

~q
F
V
DISYUNCION INCLUSIVA: Es la operación que enlaza dos proposiciones mediante el
conectivo “o”. Ejemplo
P: Carlos baila.
q: Carlos dibuja.

pvq :Carlos baila o dibuja .

La

disyunción inclusiva es VERDADERA
cuando por lo menos uno de los
componentes es VERDADERA.es FALSA si
los componentes son FALSAS.

p

v

q

V

V

V

V

V

F

F

V

V

F

F

F
DISYUNCION EXCLUSIVA: En esta operación las proposiciones están unidas por
“o”…..”o” .ejemplo
P: Manuel esta en lima.
q: Manuel esta en piura .

p∆ q: o Manuel esta en lima o esta en piura.
La disyunción exclusiva es VERDADERA
en los casos que ambos componentes
tengan valores de verdad opuestos ;y es
falsa , si ambos componentes tienen el
mismo valor de verdad.

p

∆

q

V
V
F
F

F
V
V
F

V
F
V
F
CONDICIONAL: Es la operación que toma dos proposiciones una primera llamada
antecedente y otra llamada consecuente, y los une a través del conectivo
“si….entonces”. ejemplo
P: Alfredo tiene DNI.
q: Alfredo es mayor de edad.
P→ q : si Alfredo tiene DNI entonces es mayor de edad.

EL CONDICIONAL es FALSA cuando el
antecedente es VERDADERO y el
consecuente es FALSO ;en los demás
casos es VERDADERO.

p

→

q

V
V
F
F

V
F
V
V

V
F
V
F
BICONDICIONAL: Es la operación que esta compuesta por dos proposiciones unidas
por el conectivo”si y solo si”. ejemplo
P: miguel aprueba matematica.
Q:miguel estudia con mucho esfuerzo.
P↔q : miguel aprueba matemática si y solo si estudia con mucho esfuerzo.

EL BICONDICIONAL es VERDADERO
cuando los dos componentes tienen igual
valor de verdad; y en los demás casos es
falso.

p

↔ q

V
V
F
F

V
F
F
V

V
F
V
F
FORMAS DE PROPOSICIONES

EQUIVALENCIAS NOTABLES



SE DEBE DE TENER EN CUENTA:
Cuando todos los valores de verdad son verdaderos (V) es el esquema de una
TAUTOLOGÍA.
Cuando todos los valores de verdad son falsos (F) es el esquema de una
CONTRADICCION.
Cuando algunos valores de verdad son verdaderos (V) y otros son falsos (F) es
el esquema de una CONTINGENCIA.
USANDO TABLAS:
Ejercicios
1.- Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor
que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra,
Júpiter es mayor que Plutón.
Luna mayor: p
Tierra mayor: q
Júpiter mayor: r

(p → q) Λ (q → r) →(p → r)
P
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p
V
V
V
V
F
F
F
F

→
V
V
F
F
V
V
V
V

r)
V
V
F
F
V
V
F
V

Λ
V
F
F
F
V
F
V
V

(q
V
V
F
F
V
V
F
F

→
V
F
V
V
V
F
V
V

r)
V
F
V
F
V
F
V
F

→
V
V
V
V
V
V
V
V

(p →
V V
V F
V V
V F
F V
F V
F V
F V

r)
V
F
V
F
V
F
V
F
2.-O el amor es ciego y los hombres no son conscientes del hecho de que el amor es
ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son
conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusión, las
mujeres sacan ventaja de ello.
Amor ciego: p
Hombres no conscientes: ~q
Mujeres ventaja: r

[(p Λ~q) v (p Λ r)]Λ (~q → ~p) →r
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

[(p
V
V
V
V
F
F
F
F

Λ
F
F
V
V
F
F
F
F

~q) v
F V
F F
V V
V V
F F
F F
V F
V F

(p Λ
V V
V F
V V
V F
F F
F F
F F
F F

r)] Λ
V V
F F
V F
F F
V F
F F
V F
F F

(~q → ~p) → r
F V F V V
F V F V F
V F F V V
V F F V F
F V V V V
F V V V F
V V V V V
V V V V F
Logica proposicional

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Cap 1 logica
Cap 1 logicaCap 1 logica
Cap 1 logica
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
Unidad 1, logica y conjuntos
Unidad 1, logica y conjuntosUnidad 1, logica y conjuntos
Unidad 1, logica y conjuntos
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Fórmula de cardano para cúbicas
Fórmula de cardano para cúbicasFórmula de cardano para cúbicas
Fórmula de cardano para cúbicas
 
Álgebra Capítulo 1 (Lógica)
Álgebra Capítulo 1 (Lógica)Álgebra Capítulo 1 (Lógica)
Álgebra Capítulo 1 (Lógica)
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Grado 6 unidad 1
Grado 6 unidad 1Grado 6 unidad 1
Grado 6 unidad 1
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 

Similar a Logica proposicional

T logica
T logicaT logica
T logicaDaniel
 
Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02Taky' Gonzaleez
 
Sesión1 (power point) componente matemática mayo del 2009
Sesión1         (power point)    componente  matemática mayo del 2009Sesión1         (power point)    componente  matemática mayo del 2009
Sesión1 (power point) componente matemática mayo del 2009Victor Morales Avila
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicionalMariexis Cova
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTicageartu
 
Sesion 03 proposiciones logicas 07
Sesion 03  proposiciones logicas  07Sesion 03  proposiciones logicas  07
Sesion 03 proposiciones logicas 07guadalupe121270
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicasguadalupe121270
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Eivy Pereyra Carvalho
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Eivy Pereyra Carvalho
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional Yuly Oyanguren
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logicalemonroy
 
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra I
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra IJonathan Semidey. Sección 4-A Ing. Sistemas Algebra I
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra IJonathan Semidey
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas iClaurimar
 

Similar a Logica proposicional (20)

LOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.pptLOGICA DE PROPOSICIONES.ppt
LOGICA DE PROPOSICIONES.ppt
 
T logica
T logicaT logica
T logica
 
Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02
 
Sesión1 (power point) componente matemática mayo del 2009
Sesión1         (power point)    componente  matemática mayo del 2009Sesión1         (power point)    componente  matemática mayo del 2009
Sesión1 (power point) componente matemática mayo del 2009
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Sesion 03 proposiciones logicas 07
Sesion 03  proposiciones logicas  07Sesion 03  proposiciones logicas  07
Sesion 03 proposiciones logicas 07
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicas
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Semana 1 cb
Semana 1 cb Semana 1 cb
Semana 1 cb
 
Logica 2011
Logica 2011Logica 2011
Logica 2011
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra I
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra IJonathan Semidey. Sección 4-A Ing. Sistemas Algebra I
Jonathan Semidey. Sección 4-A Ing. Sistemas Algebra I
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas i
 

Más de doreligp21041969

Taller 15 geometría espacio
Taller 15 geometría espacioTaller 15 geometría espacio
Taller 15 geometría espaciodoreligp21041969
 
Taller 14 general de teorema de pitagoras y centro de gravedad
Taller 14 general de teorema de pitagoras y centro de gravedadTaller 14 general de teorema de pitagoras y centro de gravedad
Taller 14 general de teorema de pitagoras y centro de gravedaddoreligp21041969
 
Taller 16 prismas y pirámides
Taller 16 prismas y pirámidesTaller 16 prismas y pirámides
Taller 16 prismas y pirámidesdoreligp21041969
 
Actividad geometría origami
Actividad geometría origamiActividad geometría origami
Actividad geometría origamidoreligp21041969
 
Actividad solidos geométricos
Actividad solidos geométricosActividad solidos geométricos
Actividad solidos geométricosdoreligp21041969
 
Demostracion teorema pitágoras
Demostracion teorema pitágorasDemostracion teorema pitágoras
Demostracion teorema pitágorasdoreligp21041969
 
Instructivo para elaborar un clinometro
Instructivo para elaborar un clinometroInstructivo para elaborar un clinometro
Instructivo para elaborar un clinometrodoreligp21041969
 
Geometría del espacio para secundaria
Geometría del espacio para secundariaGeometría del espacio para secundaria
Geometría del espacio para secundariadoreligp21041969
 
Actividad sólidos geométricos
Actividad sólidos geométricosActividad sólidos geométricos
Actividad sólidos geométricosdoreligp21041969
 
Act. sucesiones y progresiones
Act. sucesiones y progresionesAct. sucesiones y progresiones
Act. sucesiones y progresionesdoreligp21041969
 
Taller recreativo aplicaciones
Taller recreativo aplicacionesTaller recreativo aplicaciones
Taller recreativo aplicacionesdoreligp21041969
 
Funcion exponencial inversa-logaritmica
Funcion exponencial inversa-logaritmicaFuncion exponencial inversa-logaritmica
Funcion exponencial inversa-logaritmicadoreligp21041969
 
Aplicacion cientifica y tecnologia de las conicas si
Aplicacion cientifica y tecnologia de las conicas siAplicacion cientifica y tecnologia de las conicas si
Aplicacion cientifica y tecnologia de las conicas sidoreligp21041969
 

Más de doreligp21041969 (20)

Formulas estadística
Formulas estadísticaFormulas estadística
Formulas estadística
 
Probabilidades 5º
Probabilidades 5ºProbabilidades 5º
Probabilidades 5º
 
Taller 17 A de cilindro
Taller 17 A de cilindroTaller 17 A de cilindro
Taller 17 A de cilindro
 
Taller 15 geometría espacio
Taller 15 geometría espacioTaller 15 geometría espacio
Taller 15 geometría espacio
 
Taller 14 general de teorema de pitagoras y centro de gravedad
Taller 14 general de teorema de pitagoras y centro de gravedadTaller 14 general de teorema de pitagoras y centro de gravedad
Taller 14 general de teorema de pitagoras y centro de gravedad
 
Taller 16 prismas y pirámides
Taller 16 prismas y pirámidesTaller 16 prismas y pirámides
Taller 16 prismas y pirámides
 
Actividad geometría origami
Actividad geometría origamiActividad geometría origami
Actividad geometría origami
 
Actividad solidos geométricos
Actividad solidos geométricosActividad solidos geométricos
Actividad solidos geométricos
 
Taller 15 areas
Taller 15 areasTaller 15 areas
Taller 15 areas
 
Demostracion teorema pitágoras
Demostracion teorema pitágorasDemostracion teorema pitágoras
Demostracion teorema pitágoras
 
Instructivo para elaborar un clinometro
Instructivo para elaborar un clinometroInstructivo para elaborar un clinometro
Instructivo para elaborar un clinometro
 
Geometría del espacio para secundaria
Geometría del espacio para secundariaGeometría del espacio para secundaria
Geometría del espacio para secundaria
 
Modelo Van Hiele
Modelo Van HieleModelo Van Hiele
Modelo Van Hiele
 
Actividad sólidos geométricos
Actividad sólidos geométricosActividad sólidos geométricos
Actividad sólidos geométricos
 
Centro gravedad-centroide
Centro gravedad-centroideCentro gravedad-centroide
Centro gravedad-centroide
 
Act. sucesiones y progresiones
Act. sucesiones y progresionesAct. sucesiones y progresiones
Act. sucesiones y progresiones
 
Taller recreativo aplicaciones
Taller recreativo aplicacionesTaller recreativo aplicaciones
Taller recreativo aplicaciones
 
Trifoliado proyecto
Trifoliado proyectoTrifoliado proyecto
Trifoliado proyecto
 
Funcion exponencial inversa-logaritmica
Funcion exponencial inversa-logaritmicaFuncion exponencial inversa-logaritmica
Funcion exponencial inversa-logaritmica
 
Aplicacion cientifica y tecnologia de las conicas si
Aplicacion cientifica y tecnologia de las conicas siAplicacion cientifica y tecnologia de las conicas si
Aplicacion cientifica y tecnologia de las conicas si
 

Logica proposicional

  • 1. IE MANUEL MUÑOZ NAJAR INTEGRANTES: TOMY MANUEL LAYME QUISPESIVANA BRANDON DAVID CAYRA YUCRA
  • 3. OBJETIVOS OBJETIVOS GENERALES: queremos lograr que nuestro trabajo sea del agrado de nuestros compañeros para así lograr el buen entendimiento del tema que presentaremos.  OBJETIVOS ESPECIFICOS: queremos lograr el aprendizaje del tema para que nos sirva en metas que podamos lograr en el futuro. 
  • 5. . Enunciado y proposición logica concepto Operaciones lógicas conjunción Clases Negación Disyunción exclusiva simples compuestas Disyunción inclusiva Condicional Bicondicional
  • 6. QUE ES LA PROPOSICION: Son aquellas expresiones u oraciones que tienen la propiedad fundamental de ser :  verdadero (V) 0  falso (F) es decir se les puede asignar un valor de la verdad. Ejemplo son proposiciones  PERU es un país de Sudamérica.  Bogotá es la capital de argentina.  Fedor escribió la obra crimen y castigo.
  • 7.  No son proposiciones  ¿Qué edad tienes?  ¡prohibido fumar!  ¡arriba Perú!  Los enunciados de una pregunta o exclamación no son proposiciones .
  • 8. CLASES DE PROPOSICIONES: PROPOSICIONES SIMPLES O ATOMICAS: Son aquellas que tienen una propiedad de ser verdadera o falsa .ejemplo  P=15 es múltiplo de 3. (V)  q=BOLIVAR NACIO EN PERU. (F)
  • 9.  PROPOSICIONES COMPUESTAS: Son aquellas que están formadas por 2 o más proposiciones y emplean conectivos lógicos. Ejemplo Juan es profesor y abogado. _____________ __ _______ p ^ q   Rosa es soltera o casada. ____________ __ ______ P ˅ q
  • 10.
  • 11. ENUNCIADO : Es toda frase u oración que no implica verdad o falsedad. Ejemplo:  ¿Qué deporte practicas?  ¡arriba Perú!  prohibido estacionarse.
  • 12. OPERACIONES LOGICAS LA CONJUNCION: es la operación que enlaza dos proposiciones mediante el conectivo “y” o alguna expresión equivalente. Ejemplo P: Juan es ingeniero. q : Mario es arquitecto. P ^ q : Juan es ingeniero y Mario es arquitecto. LA CONJUNCION ES VERDADERA, cuando los dos componentes son verdaderas; en los demás casos es falsa. p V V F F ^ V F F F q V F V F
  • 13. LA NEGACION: Es la operación que contradice a una proposición cambiándole su valor de verdad. La negación utilizas las palabras no, no es cierto, que es falso que, etc. Ejmplo Sea la proposición : P : luis es medico. * Luis no es medico. Su negación es: ~P *No es cierto que luis es medico *Es falso que luis sea medico. Si la proposición es VERDADERA su negación es FALSA; y si la proposición es FALSA la negación es VERDADERA. p V F ~q F V
  • 14. DISYUNCION INCLUSIVA: Es la operación que enlaza dos proposiciones mediante el conectivo “o”. Ejemplo P: Carlos baila. q: Carlos dibuja. pvq :Carlos baila o dibuja . La disyunción inclusiva es VERDADERA cuando por lo menos uno de los componentes es VERDADERA.es FALSA si los componentes son FALSAS. p v q V V V V V F F V V F F F
  • 15. DISYUNCION EXCLUSIVA: En esta operación las proposiciones están unidas por “o”…..”o” .ejemplo P: Manuel esta en lima. q: Manuel esta en piura . p∆ q: o Manuel esta en lima o esta en piura. La disyunción exclusiva es VERDADERA en los casos que ambos componentes tengan valores de verdad opuestos ;y es falsa , si ambos componentes tienen el mismo valor de verdad. p ∆ q V V F F F V V F V F V F
  • 16. CONDICIONAL: Es la operación que toma dos proposiciones una primera llamada antecedente y otra llamada consecuente, y los une a través del conectivo “si….entonces”. ejemplo P: Alfredo tiene DNI. q: Alfredo es mayor de edad. P→ q : si Alfredo tiene DNI entonces es mayor de edad. EL CONDICIONAL es FALSA cuando el antecedente es VERDADERO y el consecuente es FALSO ;en los demás casos es VERDADERO. p → q V V F F V F V V V F V F
  • 17. BICONDICIONAL: Es la operación que esta compuesta por dos proposiciones unidas por el conectivo”si y solo si”. ejemplo P: miguel aprueba matematica. Q:miguel estudia con mucho esfuerzo. P↔q : miguel aprueba matemática si y solo si estudia con mucho esfuerzo. EL BICONDICIONAL es VERDADERO cuando los dos componentes tienen igual valor de verdad; y en los demás casos es falso. p ↔ q V V F F V F F V V F V F
  • 20.
  • 21.
  • 22. SE DEBE DE TENER EN CUENTA: Cuando todos los valores de verdad son verdaderos (V) es el esquema de una TAUTOLOGÍA. Cuando todos los valores de verdad son falsos (F) es el esquema de una CONTRADICCION. Cuando algunos valores de verdad son verdaderos (V) y otros son falsos (F) es el esquema de una CONTINGENCIA.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 31.
  • 32. 1.- Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón. Luna mayor: p Tierra mayor: q Júpiter mayor: r (p → q) Λ (q → r) →(p → r) P V V V V F F F F q V V F F V V F F r V F V F V F V F (p V V V V F F F F → V V F F V V V V r) V V F F V V F V Λ V F F F V F V V (q V V F F V V F F → V F V V V F V V r) V F V F V F V F → V V V V V V V V (p → V V V F V V V F F V F V F V F V r) V F V F V F V F
  • 33. 2.-O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusión, las mujeres sacan ventaja de ello. Amor ciego: p Hombres no conscientes: ~q Mujeres ventaja: r [(p Λ~q) v (p Λ r)]Λ (~q → ~p) →r p V V V V F F F F q V V F F V V F F r V F V F V F V F [(p V V V V F F F F Λ F F V V F F F F ~q) v F V F F V V V V F F F F V F V F (p Λ V V V F V V V F F F F F F F F F r)] Λ V V F F V F F F V F F F V F F F (~q → ~p) → r F V F V V F V F V F V F F V V V F F V F F V V V V F V V V F V V V V V V V V V F