SlideShare una empresa de Scribd logo
1 de 22
Proposiciones simples y compuestas.
Conjunción, disyunción, implicación (condicional) y doble
implicación(bicondicional).
Tablas de verdad
*
*
Una proposición, es toda oración o enunciado al
que se le puede asignar un cierto valor (v o f).
Si no puede concluir que es verdadero o falso no
es proposición.
*
Es cualquier agrupación de palabras
o símbolos que tengan sentido y de la que en un
momento determinado se pueda asegurar si es
verdadera o falsa.
La verdad o falsedad de una proposición es lo
que se llama su valor lógico o valor de verdad.
Las proposiciones se denotan con letras
minúsculas. Ejemplo: p, q, r, a, b.
*
a: 4 es menor que ocho
b: ¡Levanta el lapicero!
c: Carlos es alto
d: México es un país de
América
e: 6 es mayor que 10
f: María es inteligente
g: El árbol
h: El sábado no hay clases
i: 5 más 11 es 16
j: ¿Qué hora es?
k: El uno es el primer
número natural
l: ¿Cómo te llamas?
*
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: también denominadas proposiciones
atómicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplos:
*El cielo es azul.
*
PROPOSICIONES SIMPLES: también denominadas
proposiciones atómicas. Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:
*El cielo es azul.
* _______________________________
*________________________________
*________________________________
*
también denominadas moleculares. Son aquellas que están
formadas por dos o más proposiciones simples unidas por los
operadores lógicos.
Ejemplos:
*Fui al banco, pero el banco estaba cerrado.
*Los lectores de este libro son jóvenes o universitarios.
*Si el miércoles próximo me saco la lotería entonces te
regalare un auto.
* _________________________________________________
*__________________________________________________
*
* Hoy es lunes. (si es proposición ya que se puede verificar).
* Jennifer Jaramillo es docente. (Simple)
* Sen(x) no es un número mayor que 1. (Compuesta)
* El 14 y el 7 son factores del 42. (Simple)
* El 14 es factor del 42 y el 7 también es factor del 42. (Compuesta)
* El 2 o el 3 son divisores de 48. (Simple)
* El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
* Si x es número primo, entonces x impar. (Compuesta)
* Si x > 10, entonces 2x - 3 > 16. (Compuesta)
* No todos los números primos son impares. (Compuesta)
*
*En lógica, una conectiva lógica, o simplemente conectiva, es
un símbolo que se utiliza para conectar dos fórmulas, de modo
que el valor de verdad de la fórmula compuesta dependa del
valor de verdad de las fórmulas componentes.
*La negación es el conectivo lógico que
permite cambiar el valor de verdad de
una proposición.
*p=: Diego conversa.
*q: Diego no conversa.
Si p es verdadero (V)
Su negación ¬p es falsa (F)
¬p se lee no p.
Ejemplo:
Negar las siguientes proposiciones
simples:
p: Todos los números primos son pares.
q: No todos los triángulos son isósceles.
r: -15+18=7
Solución:
¬p: No todos los números primos son
pares.
¬q: Todos los triángulos son isósceles.
¬r:-15+18+ 7
¿Cuál es el
resultado de ¬(¬p)?
*
El cielo es azul o 12 es un número par
La navidad se celebra en
diciembre o el día de las velitas es
en diciembre
El carro es verde o el agua es roja
DISYUNCIÓN_______???________ DISYUNCIÓN______???_________
Tiene el cabello largo o el cabello corto
Nace el primer bebe de María en
agosto o en diciembre
*
*
El condicional, también conocido como implicación, es
una constante lógica que conecta dos proposiciones.
El condicional se expresa por medio de palabras como las
siguientes:
*Si llueve, entonces voy al cine.
*Voy al cine si llueve.
*Cuando llueve, voy al cine.
*Si estudia en la casa entonces aprueba el examen
p q
Antecedente Consecuente
Se lee: p entonces q
*
El bicondicional, también conocido como doble
implicación, es una constante lógica que
conecta dos proposiciones.
*Voy al cine si y solo si me pagan mañana
*Una persona es mayor de edad si y sólo si tiene
el carnet de conducir.
*Usted aprueba el examen si y solo si estudia
*
*
*
Si p es V y q es F, determínese el valor de verdad de las
siguientes fórmulas:
(p → q) v ¬q → ¬p ¬q → ¬p
p →¬(p v¬q) ¬p v ¬p
*
(¬p v ¬q) → p (¬p v ¬q)
(¬p v ¬q) ↔ [(¬p v ¬q) → p]
*
Proponer las siguientes proposiciones en forma simbólica y construir la tabla de
valores correspondientes.
a. No es justa, pero mantiene el orden
b. Los estudiantes conocen las tecnologías y las prefieren
c. Si los estudiantes conocen las tecnologías, entonces las prefieren
Respuesta a. Forma simbólica: ~p^q
Tabla:
b. Los estudiantes conocen las tecnologías y las
prefieren.
Forma simbólica:
Tabla:
c. Si los estudiantes conocen las tecnologías,
entonces las prefieren
Forma simbólica:
Tabla:

