SlideShare una empresa de Scribd logo
1 de 20
Cálculos de Proposicional 
Jose Corobo Ci 19.798.039
Proposiciones 
• Es el significado de una oración que cumple una función 
informativa o referencial y que además, tiene valor veritativo, 
es decir es verdadera o falsa 
• Ejemplo : 
• El numero 4 es menor que el 8 : (Verdadero). 
• El numero 9 es par : (verdadero).
Proposiciones Simple 
• Es aquella que contiene una sola afirmación y no contiene 
conectivo lógicos. Estas se simboliza con la letras p, q, r, s, t. 
• A este tipo de proposiciones les llamares atómicas y simple. 
• Ejemplo: 
• Cabudare pertenece a el estado Lara :p (verdadero). 
• 15 es un numero primo : q (falso). 
• El hierro es un metal : r (verdadero).
Proposiciones Compuestas o 
Molecular 
• Son aquellas que están formada por dos o mas proposiciones 
simple o es la negación de una proposición simple en esta 
también parce los conectores lógicos . 
• De acuerdo a conectores se divide en: 
• Negación 
• Conjunción 
• Disyunción exclusiva 
• Condicional 
• Bicondicional
Negación 
• Es un operador que se utiliza, sobre un único valor de verdad, 
desvolviendo el valor contrario de la proporción. Para la 
negación de utiliza el conector NO dentro de la proposición.
Conjunción 
• Es un operador compuesto en dos proposiciones típicamente 
su valor es verdad. Se relaciona con el conectivo Y , cuyo 
símbolo es ^ el cual se llama conjuntor. 
• Nota: También son conectivo de la conjunción las palabra 
Pero, sin embargo, anqué, además, no obstante, entre otros.
Disyunción Inclusiva 
• Es un operador que se utilizar sobre dos valores de verdad. 
Todas las proposiciones son verdaderas excepto en el caso de 
que ambas proposiciones sean falsa. En ese caso seria falsa 
(0). 
• Nota: Es el Conectivo O Cuyo símbolo V.
Disyunción Exclusiva 
• Es un operador sobre dos valores de verdad, típicamente los 
valeres de las verdad de dos proposiciones, devolviendo valor 
verdadero cuando la proposiciones son distinta y falsa cuando 
las proposiciones son iguales. 
• Nota: Es el conectivo O su símbolo es v.
Condicional 
• Es un operador de dos valores de verdad, típicamente los 
valores de la verdad de dos proposiciones, devolviendo el 
valor falso únicamente cuando las proposiciones son 
verdadera + falso el resto de las proposiciones son 
verdaderas. 
• Nota: La Palabra conectiva es Entonces y su símbolo es →.
Bicondicional 
• Es un operar sobre dos valores de verdad, típicamentelos 
valeres de verdad de dos proposiciones, devolviendo de valor 
verdadero cuando las proposiciones son iguales y falsa 
cuando las proposiciones son distinta. 
• Nota: La palabra conectiva es Si y Solo Si y su símbolo es ↔.
Tabla de la verdad 
• Permite determinar el valor de la verdad de una proposición 
compuesta y depende de la proposiciones simple y de los 
operadores que contengan. Para elaborar la tabla de la verdad 
va determinar el numero de posiciones dadas. 
- Para una proposición (n=1), Tenemos 21 = 2 Combinaciones 
- Para dos proposición (n=2), Tenemos 22 = 4 Combinaciones 
- Para tres proposición (n=3), Tenemos 23 = 8 Combinaciones 
- Para n proposición Tenemos 2푛 Combinaciones 
Ejemplo: 
Para Construir la tabla de verdad para (p → q) ^ (q → p) 
realizamos el calculo 22 resultado 4 combinaciones
Forma Proposicionales 
• Son aquellas estructuras construida por variable 
proporcionables y los operadores lógicos que la reacciona. 
• Ejemplo: 
p: Voy al parque. 
q: Compro helado 
(p → q) ^ (q → p): so voy al parte entonces compro helado y 
si compro helado, voy al parque.
Tautología 
• Son todas aquellas proposiciones que siempre da como resultado 
verdadero. 
• Ejemplo: 
p: Voy al parque 
q: Compro helado 
• (~p ^ q) ^ p: si voy al parque entonces compro helado solo si al 
parque.
Contradicción 
• Es aquella proposición molecular que siempre es falsa ( es 
decir cuando los valeres de verdad que aparece en la tabla de 
verdad son todos 0). 
• Ejemplo: 
p: voy al parque 
q: compro helado 
* (~p ^ q) ^ p: no voy al parque y compro helado y voy al 
parque.
Leyes del algebra proporcional 
• Esta demuestra los valores de la verdad en una posición con 
mas rapidez de lógica, y sin necesidad de usar el método de la 
tabla de la verdad para conocer los valores de esta.
Implicación Lógica 
• Sean A y B dos forma proposicionales. Se dice que A Implica 
lógicamente a B, simplemente que A implica a B, y se escribe. 
• A → B si el Condicional A → B es una tautologia
Equivalencia 
• Sean A y B dos Forma proposicionales. Diremos que A es 
lógicamente equivalente a B, o simplemente que A es 
equivalente a B, y escribimos. 
• A 。B o A v B, 
• Si y solo si la forma bicondicional A v B es una tautología.
Razonamiento 
• Un razonamiento o una inferencia es la aseveración de que 
una proposición, llamadas conclusión es consecuencia de otra 
proposiciones dadas llamadas premisas. 
• Ejemplo: tenemos los siguientes razonamiento: 
1- si hoy es domingo, entonces mañana habrá examen. 
2- si hoy es sábado, entonces mañana no hay examen. 
3- hoy es domingo. Conclusión: 
4- luego, mañana habrá examen. Donde: 
Donde: Premisa 1: d → e d: hoy es domingo 
Premisa 2: s → ~ e s: hoy es sábado 
Premisa 3: d e: mañana habra examen
Método de Demostración 
• Desde el punto de vista de la lógica, una demostración de un 
teorema es un argumento lógico que establece la verdad del 
teorema. 
• Consiste en una sección de afirmaciones por ejemplo (A1); 
(A2); (A1); (Ax); (Ax); (Ax); (Ax); (An); tales que cada 
afirmación tienes una o mas razones que justifique su validez, 
las misma puede ser hipótesis, definiciones, afirmación 
anteriores en la misma demostración o proposición 
matemática, ya demostrada y además la ultima afirmación, 
(An), es la tesis que se desea demostrar.
Circuito Lógico 
• Es un conjunto de símbolos y operaciones que satisface la 
regla de la lógica, simulando el comportamiento de los 
circuito lógicos. 
• Conexión en serie, se representa como p^q 
• Conexión en paralelo, se representa como p V q

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Matematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson CuaspudMatematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson Cuaspud
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_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
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Numeros reales
Numeros realesNumeros reales
Numeros reales
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 

