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.

 

== Gjykimet ==

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

 

 

----

== Operacione themelore logjike ==

  <small> [[logjikë Tabela e operatorve|tabelat e saktësisë]] </small>