Más contenido relacionado

La actualidad más candente

Guia De Teoria De Conjuntos
Guia De Teoria De ConjuntosGuia De Teoria De Conjuntos
Guia De Teoria De Conjuntos
laryenso
 
¿Qué es Función? Matemáticas.
¿Qué es Función? Matemáticas.¿Qué es Función? Matemáticas.
¿Qué es Función? Matemáticas.
Miica Carp
 

La actualidad más candente (20)

Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Lógica Mtemática
Lógica MtemáticaLógica Mtemática
Lógica Mtemática
 
Desigualdades e intervalos calculo.
Desigualdades e intervalos calculo.Desigualdades e intervalos calculo.
Desigualdades e intervalos calculo.
 
Aplicaciones de los árboles y grafos
Aplicaciones de los árboles y grafosAplicaciones de los árboles y grafos
Aplicaciones de los árboles y grafos
 
Grafos resueltos
Grafos  resueltosGrafos  resueltos
Grafos resueltos
 
Teoria de grafos
Teoria de grafosTeoria de grafos
Teoria de grafos
 
Guia De Teoria De Conjuntos
Guia De Teoria De ConjuntosGuia De Teoria De Conjuntos
Guia De Teoria De Conjuntos
 
Grafos Bipartidos
Grafos BipartidosGrafos Bipartidos
Grafos Bipartidos
 
¿Qué es Función? Matemáticas.
¿Qué es Función? Matemáticas.¿Qué es Función? Matemáticas.
¿Qué es Función? Matemáticas.
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Unidad 1 lógica matemática
Unidad 1 lógica matemáticaUnidad 1 lógica matemática
Unidad 1 lógica matemática
 
Isomorfos y arboles
Isomorfos y arbolesIsomorfos y arboles
Isomorfos y arboles
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Negación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadoresNegación de proposiciones con cuantificadores
Negación de proposiciones con cuantificadores
 
Sistemas de Ecuaciones Lineales y Matriz Inversa por Método de Gauss-Jordan. ...
Sistemas de Ecuaciones Lineales y Matriz Inversa por Método de Gauss-Jordan. ...Sistemas de Ecuaciones Lineales y Matriz Inversa por Método de Gauss-Jordan. ...
Sistemas de Ecuaciones Lineales y Matriz Inversa por Método de Gauss-Jordan. ...
 
Planificación de Funciones
Planificación de FuncionesPlanificación de Funciones
Planificación de Funciones
 
Operaciones Básicas con el Sistema Hexadecimal
Operaciones Básicas con el Sistema HexadecimalOperaciones Básicas con el Sistema Hexadecimal
Operaciones Básicas con el Sistema Hexadecimal
 
Grafos resueltos
Grafos resueltosGrafos resueltos
Grafos resueltos
 
Calculo y geometría analítica (ecuación de la recta)completa
Calculo y geometría analítica (ecuación de la recta)completaCalculo y geometría analítica (ecuación de la recta)completa
Calculo y geometría analítica (ecuación de la recta)completa
 
Diagrama de Flujos Ejemplos.
Diagrama de Flujos Ejemplos.Diagrama de Flujos Ejemplos.
Diagrama de Flujos Ejemplos.
 

Destacado (11)

Validez por Reglas
Validez por ReglasValidez por Reglas
Validez por Reglas
 
Validez De Silogismos por diagramas
Validez De Silogismos por diagramasValidez De Silogismos por diagramas
Validez De Silogismos por diagramas
 
Conectores Lógicos
Conectores LógicosConectores Lógicos
Conectores Lógicos
 
Silogismo Categorico
Silogismo CategoricoSilogismo Categorico
Silogismo Categorico
 
Operaciones Entre Conjuntos Bn
Operaciones Entre Conjuntos BnOperaciones Entre Conjuntos Bn
Operaciones Entre Conjuntos Bn
 
