Recopilación de Ejercicios de finales / parciales del Método Demostrativo o Prueba Formal de validez en lógica Proposicional.

Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
Apunte Nº 254
Resolver las siguientes Pruebas formales o metodos demostrativos en Logica
Proposicional
Enunciar en cada caso, la regla o ley aplicada y su formula.
a) 1) p ⊃ ( q . r )
2) p
/∴ q
b) 1) p ⊃ ( q v r )
2) p
3) ~ q
/∴ r
c) 1) ( p v q ) ⊃ r
2) ~ r
/∴ ~ p
d) 1) ( ~ p ⊃ q ) . ( r ⊃ s)
2) ~ p v r
3) ~ q
/∴ s
e) 1) ( p ⊃ q ) ⊃ r
2) ~ r
/∴ ~ ~ p
f) 1) ( p ⊃ q ) ⊃ ~ r
2) ~ p v q
/∴ r ⊃ t
g) 1) ( ~ p . q ) ⊃ r
/∴ p
2) ~ ( q ⊃ r )
h) 1) ( p . ~ q ) ⊃ ( r ⊃ q )
2) p
3) ~ q
/∴ ~ r
i) 1) p ⊃ ~ q
2) ~ q ⊃ ~ r
/∴ r ⊃ ~ p
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: [email protected]
Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
k) 1) ~ ( ~ p v q )
2) q v r
/∴ ~ r ⊃ s
l) 1) ~ ( p . ~ q )
2) r ⊃ p
/∴ q v ~ r
m) 1) ( p ⊃ q ) . ( r ⊃ s )
2) ~ r ⊃ ~ q
3) ~ r
/∴ ~ p
n) 1) ( p ⊃ q ) ⊃ ( ~ r ⊃ s )
2) ~ q ⊃ s
/∴ r v s
3) p ⊃ ~ s
o) 1) ~ ( p v ~ q )
2) r ≡ s
3) ~ s
/∴ q . ~ r
p) 1) p ⊃ ~ ( q v r )
2) p
/∴ ~ q
q) 1) p ⊃ ~ q
2) ~ q ⊃ r
3) ~ r
/∴ ~ q
r) 1) ( p ⊃ q ) v ~ ( r ⊃ s )
/∴ ~ s
2) ~ ( p ⊃ q )
s) 1) p ⊃ ( ~ q ⊃ r )
2) ~ r
/∴ p ⊃ q
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: [email protected]
Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
u) 1) ( ~ p ⊃ q ) . ( ~ r ⊃ t )
2) q ⊃ ~ t
/∴ p. v r
v) 1) ~ p ⊃ q
2) ~ r ⊃ t
3) q ⊃ ~ t
/∴ ~ p ⊃ r
w) 1) ( ~ p v q ) ⊃ r
2) ~ ( q ⊃ r )
/∴ p
x) 1) ( p ⊃ q ) v r
2) p
/∴ q v r
y) 1) p v ~ ( q . ~ r )
2) ~ ( p v ~ q )
/∴ r
z) 1) p v ~ ( q v ~ r )
/∴ p v ~ q
a1) 1) ( ~ p v r ) ⊃ q
/∴ p v q
a2) 1) ( p . ~ q ) v r
2) q
/∴ r
a3) 1) ~ p ⊃ ( q . ~ r)
2) ~ q
/∴ p
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: [email protected]
Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
a5) 1) ( p ⊃ ~ q ) . ( r ⊃ s )
2) q v ~ s
3) r
/∴ p ⊃ ~ t
Nota: Resolvé estos ejercicios, tráelos a Delfos y te lo corregimos Sin Cargo.
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: [email protected]