De Morgan reglan

Úr Wikipediu, frjálsa alfræðiritinu

Í rökfræði er De Morgan reglan í raun tvær reglur um dreifingu neitunar á breytur.

Reglurnar kveða á um að setningarnar tvær sem eru vinstra megin við samsvörunarmerkið séu röklega jafngildar þeim sem eru hægra megin við merkið:

\neg(p\wedge q)=(\neg p)\vee(\neg q)
(þ.e. ekki-(p og q) jafngildir: ekki-p eða ekki-q)
\neg(p\vee q)=(\neg p)\wedge(\neg q)
(þ.e. ekki-(p eða q) jafngildir: ekki-p og ekki-q)

[breyta] Tengt efni


Þessi grein sem fjallar um heimspekilegt efni er stubbur.
Þú getur hjálpað til með því að bæta við hana