Exercicis per aprendre a resoldre problemes i treballar la lògica
Exercicis de Formalització Lògica
2
Exercicis de formalització lògica Josep Artés Gil Si Hume és l’autor del Tractat sobre la naturalesa humana , Kant ho és de la Crítica de la Raó Pura . p → q O Hume és l’autor del Tractat sobre la naturalesa humana , o Kant ho és de la Crítica de la Raó Pura . p v q Hume i Kant eren il.lustrats , però Nietzsche no . p ^ q ^ ¬r Ni Hume era idealista , ni Kant era empirista . ¬ p ^ ¬q Hume no va justificar la inducció apel.lant a raons lògiques . ¬p Si el sol no sortís demà , la inferència inductiva fallaria .
-
Upload
josep-artes -
Category
Documents
-
view
17 -
download
2
description
Exercicis de Formalització Lògica
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
