Logjika matematikore: Dallime mes rishikimesh

Themelues i Logjikës matematikore konsiderohet matematikani anglez [[George Boole]] kuptimet e para të logjikës formale i kanë dhënë grekët e vjetër me përfaqësuesin kryesor të saj [[Aristoteli]]n. Logjika matematikore lindi nga nevoja e eliminimit të kundërthënieve dhe paradokseve që u paraqitën në teorinë e bashkësive poashtu ajo ka luajtur një rol të veçantë në lindjen e disa lëmive të reja të matematikës bashkohore. Kjo degë përsosi [[Simbolet matematikore|simbolet]] e deriatëhershme dhe e plotësoi me simbole të reja gjuhën simbolike.

 

 

<p>Gjykimi ( pohimi ), është koncept themelor në Logjikën matematikore. Në aspektin e saktësisë gjykimi i nënshtrohet ligjit të

 

 

p.sh. gjykime janë fjalitë: " Wikipedia nuk është e shkruar në gjuhen shqipe ", "

 

shkruar në gjuhen shqipe " dhe " 1+1=2 " janë gjykime të sakta.

 

 

 

 

konstante. Mirëpo për thjeshtësi vlerat e gjykimeve shkruhen vetëm me emërtimin e gjykimit.</p>

 

 

 

<p>Pohimit " Wikipedia nuk është e shkruar në gjuhen shqipe " kur të i japim njërën nga vlerat e saktësisë- e saktë ose jo e

 

 

Wikipedia do të ketë 1000 artikuj në vitin 2000+x " ose " 10+x=200 ", etj. . Varrësisht prej vlerës së variabilës

 

 

 

Operacione themelore logjike == ==

 

 

p.sh:

 

 

Kuantifikatorët japin vlera të caktuara të cilat zëvëndësojnë variablat në gjykimin e dhënë.

 

 

{{Matematika}}

 

 

[[ar:منطق رياضي]]

[[no:Predikatslogikk]]

[[pl:Logika matematyczna]]

[[ru:Математическая логика]]

[[sh:Matematička logika]]