Exercicis de Formalització Lògica
-
Upload
josep-artes -
Category
Documents
-
view
18 -
download
2
description
Transcript of Exercicis de Formalització Lògica
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