Exercicis de formalitzaci lgica Josep Arts Gil

Exercicisde formalitzacilgica Josep Arts Gil

Si Hume s lautor del Tractat sobre la naturalesa humana, Kantho sde laCrticade la RaPura.

p q

O Hume s lautor del Tractat sobre la naturalesa humana,oKantho s de laCrticade la RaPura.

p v q

HumeiKanterenil.lustrats,perNietzscheno.

p ^ q ^ r

NiHumeeraidealista,niKanteraempirista.

p ^ q

Humeno va justificarlainducciapel.lanta raonslgiques.

p

Siel sol nosortsdem,la infernciainductivafallaria.

p q

Noscert que unaproposicicondicionalsiguivertadera sil'antecedentsveritablei el conseqents fals.

(q ^ r p)

Es cert que una proposici condicional s veritable quan antecedent i conseqent son falsos.

q ^ r p

Quineva escriureElsmtodesde la lgica,pernoel Tractatus.

p ^ q

SiQuinehagusescrit elTractatus,WittgensteinnoseriaWittge

p q