Similar a Cálculos de proporcional

Similar a Cálculos de proporcional (20)

1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Semana 1 cb
Semana 1 cb Semana 1 cb
Semana 1 cb
 
Proposición álgebra
Proposición   álgebraProposición   álgebra
Proposición álgebra
 
Tablas de verdad de C++
Tablas de verdad de C++Tablas de verdad de C++
Tablas de verdad de C++
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
L o gica_proposicional
L o gica_proposicionalL o gica_proposicional
L o gica_proposicional
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
Logica m
Logica mLogica m
Logica m
 
Tablas de verdad para C++
Tablas de verdad para C++Tablas de verdad para C++
Tablas de verdad para C++
 
Cuaderno digital algebra
Cuaderno digital algebraCuaderno digital algebra
Cuaderno digital algebra
 
Logica
LogicaLogica
Logica
 
Resumen de matemáticas discretas
Resumen de matemáticas discretasResumen de matemáticas discretas
Resumen de matemáticas discretas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
 
Tablas de verdad de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de c++
 

Último

EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxEXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxPryhaSalam
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdfDemetrio Ccesa Rayme
 
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxinformacionasapespu
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxlclcarmen
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdfgimenanahuel
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADOJosé Luis Palma
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docxAleParedes11
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 

Último (20)

EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxEXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdf
 
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptxPRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
PRIMER SEMESTRE 2024 ASAMBLEA DEPARTAMENTAL.pptx
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADODECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
DECÁGOLO DEL GENERAL ELOY ALFARO DELGADO
 
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docxGLOSAS  Y PALABRAS ACTO 2 DE ABRIL 2024.docx
GLOSAS Y PALABRAS ACTO 2 DE ABRIL 2024.docx
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 

