www.didactic.ro

de **silviadoandes** » 07 Oct 2006, 15:10

Cand negam o propozitie falsa obtinem o propozitie adevarata.
Propozitia p:"Toti oamenii sunt nemuritori" este falsa.
Care este propozitia non p ?

de **gabitzi** » 07 Oct 2006, 16:14

exista oameni sunt muritori

bineinteles ii adevarat si ca toti oamenii sunt muritori dar asta nu e negata lui p

de **silviadoandes** » 07 Oct 2006, 18:55

non p: "Exista un om care este muritor."

de **andreireketes** » 11 Oct 2006, 21:43

non p: "Nu toti oamenii sunt nemuritori"

de **silviadoandes** » 12 Oct 2006, 09:51

Ce am vrut eu sa subliniez ?
Ca negarea propozitiei "Toti oamenii sunt nemuritori" nu este "Toti oamenii sunt muritori".

Avem predicatul p(x) "Daca x este om, atunci x este nemuritor".
Acest enunt este intotdeauna (pentru orice x) o propozitie falsa, adica
propozitia universala asociata acestui predicat
"Oricare ar fi omul x, el are proprietatea ca este nemuritor" este falsa.

Cand negam "orice", obtinem "exista".
"Exista cel putin un om x care nu are proprietatea data" => "Exista un om care nu este nemuritor" =>

=> "Exista un om care este muritor."

de **andreireketes** » 13 Oct 2006, 00:22

Multumesc, m-am prins :!:

Initial imi puneam problema termenului "exista" (diferenta dintre "a exista" si "a fi" - Descartes) dar mi-am dat seama ca, de fapt, deriva doar din legea generalizarii :wink:

www.didactic.ro

nemuritorii

nemuritorii

Cine este conectat