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:

  1. Tùit j'òm a son mortaj
  2. Sòcrate a l'é n'òm
  3. Donca, Sòcrate a l'é mortal.

Lògica simbòlica modìfica

Ël midem silogism a peul esse scrivù an forma simbòlica:

a l'é lesù com "e", e a veul dì tùit doi. a l'é lesù com "o", e a veul dì almanch un ëd doi. a l'é lesù com "a ìmplica", o "Se ... antlora ...". 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 dev esse valutà prima ëd lòn ch'a l'é fòra.

Cost a l'é ël midem esempi an dovrand dij sìmboj lògich:

E cost a l'é ël midem esempi an dovrand dij tèrmin simbòlich:

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òvere 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 modìfica

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 mostra 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 l'é sempe ver. A l'é ciamà na tautologìa. (për esempi: "O a pieuv, o a pieuv pa")

Usagi modìfica

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 mostré 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.