Cálculos de proporcional

  • 1. Cálculos de Proposicional Jose Corobo Ci 19.798.039
  • 2. Proposiciones • Es el significado de una oración que cumple una función informativa o referencial y que además, tiene valor veritativo, es decir es verdadera o falsa • Ejemplo : • El numero 4 es menor que el 8 : (Verdadero). • El numero 9 es par : (verdadero).
  • 3. Proposiciones Simple • Es aquella que contiene una sola afirmación y no contiene conectivo lógicos. Estas se simboliza con la letras p, q, r, s, t. • A este tipo de proposiciones les llamares atómicas y simple. • Ejemplo: • Cabudare pertenece a el estado Lara :p (verdadero). • 15 es un numero primo : q (falso). • El hierro es un metal : r (verdadero).
  • 4. Proposiciones Compuestas o Molecular • Son aquellas que están formada por dos o mas proposiciones simple o es la negación de una proposición simple en esta también parce los conectores lógicos . • De acuerdo a conectores se divide en: • Negación • Conjunción • Disyunción exclusiva • Condicional • Bicondicional
  • 5. Negación • Es un operador que se utiliza, sobre un único valor de verdad, desvolviendo el valor contrario de la proporción. Para la negación de utiliza el conector NO dentro de la proposición.
  • 6. Conjunción • Es un operador compuesto en dos proposiciones típicamente su valor es verdad. Se relaciona con el conectivo Y , cuyo símbolo es ^ el cual se llama conjuntor. • Nota: También son conectivo de la conjunción las palabra Pero, sin embargo, anqué, además, no obstante, entre otros.
  • 7. Disyunción Inclusiva • Es un operador que se utilizar sobre dos valores de verdad. Todas las proposiciones son verdaderas excepto en el caso de que ambas proposiciones sean falsa. En ese caso seria falsa (0). • Nota: Es el Conectivo O Cuyo símbolo V.
  • 8. Disyunción Exclusiva • Es un operador sobre dos valores de verdad, típicamente los valeres de las verdad de dos proposiciones, devolviendo valor verdadero cuando la proposiciones son distinta y falsa cuando las proposiciones son iguales. • Nota: Es el conectivo O su símbolo es v.
  • 9. Condicional • Es un operador de dos valores de verdad, típicamente los valores de la verdad de dos proposiciones, devolviendo el valor falso únicamente cuando las proposiciones son verdadera + falso el resto de las proposiciones son verdaderas. • Nota: La Palabra conectiva es Entonces y su símbolo es →.
  • 10. Bicondicional • Es un operar sobre dos valores de verdad, típicamentelos valeres de verdad de dos proposiciones, devolviendo de valor verdadero cuando las proposiciones son iguales y falsa cuando las proposiciones son distinta. • Nota: La palabra conectiva es Si y Solo Si y su símbolo es ↔.
  • 11. Tabla de la verdad • Permite determinar el valor de la verdad de una proposición compuesta y depende de la proposiciones simple y de los operadores que contengan. Para elaborar la tabla de la verdad va determinar el numero de posiciones dadas. - Para una proposición (n=1), Tenemos 21 = 2 Combinaciones - Para dos proposición (n=2), Tenemos 22 = 4 Combinaciones - Para tres proposición (n=3), Tenemos 23 = 8 Combinaciones - Para n proposición Tenemos 2푛 Combinaciones Ejemplo: Para Construir la tabla de verdad para (p → q) ^ (q → p) realizamos el calculo 22 resultado 4 combinaciones
  • 12. Forma Proposicionales • Son aquellas estructuras construida por variable proporcionables y los operadores lógicos que la reacciona. • Ejemplo: p: Voy al parque. q: Compro helado (p → q) ^ (q → p): so voy al parte entonces compro helado y si compro helado, voy al parque.
  • 13. Tautología • Son todas aquellas proposiciones que siempre da como resultado verdadero. • Ejemplo: p: Voy al parque q: Compro helado • (~p ^ q) ^ p: si voy al parque entonces compro helado solo si al parque.
  • 14. Contradicción • Es aquella proposición molecular que siempre es falsa ( es decir cuando los valeres de verdad que aparece en la tabla de verdad son todos 0). • Ejemplo: p: voy al parque q: compro helado * (~p ^ q) ^ p: no voy al parque y compro helado y voy al parque.
  • 15. Leyes del algebra proporcional • Esta demuestra los valores de la verdad en una posición con mas rapidez de lógica, y sin necesidad de usar el método de la tabla de la verdad para conocer los valores de esta.
  • 16. Implicación Lógica • Sean A y B dos forma proposicionales. Se dice que A Implica lógicamente a B, simplemente que A implica a B, y se escribe. • A → B si el Condicional A → B es una tautologia
  • 17. Equivalencia • Sean A y B dos Forma proposicionales. Diremos que A es lógicamente equivalente a B, o simplemente que A es equivalente a B, y escribimos. • A 。B o A v B, • Si y solo si la forma bicondicional A v B es una tautología.
  • 18. Razonamiento • Un razonamiento o una inferencia es la aseveración de que una proposición, llamadas conclusión es consecuencia de otra proposiciones dadas llamadas premisas. • Ejemplo: tenemos los siguientes razonamiento: 1- si hoy es domingo, entonces mañana habrá examen. 2- si hoy es sábado, entonces mañana no hay examen. 3- hoy es domingo. Conclusión: 4- luego, mañana habrá examen. Donde: Donde: Premisa 1: d → e d: hoy es domingo Premisa 2: s → ~ e s: hoy es sábado Premisa 3: d e: mañana habra examen
  • 19. Método de Demostración • Desde el punto de vista de la lógica, una demostración de un teorema es un argumento lógico que establece la verdad del teorema. • Consiste en una sección de afirmaciones por ejemplo (A1); (A2); (A1); (Ax); (Ax); (Ax); (Ax); (An); tales que cada afirmación tienes una o mas razones que justifique su validez, las misma puede ser hipótesis, definiciones, afirmación anteriores en la misma demostración o proposición matemática, ya demostrada y además la ultima afirmación, (An), es la tesis que se desea demostrar.
  • 20. Circuito Lógico • Es un conjunto de símbolos y operaciones que satisface la regla de la lógica, simulando el comportamiento de los circuito lógicos. • Conexión en serie, se representa como p^q • Conexión en paralelo, se representa como p V q