Como realizar una tablade verdad.
Como realizar una tablade verdad.Como realizar una tablade verdad.
Como realizar una tablade verdad.
 
Conectores Logicos
Conectores LogicosConectores Logicos
Conectores Logicos
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1
 
Los conectores lógicos
Los conectores lógicosLos conectores lógicos
Los conectores lógicos
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 

Similar a Lógica

Similar a Lógica (20)

Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
 
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
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Taller logica conjuntos (2)
Taller logica conjuntos (2)Taller logica conjuntos (2)
Taller logica conjuntos (2)
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 
Proposiciones-Tema 2- enero 2023.ppt
Proposiciones-Tema 2- enero 2023.pptProposiciones-Tema 2- enero 2023.ppt
Proposiciones-Tema 2- enero 2023.ppt
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Semana 1. ASU. Lógica Proposicional (1).pptx
Semana 1.  ASU. Lógica Proposicional (1).pptxSemana 1.  ASU. Lógica Proposicional (1).pptx
Semana 1. ASU. Lógica Proposicional (1).pptx
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 

Más de jennifer

Más de jennifer (20)

Taller acelerado
Taller aceleradoTaller acelerado
Taller acelerado
 
Rotación de sólidos rígidos
Rotación de sólidos rígidos Rotación de sólidos rígidos
Rotación de sólidos rígidos
 
Taller 9 mat
Taller 9 matTaller 9 mat
Taller 9 mat
 
Problemas de sistemas de ecuaciones
Problemas de sistemas de ecuacionesProblemas de sistemas de ecuaciones
Problemas de sistemas de ecuaciones
 
Taller de sistemas de ecuaciones lineales 2 x2
Taller de sistemas de ecuaciones lineales 2 x2Taller de sistemas de ecuaciones lineales 2 x2
Taller de sistemas de ecuaciones lineales 2 x2
 
Exposiciones
ExposicionesExposiciones
Exposiciones
 
Exp 8 1
Exp 8   1Exp 8   1
Exp 8 1
 
Valores relativos
Valores relativosValores relativos
Valores relativos
 
Los reales
Los realesLos reales
Los reales
 
Definiciones estadistica
Definiciones estadisticaDefiniciones estadistica
Definiciones estadistica
 
Taller de repaso de operaciones
Taller de repaso de operacionesTaller de repaso de operaciones
Taller de repaso de operaciones
 
Repaso, teorema tales y pitagoras
Repaso, teorema tales y pitagorasRepaso, teorema tales y pitagoras
Repaso, teorema tales y pitagoras
 
Numeros decimales
Numeros decimalesNumeros decimales
Numeros decimales
 
Potenciación radicación y logaritmación
Potenciación radicación y logaritmaciónPotenciación radicación y logaritmación
Potenciación radicación y logaritmación
 
Fuerzas
FuerzasFuerzas
Fuerzas
 
Ley de coulomb
Ley de coulombLey de coulomb
Ley de coulomb
 
Valor posicional y potenciación radicación y logaritmación
Valor posicional y potenciación radicación y logaritmaciónValor posicional y potenciación radicación y logaritmación
Valor posicional y potenciación radicación y logaritmación
 
Cilindros y conos
Cilindros y conosCilindros y conos
Cilindros y conos
 
Superficies y volumen
Superficies y volumenSuperficies y volumen
Superficies y volumen
 
Construccion de cuerpos geometricos
Construccion de cuerpos geometricosConstruccion de cuerpos geometricos
Construccion de cuerpos geometricos
 

Último

TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
jlorentemartos
 
6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
Wilian24
 

Último (20)

Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdf
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdf
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtuales
 
Código Civil de la República Bolivariana de Venezuela
Código Civil de la República Bolivariana de VenezuelaCódigo Civil de la República Bolivariana de Venezuela
Código Civil de la República Bolivariana de Venezuela
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
Lecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigosLecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigos
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
Usos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicasUsos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicas
 
Factores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdfFactores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdf
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptx
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
 
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
 
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCTRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
 
FICHA PROYECTO COIL- GLOBAL CLASSROOM.docx.pdf
FICHA PROYECTO COIL- GLOBAL CLASSROOM.docx.pdfFICHA PROYECTO COIL- GLOBAL CLASSROOM.docx.pdf
FICHA PROYECTO COIL- GLOBAL CLASSROOM.docx.pdf
 
6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
 
Tema 11. Dinámica de la hidrosfera 2024
Tema 11.  Dinámica de la hidrosfera 2024Tema 11.  Dinámica de la hidrosfera 2024
Tema 11. Dinámica de la hidrosfera 2024
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 

