Logjika matematikore: Dallime mes rishikimesh

== Operacione themelore logjike == ==

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

  P Nëse një gjykimi të caktuar ''p'' ia shtojmë parashtesën ia,, jo,, atëherë gjykimi ,, jo p,, ose ,, nuk është e vërtetë se p,, quhet negacionin i gjykimit p''p''. Nëse janë dhënë dy gjykime ''p, q'' atëherë nga ato me përdorimin e lidhëzave,

  "dhe", "ose", ", " atëherë ...", "atëherë dhe vetëm atëherë", fitohen gjykime të përbëra. Në bazë të lidhëzave dallojmë këto operacione ose gjykime të përbëra:

  * <b>Konjuksioni <Konjuksioni /b B> (<i>'' p''dhe ''q''''q </ i>)

  * <b>Disjunksioni <Disjunksioni /b B> (<i>'' p''ose ''q''''q </ i>)

  * <b>Implikacioni <Implikacioni /b B> (<i>nëse atëherë''p'' atëherë ''q''q nëse </ i>)

  * <b>Ekuivalenca <Ekuivalenca /b B> (<i>nëse atëherë nėse''p''Vetëm atëherë dhe vetëm atëherë ''q''q dhe </ i>)