|
Nëse një gjykimi të caktuar ''p'' ia shtojmë parashtesën atëherë gjykimi ,,jo p,, ose ,, nuk është e vërtetë se p,, quhet negacionin i gjykimit ''p''. pastaj nëse janë dhënë dy gjykime ''p,q'' atëherë nga ato me përdorimin e lidhëzave,
Më lartë përmendem gjykimet e përbëra të cilat përbëhen nga gjykimet e thjeshta. Mirë, po me ç`ka lidhen ato në mes veti dhe si janë mardhënjet e tyre?<br>
Gjykimet matematike lidhen me lidhëzat sikurse pohimet në gjuhën që e përdorim. Në matematike këto fjalë lidhëse <i>"jo",
"dhe", "ose", "nëse ...", "atëherë ...", "atëherë dhe vetëm atëherë", quhenfitohen <i>operacionegjykime themeloretë logjike</i> .<small>(lidhëza <b> ani nashtë</b> është palidhje)</small>përbëra. Në bazë të operatorit ( lidhëses) dallojmë këto operacione :
*<b>Mohimi(negacioni)Konjuksioni</b> (<i>jo''p''dhe ''q''</i>)
*<b>KonjuksioniDisjunksioni</b> (<i>dhe''p''ose ''q''</i>)
*<b>DisjunksioniImplikacioni</b> (<i>osenëse ''p'' atëherë ''q''</i>)
*<b>ImplikacioniEkuivalenca</b> (<i>nëse ...''p'' atëherë ...dhe vetëm atëherë ''q''</i>)
*<b>Ekuivalenca</b> (<i>nëse dhe vetëm nëse</i>)
*<small>Marigona(<i>ani nashtë</i>)</small>
== Ligjet e logjikes matematikore quhen edhe tautologji ==
| 