Lògica

	Vos an lenga piemontèisa
	Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì

La Lògica a l'é la siensa dël rasonament. La lògica a giuta le përson-e a decide se cheicòs a l'é ver o fàuss. N'esempi bin conossù ëd silogism fàit da Aristòtil: Tùit j'òm a son mortaj Sòcrate a l'é n'òm Donca, Sòcrate a l'é mortal. Lògica simbòlica Ël midem silogism a peul esse scrivù an forma simbòlica: $\land$ a l'é lesù com "e", e a veul dì tùit doi. $\lor$ a l'é lesù com "o", e a veul dì almanch un ëd doi. $\rightarrow$ a l'é lesù com "a ìmplica", o "Se ... antlora ...". $\lnot$ a l'é lesù com "nò", o "a l'é pa ël cas ëd ...". Le paréntes (,) a son giontà për ciarëssa e precedensa; sòn a veul dì che lòn ch'a l'é an paréntes a deuv esse valutà prima ëd lòn ch'a l'é fòra. Cost a l'é ël midem esempi an dovrand dij sìmboj lògich: $\rm((uman\rightarrow mortal)\land(Aristotil\rightarrow uman))\rightarrow(Aristotil\rightarrow mortal)$ E cost a l'é ël midem esempi an dovrand dij termo generaj: $((a\rightarrow b)\land(c\rightarrow a))\rightarrow(c\rightarrow b)$ A la fin dla fera, coj ch'a parlo a propòsit ëd lògica a parlo a propòsit ëd diciarassion. Na diciarassion a l'é an paròle pòvre cheicòs com "Aristòtil a l'é uman" o "tùit j'uman a son mortaj". Le diciarassion a l'han un valor ëd vrità; a son vere o fàusse, ma pa tùit doi. J'eror an lògica a son ciamà faussità. Preuva lògica Na preuva lògica a l'é na lista ëd diciarassion. Minca diciarassion ant la preuva a l'é n'assunsion o a riva da na diciarassion ëd prima ant la preuva. Na preuva a mosta che na diciarassion, la conclusion, a deriva da j'assunsion. Un a peul, për esempi, prové che "Aristòtil a l'é mortal" an conseguensa ëd "Aristòtil a l'é n'òm" and "Tùit j'òm a son mortaj". A-i é ëd diciarassion ch'a son sempe vere. $(a \lor \lnot a)$ a l'é sempe ver. A l'é ciamà na tautologìa. (për esempi: "O a pieuv, o a pieuv pa") Usagi La lògica dovrà da j'ordinator a l'é ciamà n'algoritm. N'algoritm a dis a l'ordinator còsa fé e quand felo. La lògica a l'é dovrà an matemàtica. Le përson-e ch'a studio matemàtica a creo dle preuve matemàtiche ch'a dòvro la lògica për mosté che j'assunsion matemàtiche a son giuste. A-i é na branca dla matemàtica ciamà lògica matemàtica ch'a studia la lògica an dovrand la matemàtica. La lògica a l'é ëdcò studià an filosofìa.

OMMI! Ma io non SO LEGGERE!! E be'? :) È facile leggere una lingua che si parla già. Consulti questa pagina e vedrà, in un attimo anche Lei avrà il suo badge da bogianen :) St'utent-sì a l'é un bogianen OMMI! pero si YO no SE LEER! ¿Y que? :) Es fácil aprender a leer un idioma que ya se habla. Consulte usted esta pagina y verá, en un momento tendrá usted su Badge de Bogianen :) Reading piedmontese: please visit this page 61 767 artìcoj scrivù e na media ëd pàgine lesùe davzin a 1.750.000 pàgine l'ann! 'cò ti it peule travajé a fé pì granda e bela la wikipedia piemontèisa. Tùit a peulo gionté dj'anformassion, deurbe dij neuv argoment, deje na man ai volontari ch'a travajo ambelessì 'ndrinta. Rintra ant la Piòla e les coma avnì a fé toa part. I soma na gran famija e i l'oma da manca dël travaj ëd tuti. Se it la sente nen dë scrive n'artìcol, a-i son vàire travajòt da fé andova a fa pa da manca d'esse na cima a scrive për podej giuté. Mersì. BANCHÈT dj'UTISS Për dì la soa ansima a sta pàgina-sì ch'a-i daga 'n colp col rat an sël tilèt discussion. Për lasseje un messagi a j'aministrator ch'a varda ambelessì. Lìber për chi a veul amprende a lese e a scrive mej an piemontèis, e che an fan d'arferiment a tùit për la coression ortogràfica dij test. Për ёscrive dësgagià, ch'a dòvra la Tastadura piemontèisa! E ch'a manca pa 'd vardesse la pàgina d'agiut për chi as anandia da zero.