المنطق

malak54 · 2015-11-11, 21:02

من فضلكم انا في امس الحاجة الى دروس المنطق سنة ثانية اعلام الي ليسانس و بارك الله فيكم

malak54 · 2015-11-11, 21:16

مكن شرح كيف اقوم بحل هذا التمرين و شكرااا

malak54 · 2015-11-11, 21:18

malak54 · 2015-11-12, 19:25

ممكن شرح طريقة حل السوال السابق و شكراا مع العلم ان الجواب من رقم 1 الى 14

padribatr · 2015-11-15, 21:57

السلام عليكم ورحمة الله وبركاته

Abe_sparrow1 · 2015-11-15, 23:01

أولا: ما هي البديهيات (axioms) وقواعد الاستدلال (rules of inference) الخاصة بنظام المنطق التي درستموها؟

malak54 · 2015-11-18, 14:29

Axiomes.
(ax1) (A ! (B ! A))
(ax2) (A ! (B ! C)) ! ((A ! B) ! (A ! C))
(ax3) (:B ! :A) ! (A ! B)

A;A ! B
B
(MP)

!)implique (

Règle de substitution.
B
[A=p]B
(Sub)

normalment hadom homa ani 7asla m3a logique 3awnonii svp