U1-T3 (1).pptx ecuaciones diferenciales

ecuaciones diferenciales

1. Conjunto y Lógica Matemática PEDAGOGÍA DE LAS CIENCIAS EXPERIMENTALES - SEMIPRESENCIAL Unidad 1 Lógica Proposicional Tema 3 Forma Proposicional MSc. Kleber Mora G. DOCENTE

2. Subtema 1: Proposición simple y compuesta Subtema 2: Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica). Subtemas

3. Objetivo El alumno será capaz de: crear oraciones lógicas en donde se emplee proposiciones simples y compuestas y las cuales tengan sentido lógico para los problemas de aplicación en matemáticos.

4. ACTIVIDAD DE INICIO Ingrese al enlace y participe activamente. Lea las siguientes instrucciones antes de empezar: De clic en el enlace y vote por la opción que conteste a la pregunta: Definan lo que es un axioma y de un ejemplo. Ingrese a: https://www.menti.com/rv9wp79eih

5. Proposición simple y compuesta Proposiciones simples son aquellas que no poseen operador lógico alguno. Las proposiciones compuestas están formadas por otras proposiciones y operadores lógicos .

6. Proposición simple y compuesta Suponga que las proposiciones a, b y c son verdadera, falsa y verdadera respectivamente, de acuerdo a esto encuentre la expresión FALSA:

7. Proposición simple y compuesta

8. Proposición simple y compuesta

9. Proposición simple y compuesta

10. Proposición simple y compuesta

11. Proposición simple y compuesta Bajo la suposición de que los valores de verdad de las proposiciones simples a , b , c y d son respectivamente 0, 0, 1, 1, indique el valor de verdad de cada una de las siguientes proposiciones compuestas: a) ¬( a ∨ b )→( c ∧¬ d ) b) ¬( c ↔ a ) → ( b ∧ d )

12. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores lógicos que las relacionan. Las formas proposicionales pueden ser conectadas con operadores lógicos para formar nuevas formas proposicionales. Dadas A y B, los símbolos ¬A, A∧B, A∨B, A B, A→B y A↔B representan nuevas formas proposicionales.

13. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Dada la siguiente forma proposicional: A: [( p ∧ q )→( r ∨¬ p )]∧ r

14. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Dada la estructura lógica de una forma proposicional: Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales, se dice que es una TAUTOLOGÍA.

15. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales, se dice que es una CONTRADICCIÓN.

16. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales, se dice que es una CONTINGENCIA.

17. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Implicación lógica Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B, denotado por A⇒B, si y sólo si A→B es una tautología.

18. Formas proposicionales (variables y formas proposicionales, tautología, contradicción y contingencia, implicación y equivalencia lógica) Equivalencia lógica Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado por A⇔B, si y sólo si A↔B es una tautología. El símbolo ⇔ se lo reemplaza por ≡

19. 19 CIERRE DE CLASES Todos los estudiantes deben ingresar al siguiente link: https://www.menti.com/fc7q4q1pq4 o Escanea el código QR para unirte a la actividad Y desarrollar la actividad.

20. 20 BIBLIOGRAFÍA ESPOL (2006). FUNDAMENTOS DE MATEMATICAS: ESPOL