Este documento explica los diferentes tipos de conectivos lógicos (operadores) que permiten formar proposiciones compuestas a partir de proposiciones simples. Describe la conjunción, disyunción, negación, proposiciones condicionales y bicondicionales, y provee ejemplos para ilustrar cada uno. También incluye un ejercicio que pide elaborar la tabla de verdad para una proposición bicondicional dada.
0 calificaciones0% encontró este documento útil (0 votos)
33 vistas3 páginas
Este documento explica los diferentes tipos de conectivos lógicos (operadores) que permiten formar proposiciones compuestas a partir de proposiciones simples. Describe la conjunción, disyunción, negación, proposiciones condicionales y bicondicionales, y provee ejemplos para ilustrar cada uno. También incluye un ejercicio que pide elaborar la tabla de verdad para una proposición bicondicional dada.
Este documento explica los diferentes tipos de conectivos lógicos (operadores) que permiten formar proposiciones compuestas a partir de proposiciones simples. Describe la conjunción, disyunción, negación, proposiciones condicionales y bicondicionales, y provee ejemplos para ilustrar cada uno. También incluye un ejercicio que pide elaborar la tabla de verdad para una proposición bicondicional dada.
Este documento explica los diferentes tipos de conectivos lógicos (operadores) que permiten formar proposiciones compuestas a partir de proposiciones simples. Describe la conjunción, disyunción, negación, proposiciones condicionales y bicondicionales, y provee ejemplos para ilustrar cada uno. También incluye un ejercicio que pide elaborar la tabla de verdad para una proposición bicondicional dada.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 3
Conectivos lógicos en proposiciones lógicas
Existen conectivos u operadores lógicos QUE PERMINEN formar proposiciones compuestas es
decir formadas por varias proposiciones. Los operadores o conectores básicos son
1. Conjunción (and):se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda tener un resultado verdadero se le conoce como multiplicación lógica y su símbolo es ^ a. Voy al cine cuando hay una buena película y tengo dinero
P: voy al cine q r P^r
1 1 1 q: hay una buena película 1 0 0 r: tengo dinero 0 1 0 0 0 0
b. Voy a preparar café si hay café de grano y tengo ganas de café
P: preparara café q r P^r
1 1 1 Q: café de grano 1 0 0 R: tener ganas de café 0 1 0 0 0 0
2. Disyunción (or): con es este operador se obtiene un resultado verdadero cuando alguna de las preposiciones es verdadera se conoce como suma lógica y su símbolo es v(or)
a. Para llegar a Toluca puedo tomar la carretera o la autopista
P: ir a Toluca q r Pvr Q: tomar carretera 1 1 1 1 0 1 0 1 1 R: tomar autopista 0 0 0 b. Para comprarme mi moto necesito trabajar o ganar la lotería
3. Negación (not ): su función es negar la propocicion eso se significa que si la preposición es
negativa e obtendrás su negación y viceversa y su símbolo es ´(not )
a. El león es el rey de la selva P P´
P: el león es el rey de la selva 1 0 0 1 P´: el león no es el rey de la selva
b. El rey Carlos esta viejito para ser el rey
P P´ P: el rey Carlos esta viejito para ser el rey 1 0 0 1 P´: el rey Carlos no esta viejito para ser el rey v
Ejercicio
P: ya es tarde
Q: tengo que dormir
R: me levantare temprano
P^QVR´
4. PREPOCICIONES CONDICIONALES Es aquella que esta formada por dos preposiciones
simples o compuestas se representan P-Q (si P entonces Q) a. Un profesionista dice si ahorro podre comprar una casa en 3 años
P: si ahorro q r P->R Q: comprare casa en 3 años 1 1 1 1 0 0 0 1 1 0 0 1 5. Preposición bicondicional será PyQ dos preposiciones una doble implicación con preposición es bicondicional cuando P es verdadera si y solo si Q es verdadera o bien P es falsa si Q también lo es
q r P<->R a. Me iré a una rodada en moto si arreglo la moto 1 1 1 1 0 0 0 1 0 0 0 1
b. Pasare la materia si estudio
q r P<->R 1 1 1 1 0 0 0 1 0 0 0 1
Ejemplo.
Dada la siguiente proposición: [(p➔q)v(q'^r)]<->(r➔q).
elaborar su tabla de verdad.
p Q p->q Q´ r q'^r (p➔q)v(q'^r) r➔q [(p➔q)v(q'^r)]<-
