keyword برهان پذیری / (2 Article)
- Sort by
- Date
- Journal قبسات 2
-
1.
Writer : ظهیری، سید مجید ؛
Journal:قبسات»پاییز 1385 - شماره 41 ، Scientific-Progrative (Ministry of Science/ISC (12 page(s) - From 211 to 222 )
Keywords:منطقالاهیاتمنطق موجهات (Modal Logic)منطق آزاد (Free Logic)گزاره ضرور ازلیبرهان پذیرینحو ( Syntax )معنا ( Semantic )SyntaxSemanticlogicPretheologyModal logicfree logiceternal necessary statementdemonstrabilityبرهانکاربردآنسلمخداسیستمهایزالتا
-
2.
Writer : فرامرز قراملکی، احد ؛
Journal:قبسات»پاییز 1385 - شماره 41 ، Scientific-Progrative (Ministry of Science/ISC (8 page(s) - From 237 to 244 )
Keywords:محمول بالضمیمهبرهانپذیریبرهانناپذیریمحمول بالصمیمهگزارة ضرور ازلینظام منطقی ارسطوییPreeternal necessary statementdemonstrabilityindemonstrabilityannexed predicateAristotelian logical systemبرهانتبکیتنقد