Usuario:Juan medina/ejer15

Indiquese la ley que justificacada una de las conclusiones. En la siguiente prueba formal de validez de un argumento.

1.todos los rinocerontes son herbvoros.

2.Ningún herbívoro es carnívoro

3.Algunos animales feroces son rinocerontes, luego.......

4.Algunos animales feroces no son carnívoros

. Ra→ Ha (EU)

Ha→ -ca (EU)

Fa ^ Ra (EE)

Ra→ -Ca (silogismo hipotetico

Ra (simplificación)

-C modus ponens

Fa (simplificación

-Ca ^ Fa (conj)

Fa ^ -Ca (conmutativa)