منطق گزارهای

تعریف اصطلاح "منطق گزاره"، لازم است به وضوح درک چیزی است که یک "بیانیه" است.

بنابراین، در این بیانیه یک جمله دستوری صحیح است، قرار گرفت، و درست یا نادرست است. این مفهوم باید یک مفهوم مشخص را بیان کنند. به عنوان مثال، عبارت "پرنده قناری دارای یک" شامل اجزای زیر است: "قناری" و "پرنده".

به همین دلیل است یکی از مفاهیم اولیه کلیدی از منطق و می گویند. این مفاهیم باید یک وضعیت خاص است که در آن بیانیه یا چیزی یا انکار است توصیف می کنند.

این نظر گرفته می شود یک عبارت درست، اگر واقعیت خط ترسیم از وضعیت زمانی که آن را محدود. با خود، "نادرست" و "واقعی" تشخیص حقیقت از اظهارات.

منطق گزاره شامل عبارت ساده و پیچیده. بنابراین، فقط فکر می کنم بیانیه ای که در ترکیب عبارت دیگر آن را شامل نمی شود. و به پیچیده شامل عبارت است که از ساده، اظهارات منطقی متصل مشتق شده است.

منطق گزاره کلاسیک را می توان با نظریه عمومی کسر نشان داده است. این که بخشی از منطق، که توصیف در مورد اظهارات ارتباط منطقی از عبارات ساده بستگی ندارد.

نه به ذکر است حرف ربط - یک گزاره دشوار به دست آمده از ترکیب دو عبارت ساده با استفاده از کلمه "و". حقیقت رابطه اعلام که تمام اظهارات موجود در ساختار آن است. در مورد که در آن حداقل یکی از اعضای آن یک اشتباه، کل رابطه نشانه ای از "یک دروغ است."

به خودی خود یک رابطه به شکل اظهارات پیچیده، که در این فرضیات بر اساس:

- هر عبارت (و ساده و پیچیده) می تواند درست یا نادرست؛

- حقیقت از سخنان پیچیده بستگی به حقیقت از اظهارات موجود در آن و ارتباط منطقی در آن است.

هنگام اتصال دو عبارت با استفاده از کلمه "یا" در حال حاضر به دست آمده گسست. در زندگی روزمره، این مفهوم را می توان از منظر دو معنی مختلف مشاهده شده است. اول، آن را حس غیر انحصاری، که بدان معنی است که حقیقت بیان، صرف نظر از بیان واقعی از یکی از دو یا آنها کسانی که از دو است. دوم، از بین بردن حس ادعا میکند که یکی از عبارت درست است، و از سوی دیگر - نادرست است.

فرمول گزاره شامل کاراکترهای خاص. بنابراین، در نماد گسست پنجم نشان می دهد که بیان درست است اگر صدق حداقل یکی از بیانیه ها، و نادرست اگر هر دو آلت تناسلی مرد نادرست است.

در تعیین مفهوم این است این ادعا که اظهارات پایه نمی تواند در تحقیقات اشتباه واقعی وجود دارد. به عبارت دیگر، این بدان معنی حقیقت وابستگی یا نادرستی از بیان ارزش قطعات و روش های روابط خود آن است.

با وجود این واقعیت است که مفهوم برای برخی از اهداف بسیار مفید است، آن است که بسیار سازگار با فهم متعارف از ارتباطات به طور کلی است. بنابراین، هنگامی که آن را دستگاه و در بسیاری از ویژگی های مهم از رفتار منطقی از اظهارات مفهوم ممکن است شرح کافی از آن را احاطه کرده است.

منطق گزاره با هدف حل چنین وظیفه مرکزی، و از جدایی از درست و نادرست استدلال مدارهای و طبقه اول. برای به دست آوردن نتیجه درست، شما نیاز به تمرکز بر روی شخصیت ویژه ای است که می تواند یک یا شکل دیگری را نمایندگی کند. از این رو نشان داد علاقه به گونه کلمات به ظاهر ناچیز مانند "یا"، "و"، و غیره

اظهارات منطق حتی زبان خود، متشکل از عناصر زیر است:

- شخصیت اصلی - متغیرها، ثوابت منطقی، و نمادهای فنی؛

- فرمول.

برای درک بهتر از آنچه که گفته شده است شما باید به نمونه های خاص است. به عنوان مثال، رابطه استفاده از نماد و، فصلی - \ / یا \ º /.