LOGICA MATEMATICA Y DIGITAL

SEMANA 2

Nombre del estudiante: Lucciano Frontuto

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:31:09 GMT -06:00

https://www.coursehero.com/file/212128326/Lucciano-Frontuto-Control-2docx/
 DESARROLLO CONTROL 1.
Considerando la información dada.

1. Dados los siguientes enunciados, construye la fórmula lógica respectiva, identificando las proposiciones
atómicas y los conectivos lógicos que contenga.

a) Si la corriente eléctrica no puede observarse directamente ni se pueden ver las cargas eléctricas que
circulan por el conductor, entonces o bien una corriente pasa por un circuito cuando se ven sus efectos o
puede observarse directamente.

p: La corriente eléctrica

q: puede observarse directamente

r: pueden ver las cargas eléctricas que circulan por el conductor

s: o bien una corriente pasa por un circuito cuando se ven sus efectos

(p ~ q) → (~r V s) V q

En este caso los conectivos lógicos son: Negación, Disyunción, Condicional.

b) Si no realizo todos los ejercicios asignados y consigo una alta calificación en el examen final, entonces
no obtengo una alta calificación en esta asignatura.

p: realizo todos los ejercicios asignados

q: consigo una alta calificación en el examen final

r: obtengo una alta calificación en esta asignatura

(~p ∧ q) →(~r)

En este caso los conectivos lógicos son: Negación, Conjunción, Condicional.

c) O bien, José va a la playa y no es una persona responsable, o José va al trabajo y es una persona
responsable.

p: José va a la playa

q: es una persona responsable

r: José va al trabajo

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:31:09 GMT -06:00

https://www.coursehero.com/file/212128326/Lucciano-Frontuto-Control-2docx/
 (p ∧ ~ q) ∧ (r ∧ q)

En este caso los conectivos lógicos son: Negación, Conjunción.

2. Sean las proposiciones p y q, escribe a lenguaje natural las siguientes proposiciones lógicas. Responde
para cada caso ¿Los enunciados obtenidos son expresiones válidas en el sentido cotidiano?

p: la computación es fácil y q: los ingenieros deben saber computación.

a) ¬p ∧ q

En lo cotidiano la proposición valida que La computación no es fácil y los ingenieros deben saber
computación

b) ¬ (p ⊃ q)

Desde lo cotidiano se puede ver como no válida, No es cierto que La computación es fácil
entonces los ingenieros no deben saber computación

c) ¬ (q v ¬p)

En lo cotidiano no es válido ya que lo ingenieros estudian para prepararse más. No es cierto que la
computación es fácil o que los ingenieros no deben saber computación.

3. Determina si la fórmula dada es tautología, contradicción o contingencia, mediante la construcción de

¬ [(p V q) Ʌ r]⇔ [ (p ⊃ q) V ¬ r]

p q r pVq p⊃q ¬r [(p V q) Ʌ [(p ⊃ q) v ¬ r] ¬ [(p V q) Ʌ r]⇔ [ (p ⊃ q) V ¬ r]

V V V V V F V F F

V V F V V V F V V

V F V F F F F F F

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:31:09 GMT -06:00

https://www.coursehero.com/file/212128326/Lucciano-Frontuto-Control-2docx/
 V F F F F V F F F

F V V F V F F F F

F V F F V V F V V

F F V F V F F F F

f f F F V V F V V

Dado que la fórmula esta es contingencia. Se encuentran verdadero y falso.

REFERENCIAS BIBLIOGRÁFICAS
Lectura de Iacc.

Iacc. (2023). lógica matemática y digital. Tabla de verdad de una formula lógica. Semana 2.

Iacc. (2023). lógica matemática y digital. Conectivos lógicos. Semana 2.

Iacc. (2023). lógica matemática y digital. Conectivos Lógicos y Tabla de Verdad. Semana 2.

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:31:09 GMT -06:00

https://www.coursehero.com/file/212128326/Lucciano-Frontuto-Control-2docx/
Powered by TCPDF (www.tcpdf.org)