Logjika matematikore: Dallime mes rishikimesh
| [redaktim i pashqyrtuar] | [redaktim i pashqyrtuar] |
Content deleted Content added
Xqbot (diskuto | kontribute) v roboti largoj: lt:Matematinė logika |
Gurax (diskuto | kontribute) |
||
Rreshti 22:
konstante. Mirëpo për thjeshtësi vlerat e gjykimeve shkruhen vetëm me emërtimin e gjykimit.</p>
<center>'''''Fjalia e cila ka njërën nga e vlerat saktësisë - e saktë ose jo e saktë - quhet gjykim.'''''</center>▼
▲<center>'''''Fjalia e cila ka njërën nga e vlerat saktësisë- e saktë ose jo e saktë- quhet gjykim'''''</center>
<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
Line 36 ⟶ 35:
''gjykim i përbërë'' quhet gjykimi i cili fitohet kur dy gjykime të thjeshta i lidhim me lidhëzat ,, dhe,, ose,, etj. <br />
== Operacione themelore logjike ==
<small> [[logjikë Tabela e operatorve|tabelat e saktësisë]] </
* <b>Konjuksioni </B> (<i> p dhe q</i>)
▲ P Nëse një gjykimi të caktuar''p''shtojmë parashtesën ia,, jo, atëherë gjykimi,, jo,, ose,, nuk është e vërtetë se p,, quhet negacionin i gjykimit 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>Implikacioni </B> (<i>nëse p atëherë q</i>)
Kombinime te mëtejshme të veprimeve themelore cojnë në rrjedhime komplekse, si p.sh: ''Kemi p, q, r. Nëse p atëhere q. Nëse q atëhere r. Si rrjedhim nese p atëhere r.''
▲ * <b> <Disjunksioni / B> (<i> p''ose''''''q </ i>)
▲ * <b> <Ekuivalenca / B> (<i> atëherë nėse''p''Vetëm atëherë''''q dhe </ i>)
== Ligjet e logjikes matematikore (tautologjitë) ==
| |||