Logjika matematikore: Dallime mes rishikimesh

[redaktim i pashqyrtuar][Redaktim i kontrolluar]
Content deleted Content added
Etiketat: Redaktim nga celulari Redaktim në versionin web nga celulari
Refuzoi ndryshimin e fundit të tekstit (nga 185.191.166.46) dhe riktheu rishikimin 1819213 nga AXRL
 
Rreshti 2:
 
== Gjykimet ==
Gjykimi (pohimi), është koncept themelor në Logjikën matematikore. Në aspektin e saktësisë gjykimi i nënshtrohet ligjit të ''përjashtimit të së tretës'' dhe merr vetëm njërën nga vlerat i saktë ose jo i saktë ('''true''' orose '''false''').
 
P.sh. gjykime janë fjalitë : " Wikipedia nuk është e shkruar në gjuhen shqipe ", "1 + 1 = 1" (këto pohime në logjikën matematikore mirren si gjykime) jo të sakta, sepse "Tani unë po e lexojë këtë artikull të shkruar në gjuhen shqipe" dhe "1 + 1 = 2" janë gjykime të sakta. Vetitë ''i saktë'' dhe ''jo i saktë'' quhen vlera të saktësisë së gjykimit dhe shënohen me simbolet T (lexo : ''te'') dhe <math>\perp</math> (lexo : ''jo te''). Simboli "T" është i ngjashëm me germën e parë të fjalës angleze '''T'''rue = ''i (e) saktë''. Emërtimi i gjykimeve zakonisht bëhet me germat e vogla të alfabetit, si <i>p, q, r...</i> dhe trajtohen si ''variabla gjykimesh'', ndërsa vlerat e tyre shënohen me : ''v(p), v(q), v(r)...'' dhe janë konstante. Mirëpo për thjeshtësi vlerat e gjykimeve shkruhen vetëm me emërtimin e gjykimit.
Rreshti 13:
 
----
 
== Operacione themelore logjike ==
  <small> [[logjikë Tabela e operatoreve|tabelat e saktësisë]] </small>