حسبان القضايا (Q29404)

من Marefa data

branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components ^{الإنجليزية}

منطق اقتراحي
منطق القضايا
حسبان القضايا

اللغة	التسمية	الوصف	أسماء أخرى
العربية	حسبان القضايا	لا يوجد وصف	منطق اقتراحي منطق القضايا حسبان القضايا
الإنجليزية	propositional calculus	branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components	sentential calculus sentential logic statement logic zeroth-order logic propositional logic

بيانات

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

٠ مرجع

Commons category ^{الإنجليزية}

Propositional logic

١ مراجع

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

defining formula ^{الإنجليزية}

P\to Q,P\vdash Q

١ مراجع

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

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

١ مراجع

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

منطق رياضي

١ مراجع

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

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

١ مراجع

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

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

topic/logic-of-propositions

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

logic of propositions

١ مراجع

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

topic/propositional-calculus

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

propositional calculus

١ مراجع

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

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

١ مراجع

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

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

١ مراجع

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

Stack Exchange tag ^{الإنجليزية}

https://philosophy.stackexchange.com/tags/propositional-logic

١ مراجع

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

topic's main category ^{الإنجليزية}

تصنيف:حساب القضايا

١ مراجع

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

described by source ^{الإنجليزية}

الموسوعة السوفيتية الأرمينية

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

1

page(s) ^{الإنجليزية}

596-597

١ مراجع

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

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

logical system ^{الإنجليزية}

١ مراجع

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

different from ^{الإنجليزية}

منطق الترتيب الصفري

١ مراجع

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

said to be the same as ^{الإنجليزية}

propositional logic ^{الإنجليزية}

١ مراجع

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

has quality ^{الإنجليزية}

١ مراجع

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

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

propositional logic ^{الإنجليزية}

١ مراجع

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

وصلات الموقع

Marefa(١ وصلة واحدة)

marefa حسبان القضايا

ويكيبيديا(٨ وصلات)

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