Scribd
Cargar
612 vistas2 páginas

Actividad 2 Unidad 3 - Logica para La Solucion

El documento presenta tres argumentos lógicos para ser analizados usando el método del condicional asociado. El primer argumento tiene como premisas "p o q" y "no q", y concluye que p. El segundo argumento tiene como premisas "p implica q" y "no q", y concluye que no p. El tercer argumento es una tautología con premisas "p equivale a q" y "q o r", concluyendo q.

Cargado por

Monse Valencia
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
612 vistas2 páginas

Actividad 2 Unidad 3 - Logica para La Solucion

El documento presenta tres argumentos lógicos para ser analizados usando el método del condicional asociado. El primer argumento tiene como premisas "p o q" y "no q", y concluye que p. El segundo argumento tiene como premisas "p implica q" y "no q", y concluye que no p. El tercer argumento es una tautología con premisas "p equivale a q" y "q o r", concluyendo q.

Cargado por

Monse Valencia
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 2

Institución: Escuela Activa Jean Piaget

Materia: Lógica para la Solución de Problemas.


Grupo: Pi_1801_G16_APF
Nombre de la actividad: Activida2. Condicional asociado.
Asesor: Sandoval Méndez Socorro.
Alumno: Abraham Valencia López.
Fecha de entrega: 15/09/2018

Aplica los pasos que corresponden al método del condicional asociado para
demostrar argumentos deductivos en las simbolizaciones que aquí se
muestran.

Argumento 1

Premisa 1: (p ˅ q)
Premisa 2: ~ q
Conclusión: p

{[(p v q) ˄ ~q] ᵙ p}

Argumento 2 :

Premisa 1: (p ᵙ q)
Premisa 2: ~ q
Conclusión: ~ p

{[(p ᵙ q) ˄ ~q] ᵙ ~p}

Argumento 3 : Tautología.

Premisa 1: (p ≡ q)
Premisa 2: (q v r)
Conclusión: q

{[(p ᵙ q) ˄ ~r] ᵙ q}
{[(p ᵙ q) ˄ ~r] ᵙ q}
v v v f f v v
v v v f f v v
v f f f f v f
v f f f f v f
f v v v v v v
f v v v v v v
f v f v v f f
f v f v f f

También podría gustarte