Lógica

  • 1. Proposiciones simples y compuestas. Conjunción, disyunción, implicación (condicional) y doble implicación(bicondicional). Tablas de verdad *
  • 2. * Una proposición, es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición.
  • 3. * Es cualquier agrupación de palabras o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico o valor de verdad. Las proposiciones se denotan con letras minúsculas. Ejemplo: p, q, r, a, b.
  • 4. * a: 4 es menor que ocho b: ¡Levanta el lapicero! c: Carlos es alto d: México es un país de América e: 6 es mayor que 10 f: María es inteligente g: El árbol h: El sábado no hay clases i: 5 más 11 es 16 j: ¿Qué hora es? k: El uno es el primer número natural l: ¿Cómo te llamas?
  • 5. * Existen dos clases de proposiciones: PROPOSICIONES SIMPLES: también denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplos: *El cielo es azul.
  • 6. * PROPOSICIONES SIMPLES: también denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplos: *El cielo es azul. * _______________________________ *________________________________ *________________________________
  • 7. * también denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplos: *Fui al banco, pero el banco estaba cerrado. *Los lectores de este libro son jóvenes o universitarios. *Si el miércoles próximo me saco la lotería entonces te regalare un auto. * _________________________________________________ *__________________________________________________
  • 8. * * Hoy es lunes. (si es proposición ya que se puede verificar). * Jennifer Jaramillo es docente. (Simple) * Sen(x) no es un número mayor que 1. (Compuesta) * El 14 y el 7 son factores del 42. (Simple) * El 14 es factor del 42 y el 7 también es factor del 42. (Compuesta) * El 2 o el 3 son divisores de 48. (Simple) * El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta) * Si x es número primo, entonces x impar. (Compuesta) * Si x > 10, entonces 2x - 3 > 16. (Compuesta) * No todos los números primos son impares. (Compuesta)
  • 9. * *En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.
  • 10. *La negación es el conectivo lógico que permite cambiar el valor de verdad de una proposición. *p=: Diego conversa. *q: Diego no conversa. Si p es verdadero (V) Su negación ¬p es falsa (F) ¬p se lee no p. Ejemplo: Negar las siguientes proposiciones simples: p: Todos los números primos son pares. q: No todos los triángulos son isósceles. r: -15+18=7 Solución: ¬p: No todos los números primos son pares. ¬q: Todos los triángulos son isósceles. ¬r:-15+18+ 7
  • 11. ¿Cuál es el resultado de ¬(¬p)?
  • 12. * El cielo es azul o 12 es un número par La navidad se celebra en diciembre o el día de las velitas es en diciembre El carro es verde o el agua es roja DISYUNCIÓN_______???________ DISYUNCIÓN______???_________ Tiene el cabello largo o el cabello corto Nace el primer bebe de María en agosto o en diciembre
  • 13. *
  • 14. * El condicional, también conocido como implicación, es una constante lógica que conecta dos proposiciones. El condicional se expresa por medio de palabras como las siguientes: *Si llueve, entonces voy al cine. *Voy al cine si llueve. *Cuando llueve, voy al cine. *Si estudia en la casa entonces aprueba el examen p q Antecedente Consecuente Se lee: p entonces q
  • 15. * El bicondicional, también conocido como doble implicación, es una constante lógica que conecta dos proposiciones. *Voy al cine si y solo si me pagan mañana *Una persona es mayor de edad si y sólo si tiene el carnet de conducir. *Usted aprueba el examen si y solo si estudia
  • 16. *
  • 17. *
  • 18. * Si p es V y q es F, determínese el valor de verdad de las siguientes fórmulas: (p → q) v ¬q → ¬p ¬q → ¬p p →¬(p v¬q) ¬p v ¬p
  • 19. * (¬p v ¬q) → p (¬p v ¬q) (¬p v ¬q) ↔ [(¬p v ¬q) → p]
  • 20. * Proponer las siguientes proposiciones en forma simbólica y construir la tabla de valores correspondientes. a. No es justa, pero mantiene el orden b. Los estudiantes conocen las tecnologías y las prefieren c. Si los estudiantes conocen las tecnologías, entonces las prefieren Respuesta a. Forma simbólica: ~p^q Tabla:
  • 21. b. Los estudiantes conocen las tecnologías y las prefieren. Forma simbólica: Tabla:
  • 22. c. Si los estudiantes conocen las tecnologías, entonces las prefieren Forma simbólica: Tabla: