double negative elimination ^{الإنجليزية} (Q633095)

من Marefa data

inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	double negative elimination	inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

rule of replacement ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

part of ^{الإنجليزية}

double negation ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

subclass of ^{الإنجليزية}

removal ^{الإنجليزية}

of ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Encyclopædia Britannica Online ID ^{الإنجليزية}

topic/law-of-double-negation

subject named as ^{الإنجليزية}

law of double negation

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٢ وصلتان)

dewiki Gesetz der doppelten Negation
eswiki Doble negación (lógica)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q633095&oldid=61791945»