Tri nga arsyetimet më të përdorshme në Matematikë janë:
- Arsyetimi i drejtpërdrejtë ( Modus Ponnens )
- Arsyetimi me kundërthënie ( absurditet, kontradiksion – Modus Tollens )
- Arsyetimi nga e kundërta
Modus Ponnens
“Rregulli që pohon” thotë:
(nqs është i vërtetë implikimi p ⇒ q dhe është i vërtetv pohimi p) ⇒ ( është i vërtetë pohimi q ).
Pra, ( p ∧ ( p ⇒ q ) ⇒ q.
Modus Tollens
“Mënyra që heq” thotë:
( nqs është i vërtetë implikimi p ⇒ q dhe është i vërtetë pohimi jo q ) ⇒ ( është i vërtetë pohimi jo p)
(p\wedge (\bar{p}\Rightarrow \bar{q}))\Rightarrow q.Arsyetimi nga e kundërta
Ky arsyetim bëhet mbi bazën e ligjit logjik:
(p\Rightarrow q)\Leftrightarrow (\bar{q}\Rightarrow \bar{p}).i cili quhet ligji i kundërvënies.
Referenca
PaskuElton Algjebra 1 për degën e Inxhinierisë së Matematikës dhe Inormatikës．2020-2021．
PetroPetraq Koncepte themelore matematike．s.l.，Vllamasi，2010．