Está en la página 1de 4

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:


A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
Argumento A: Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una
alta probabilidad de accidentarse o Laura puede dañar su automóvil

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
Argumento A: Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene
una alta probabilidad de accidentarse o Laura puede dañar su automóvil

 Definir las proposiciones simples del argumento.


 Las proposiciones simples son las que no contienen ningún conectivo lógico, no
tiene condición. Ejemplo: Bogotá es la capital de Colombia.
 Definir la expresión del argumento en lenguaje simbólico o formal.

 lenguaje simbólico: (p^q)---r vs


 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta
probabilidad de accidentarse o Laura puede dañar su automóvil

P: Si Laura chatea en su celular


q: conduce por la autopista
r Laura tiene una alta probabilidad de accidentarse
s: Laura puede dañar su automóvil
lenguaje simbólico: (p^q)---r vs
P q r s (p^q) (p^q)---rvs
V V V V V V
V V V F V V
V V F V V V
V V F F V F
V F V V F F
V F V F F F
V F F V F F
V F F F F V
F V V V F F
F V V F F F
F V F V F F
F V F F F V
F F V V F F
F F V F F F
F F F V F F
F F F F F V
CONTINGENCIA

BIBLIOGRAFÍAS

https://campus08.unad.edu.co/ecbti47/mod/forum/discuss.php?d=2638#p61352
http://logicaunad.com/jtruth/resolver.php
http://newton.matem.unam.mx/calculo/Logica/l_logic07_d.html

También podría gustarte