TAREA ACADEMICA UNIDAD II

INSTRUCCIONES: Puede presentarlo en Word, pdf o escanear las hojas manuscritas y cargarlas en el aula virtual.
I. Correlaciones los argumentos y proposiciones con sus respectivos formalizaciones.(10ptos)
ARGUMENTOS Y PROPOSICIONES
1. Si el capitn del equipo grita que somos campeones entonces el delantero
hizo tres goles. Adems el capitn hizo 5 tiros al arco. Si el capitn hizo 5 tiros
al arco, el delantero hizo un solo gol y no tres. En conclusin, el capitn del
equipo no grit que somos campeones.
2. La vida est en serios riesgos a causa de que actualmente se est
contaminando el agua, el aire o la tierra.
3. Carlitos sale de vacaciones si logra sus metas o concluye su trabajo. Juan
saldr de vacaciones si Carlitos logra sus metas o Juan plantea innovaciones.
Por consiguiente, Carlitos sale de vacaciones si Juan no plantea
innovaciones.
4. Si Luis gana la primera partida; entonces si quiere aumentar sus
ganancias, continuar jugando. Sabemos que Luis contina jugando.
Entonces, si Luis gana su primera partida, quiere aumentar sus ganancias.
5. Si Scrates se empea en censurar los vicios polticos; aumentar el odio
de sus adversarios y ser acusado ante el tribunal ateniense. Si aumenta el
odio de sus adversarios o es acusado ante el tribunal ateniense; ser
condenado a muerte. Por consiguiente; si Scrates se empea en censurar
los vicios polticos, ser condenado a muerte.

FORMALIZACIN
(3 )

( 4)

(5 )

( 1)

(2 )

II. Evale los siguientes esquemas usando la prueba POR TABLA DE VALORES: (4ptos)
Exigencia acadmica para grandes cambios

1. [(p v -q) -p] -r

[( p

-q )

-p]

-r

Respuesta Final
(Contingente)

2. (q p ) [(-p r) -q]

(q

p)

[(-p

r)

-p]

Respuesta Final
(Tautologa)

Exigencia acadmica para grandes cambios

II. Aplique los Diagramas Semnticos a los siguientes esquemas. Aplique hasta el CUARTO PASO(ANALISIS DE RAMAS) (6ptos)
1. Elabore el diagrama cuando el esquema es VERDADERO y otro cuando es FALSO [(pq) r] r
VERDADERO

FALSO

V{[(p^q)r]r}

F{ [ ( p ^ q ) r ] r }

F[ (p ^ q ) r ]

V[ ( p ^ q ) r ]

V[r]
Rama 2

F[r]

V( p ^ q )
F[r]

F(p ^ q)

V[r]

VERIFICANDO
V[p]
V[q]

Rama 1
Analisis de Ramas
Rama

V/F

V/F

F[p]

F[q]

Rama 1

Rama 2

Analisis de Ramas
Rama

V/F

V/F

Es Esquema CONTINGENTE

Exigencia acadmica para grandes cambios

2. Elabore el diagrama cuando el esquema es VERDADERO y otro cuando es FALSO [(pq) r] v ( p q)

VERDADERO

FALSO

V[ ( p ^ q ) r ] v ( p ^ q )

V[( p ^ q ) r]

F[ ( p ^ q ) r ] v ( p ^ q )

F[( p ^ q ) r]
F( p ^ q )

V(p ^ q)
VERIFICANDO

F(p ^ q)

V[r]

V[p]
V[q]

Rama 3

Rama 4

F[p]
Rama 1

F[q]
Rama 2

Ramas

V/F

V/F

V/F

V/F

V/F

V/F

V/F

V( p ^ q )
F[r]

V[p]
V[q]

F[r]
8

V
F[p]

F[q]

Esquema TAUTOLOGICO
Se anulan existen contradicciones en las ramas
El valor de F no existe en la tabla

Exigencia acadmica para grandes cambios

Exigencia acadmica para grandes cambios

Exigencia acadmica para grandes cambios

Exigencia acadmica para grandes cambios