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

منطق گزاره‌ای از محتوای گزاره‌ها انتزاع می‌کند و ارزش صدق آن‌ها، یعنی درست یا نادرست بودن گزاره را بررسی می‌کند.

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

منطق گزاره ای در علوم کامپیوتر و برنامه نویسی به صورت اعلام متغیرهای منطقی و اختصاص مقادیر منطقی "نادرست" یا "درست" به آنها استفاده می شود که روند اجرای بیشتر برنامه به آن بستگی دارد. در برنامه‌های کوچکی که فقط یک متغیر بولی درگیر می‌شود، معمولاً به متغیر بولی نامی مانند «پرچم» داده می‌شود و زمانی که مقدار متغیر «true» است و «پرچم پایین است»، معنای آن بالاست مقدار این متغیر "نادرست" است. در برنامه های بزرگ که چندین یا حتی متغیرهای منطقی زیادی در آن ها وجود دارد، متخصصان موظفند نام متغیرهای منطقی را در قالب عبارات و جملات ارائه دهند. بار معنایی، متمایز کردن آنها از سایر متغیرهای منطقی و قابل درک برای سایر متخصصان که متن این برنامه را خواهند خواند.

بنابراین، یک متغیر منطقی با نام "UserRegistered" (یا آنالوگ انگلیسی زبان آن) را می توان در قالب یک عبارت اعلام کرد که در صورت وجود شرایط ارسال داده های ثبت نام، می توان مقدار منطقی "true" را به آن اختصاص داد. توسط کاربر و این داده ها توسط برنامه معتبر شناخته می شود. در محاسبات بعدی، ممکن است مقادیر متغیرها بسته به مقدار منطقی (درست یا نادرست) متغیر UserRegistered تغییر کند. در موارد دیگر، به متغیری، به عنوان مثال، با نام "بیش از سه روز مانده به روز"، می توان قبل از بلوک خاصی از محاسبات، مقدار "True" را به آن اختصاص داد و در طول اجرای بعدی برنامه این مقدار می تواند ذخیره شده یا به "false" تغییر یافته و پیشرفت اجرای بیشتر به مقدار این متغیر بستگی دارد.

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

عملیات منطقی روی عبارات

برای گزاره‌های ریاضی همیشه می‌توان بین دو گزینه متفاوت، «درست» و «نادرست» انتخاب کرد، اما برای گزاره‌هایی که به زبان «کلامی» بیان می‌شوند، مفاهیم «حقیقت» و «نادرست» تا حدودی مبهم‌تر هستند. با این حال، برای مثال، اشکال کلامی مانند "برو خانه" و "باران است؟" بنابراین واضح است که گزاره ها اشکال کلامی هستند که در آنها چیزی بیان می شود . جملات استفهامی یا تعجبی، استیناف و همچنین خواسته ها یا خواسته ها بیانیه نیستند. آنها را نمی توان با مقادیر "درست" و "نادرست" ارزیابی کرد.

برعکس، گزاره‌ها را می‌توان به‌عنوان مقادیری در نظر گرفت که می‌توانند به دو معنی «درست» و «نادرست» باشند.

به عنوان مثال، قضاوت های زیر داده می شود: "سگ حیوان است"، "پاریس پایتخت ایتالیا است"، "3

اولین مورد از این گزاره ها را می توان با نماد "درست"، دوم با "نادرست"، سوم با "درست" و چهارم با "نادرست" ارزیابی کرد. این تفسیر از گزاره ها موضوع جبر گزاره ای است. ما عبارات را با حروف بزرگ نشان خواهیم داد با حروف لاتین الف, ب، ... و معانی آنها به ترتیب درست و نادرست وو L. در گفتار معمولی، ارتباط بین عبارات "و"، "یا" و دیگران استفاده می شود.

این ارتباطات با اتصال عبارات مختلف به یکدیگر اجازه می دهد تا عبارات جدیدی را تشکیل دهند - اظهارات پیچیده . به عنوان مثال، رابط "و". بگذارید اظهارات داده شود: " π بیش از 3" و بیانیه " π کمتر از 4". شما می توانید یک عبارت جدید - پیچیده را سازماندهی کنید " π بیش از 3 و π کمتر از 4". بیانیه "اگر π پس غیر منطقی π ² نیز غیرمنطقی است" با اتصال دو عبارت با همبند "اگر - آنگاه" به دست می آید و در نهایت، می توانیم با انکار گزاره اصلی، یک عبارت جدید - یک گزاره پیچیده - بدست آوریم.

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

بگذارید دو عبارت دلخواه داده شود الفو ب.

1 . اولین عملیات منطقی روی این عبارات - پیوند - نشان دهنده تشکیل یک دستور جدید است که به آن اشاره می کنیم. الف ∧ بو اگر و فقط اگر درست است الفو بدرست هستند. در گفتار معمولی، این عملیات مربوط به ارتباط عبارات با پیوند "و" است.

جدول حقیقت برای پیوند:

2 . دومین عملیات منطقی روی عبارات الفو ب- تفکیک به صورت الف ∨ ب، به صورت زیر تعریف می شود: درست است اگر و فقط اگر حداقل یکی از عبارات اصلی درست باشد. در گفتار معمولی، این عملیات مربوط به اتصال عبارات با پیوند "یا" است. با این حال، در اینجا ما یک "یا" غیرقابل تقسیم داریم که به معنای "یا یا" درک می شود که الفو بهر دو نمی توانند درست باشند در تعریف منطق گزاره ای الف ∨ بدرست است اگر فقط یکی از گزاره ها درست باشد و اگر هر دو گزاره درست باشند الفو ب.

جدول حقیقت برای تفکیک:

3 . سومین عملیات منطقی روی عبارات الفو ب، بیان شده است الف → ب; گزاره ای که به این ترتیب به دست می آید اگر و فقط اگر نادرست است الفدرست است، اما بنادرست الفتماس گرفت توسط بسته , ب - نتیجه ، و بیانیه الف → ب - دنبال کردن ، ضمنی نیز نامیده می شود. در گفتار معمولی، این عملیات با پیوند "اگر-آنگاه" مطابقت دارد: "اگر الف، آن باما در تعریف منطق گزاره ای، این گزاره صرف نظر از درست یا نادرست بودن گزاره همیشه صادق است. ب. این شرایط را می توان به اختصار اینگونه بیان کرد: «از باطل همه چیز حاصل می شود». به نوبه خود، اگر الفدرست است، اما بنادرست است، پس کل بیانیه الف → بنادرست اگر و فقط اگر درست خواهد بود الف، و بدرست هستند. به طور خلاصه، این را می توان به صورت زیر فرموله کرد: "کاذب نمی تواند از حقیقت حاصل شود."

جدول حقیقتی که باید دنبال شود (پیمایش):

4 . چهارمین عملیات منطقی روی گزاره ها، به طور دقیق تر روی یک گزاره، نفی یک گزاره نامیده می شود الفو با ~ نشان داده می شود الف(همچنین می توانید از نماد ~ استفاده نکنید، بلکه از نماد ¬ و همچنین یک امتیاز اضافی در بالا استفاده کنید الف). ~ الفزمانی وجود دارد که نادرست است الفدرست است و زمانی درست است الفنادرست

جدول حقیقت برای نفی:

5 . و در نهایت پنجمین عملیات منطقی روی گزاره ها را هم ارزی می نامند و نشان می دهند الف ↔ ب. بیانیه حاصل الف ↔ بیک جمله درست است اگر و فقط اگر الفو بهر دو درست هستند یا هر دو نادرست.

جدول حقیقت برای معادل سازی:

اکثر زبان های برنامه نویسی دارای نمادهای خاصی برای نشان دادن معانی منطقی عبارات هستند که تقریباً در همه زبان ها به صورت صحیح و نادرست نوشته می شوند.

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

اجازه دهید در جدول زیر نام ها، نمادها و معنای عملیات منطقی روی دستورات را سیستماتیک کنیم (به زودی دوباره به آنها برای حل مثال ها نیاز خواهیم داشت).

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

مثال 1.

1) (2 = 2) و (7 = 7) ;

2) Not(15;

3) ("کاج" = "بلوط") یا ("گیلاس" = "افرا");

4) نه ("کاج" = "بلوط") ;

5) (نه (15 20) ;

6) ("چشم داده شده برای دیدن") و ("زیر طبقه سوم طبقه دوم است");

7) (6/2 = 3) یا (7*5 = 20) .

1) منظور از عبارت در پرانتز اول "درست" است، معنای عبارت در پرانتز دوم نیز صادق است. هر دو عبارت با عملیات منطقی "AND" به هم متصل می شوند (قوانین این عملیات را در بالا ببینید)، بنابراین ارزش منطقی کل این عبارت "درست" است.

2) منظور از عبارت داخل پرانتز «نادرست» است. قبل از این گزاره یک عملیات منطقی نفی وجود دارد، بنابراین معنای منطقی کل این گزاره «صحیح» است.

3) منظور از عبارت داخل کروشه اول «نادرست» است، معنای عبارت داخل کروشه دوم نیز «نادرست» است. عبارات با عملیات منطقی "OR" به هم متصل می شوند و هیچ یک از عبارات مقدار "true" را ندارند. بنابراین، معنای منطقی کل این بیانیه "کاذب" است.

4) منظور از عبارت داخل پرانتز «نادرست» است. پیش از این بیان، عملیات منطقی نفی است. بنابراین، معنای منطقی کل این بیانیه «درست» است.

5) عبارت داخل پرانتز در اولین کروشه نفی می شود. این گزاره در داخل پرانتز به معنای «کاذب» است، بنابراین نفی آن معنای منطقی «درست» خواهد داشت. عبارت داخل پرانتز دوم به معنای «نادرست» است. این دو عبارت با عملیات منطقی "AND" به هم متصل می شوند، یعنی "درست و نادرست" به دست می آید. بنابراین، معنای منطقی کل این بیانیه "کاذب" است.

6) منظور از عبارت داخل کروشه اول «درست» است، معنای عبارت داخل کروشه دوم نیز «صحیح» است. این دو عبارت با عملیات منطقی "AND" به هم متصل می شوند، یعنی "واقعی و حقیقت" به دست می آید. بنابراین، معنای منطقی کل عبارت داده شده "درست" است.

7) منظور از عبارت در پرانتز اول "درست" است. منظور از عبارت داخل پرانتز دوم «نادرست» است. این دو عبارت با عملیات منطقی "OR" به هم متصل می شوند، یعنی نتیجه "درست یا نادرست" است. بنابراین، معنای منطقی کل عبارت داده شده "درست" است.

مثال 2.جملات پیچیده زیر را با استفاده از عملیات منطقی بنویسید:

1) "کاربر ثبت نام نشده است"؛

2) "امروز یکشنبه است و برخی از کارمندان سر کار هستند";

3) "کاربر در صورتی ثبت می شود که داده های ارسالی توسط کاربر معتبر تلقی شود."

1) ص- عبارت واحد "کاربر ثبت شده است"، عملیات منطقی: ;

2) ص- بیانیه واحد "امروز یکشنبه است" q- «بعضی از کارمندان سر کار هستند»، عملیات منطقی: ;

3) ص- بیانیه واحد "کاربر ثبت شده است" q- "داده های ارسال شده توسط کاربر معتبر یافت شد"، عملیات منطقی: .

نمونه هایی از منطق گزاره ای را خودتان حل کنید و سپس به راه حل ها نگاه کنید

مثال 3.مقادیر منطقی عبارات زیر را محاسبه کنید:

1) ("70 ثانیه در یک دقیقه وجود دارد") یا ("یک ساعت در حال اجرا زمان را نشان می دهد");

2) (28 > 7) و (300/5 = 60) ;

3) ("تلویزیون - وسیله برقی") و ("شیشه - چوب");

4) Not((300 > 100) OR ("شما می توانید تشنگی خود را با آب رفع کنید"));

5) (75 < 81) → (88 = 88) .

مثال 4.جملات پیچیده زیر را با استفاده از عملیات منطقی بنویسید و مقادیر منطقی آنها را محاسبه کنید:

1) "اگر ساعت زمان را اشتباه نشان می دهد، ممکن است در زمان اشتباه به کلاس برسید"؛

2) "در آینه می توانید انعکاس خود و پاریس، پایتخت ایالات متحده آمریکا را ببینید".

مثال 5.مقدار بولی یک عبارت را تعیین کنید

(ص → q) ↔ (r → س) ,

ص = "278 > 5" ,

q= "سیب = پرتقال",

ص = "0 = 9" ,

س= "کلاه سر را می پوشاند".

فرمول های منطق گزاره ای

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

در مثال های 1 و 2 یاد گرفتیم که عبارات پیچیده را با استفاده از عملیات منطقی بنویسیم. در واقع به آنها فرمول های منطق گزاره ای می گویند.

برای نشان دادن عبارات، مانند مثال ذکر شده، ما همچنان از حروف استفاده می کنیم

ص, q, r, ..., ص 1 , q 1 , r 1 , ...

این حروف نقش متغیرهایی را ایفا می کنند که مقادیر true و true و false را به عنوان مقادیر در نظر می گیرند. به این متغیرها متغیرهای گزاره ای نیز می گویند. در ادامه با آنها تماس خواهیم گرفت فرمول های ابتدایی یا اتم ها .

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

~, ∧, ∨, →, ↔,

و همچنین نمادهایی که امکان خواندن بدون ابهام فرمول ها را فراهم می کند - براکت چپ و راست.

مفهوم فرمول های منطق گزاره ای بیایید آن را به صورت زیر تعریف کنیم:

1) فرمول های ابتدایی (اتم ها) فرمول های منطق گزاره ای هستند.

2) اگر الفو ب- فرمول های منطق گزاره ای، سپس ~ الف , (الف ∧ ب) , (الف ∨ ب) , (الف → ب) , (الف ↔ ب) نیز فرمول های منطق گزاره ای هستند;

3) فقط آن عبارات فرمول های منطق گزاره ای هستند که این از 1) و 2 نتیجه می شود.

تعریف فرمول منطق گزاره ای شامل فهرستی از قوانین تشکیل این فرمول ها است. طبق تعریف، هر فرمول منطقی گزاره‌ای یا یک اتم است یا از اتم‌ها در نتیجه به کارگیری منسجم قانون 2 تشکیل شده است.

مثال 6.اجازه دهید ص- جمله واحد (اتم) "همه اعداد گویا واقعی هستند" q- "برخی از اعداد واقعی اعداد گویا هستند" r- "برخی از اعداد گویا واقعی هستند." فرمول های منطق گزاره ای زیر را به صورت گزاره های کلامی ترجمه کنید:

6) .

1) "هیچ اعداد واقعی که گویا باشند وجود ندارد"؛

2) "اگر همه اعداد گویا واقعی نیستند، پس خیر اعداد گویا، که معتبر هستند"؛

3) «اگر همه اعداد گویا حقیقی باشند، برخی از اعداد حقیقی اعداد گویا و برخی از اعداد گویا واقعی هستند».

4) «همه اعداد حقیقی اعداد گویا و برخی اعداد حقیقی اعداد گویا و برخی اعداد گویا اعداد حقیقی هستند».

5) «همه اعداد گویا حقیقی هستند اگر و فقط اگر اینطور نباشد که همه اعداد گویا واقعی نباشند».

6) «اینطور نیست که همه اعداد گویا حقیقی نباشند و اعداد حقیقی گویا یا اعداد گویا وجود نداشته باشند».

مثال 7.یک جدول صدق برای فرمول منطق گزاره ای ایجاد کنید ، که در جدول قابل تعیین است f .

راه حل. با ثبت مقادیر ("درست" یا "نادرست") برای گزاره های منفرد (اتم ها) شروع به جمع آوری جدول صدق می کنیم. ص , qو r. تمام مقادیر ممکن در هشت ردیف جدول نوشته شده است. علاوه بر این، هنگام تعیین مقادیر عملیات ضمنی و حرکت به سمت راست در جدول، به یاد می‌آوریم که وقتی «نادرست» از «درست» آمده است، مقدار برابر با «نادرست» است.

توجه داشته باشید که هیچ اتمی شکل ~ را ندارد الف , (الف ∧ ب) , (الف ∨ ب) , (الف → ب) , (الف ↔ ب) . فرمول های پیچیده این نوع را دارند.

اگر آن را بپذیریم، تعداد پرانتزها در فرمول های منطق گزاره ای کاهش می یابد

1) در فرمول پیچیدهما جفت بیرونی براکت ها را حذف می کنیم.

2) بیایید علائم عملیات منطقی را "به ترتیب تقدم" ترتیب دهیم:

↔, →, ∨, ∧, ~ .

در این لیست علامت ↔ بیشترین دامنه و علامت ~ کمترین دامنه را دارد. دامنه یک علامت عملیاتی به آن بخشهایی از فرمول منطق گزاره ای اطلاق می شود که وقوع این علامت مورد نظر در مورد آنها اعمال می شود (که بر اساس آن عمل می کند). بنابراین، در هر فرمولی می توان جفت براکت هایی را که می توان بازیابی کرد، با در نظر گرفتن "ترتیب تقدم" حذف کرد. و هنگام بازگردانی پرانتز ابتدا تمام پرانتزهای مربوط به همه رخدادهای علامت ~ قرار می گیرند (از چپ به راست حرکت می کنیم) سپس به همه رخدادهای علامت ∧ و غیره.

مثال 8.پرانتزها را در فرمول منطق گزاره ای بازیابی کنید ب ↔ ~ سی ∨ D ∧ الف .

راه حل. براکت ها گام به گام به شرح زیر بازیابی می شوند:

ب ↔ (~ سی) ∨ D ∧ الف

ب ↔ (~ سی) ∨ (D ∧ الف)

ب ↔ ((~ سی) ∨ (D ∧ الف))

(ب ↔ ((~ سی) ∨ (D ∧ الف)))

هر فرمول منطقی گزاره ای را نمی توان بدون پرانتز نوشت. مثلا در فرمول ها الف → (ب → سی) و ~( الف → ب) حذف بیشتر براکت ها امکان پذیر نیست.

توتولوژی ها و تضادها

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

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

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

معنای مخالف یک تناقض منطقی است. اگر همه مقادیر عبارات برابر با 0 باشند، عبارت یک تناقض منطقی است.

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

علاوه بر توتولوژی ها و تضادهای منطقی، فرمول هایی از منطق گزاره ای وجود دارد که نه توتولوژی هستند و نه تناقض.

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

راه حل. بیایید یک جدول حقیقت ایجاد کنیم:

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

عقب به جلو

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

• آموزشی: گسترش درک دانش آموزان از جبر گزاره ای، معرفی عملیات منطقی و جداول صدق.
• رشدی:
توانایی دانش آموزان را برای کار با مفاهیم و نمادهای منطق ریاضی توسعه دهید. ادامه شکل گیری تفکر منطقی؛ توسعه فعالیت های شناختی؛ گسترش افق دید دانش آموزان
• آموزشی:
توانایی بیان عقیده خود را توسعه دهید؛ مهارت های کار مستقل را تقویت کنید

نوع درس: درس ترکیبی - توضیح مطالب جدید و به دنبال آن تجمیع دانش به دست آمده.

مدت زمان درس: 40 دقیقه

پایه مادی و فنی:

• تخته سفید تعاملی برد هوشمند.
• برنامه MS Windows - پاورپوینت 2007.
• نسخه ای از درس الکترونیک تهیه شده توسط معلم (ارائه در پاورپوینت 2007).
• کارت های وظیفه تهیه شده توسط معلم.

طرح درس:

من لحظه سازمانی- 1 دقیقه

II. تعیین اهداف درس - 2 دقیقه.

III. به روز رسانی دانش - 9 دقیقه.

IV. ارائه مطالب جدید - 15 دقیقه.

V. ادغام مطالب مورد مطالعه - 8 دقیقه.

VI. بازتاب "جملات ناتمام" - 3 دقیقه.

VII. نتیجه گیری تکالیف - 2 دقیقه.

پیشرفت درس

I. لحظه سازمانی.

با سلام و احترام به غایبان کلاس.

اسلاید 1

ما به مطالعه بخش ادامه می دهیم "زبان منطقی". امروز درس ما به موضوع "گزاره های منطقی" اختصاص دارد. بیایید با بررسی شروع کنیم مشق شب(اشعار دانش آموزان خوانده می شود که حاوی پیوندهای منطقی (عملیات) بسیاری است و نتیجه می گیرد که اطلاعات دلخواه را می توان بدون ابهام بر اساس جبر منطق تفسیر کرد).

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

III. به روز رسانی دانش (پیمایش پیشانی).

تکلیف 1. کار با کارت ها (به سؤالات پرسیده شده پاسخ های مختصری بدهید).

• انواع جملات (ساده و پیچیده)
• کدام یک از جملات زیر عبارت هستند؟
• سلام!
• بدیهیات نیازی به اثبات ندارد.
• باران می بارد.
• دمای بیرون چقدر است؟
• روبل واحد پولی روسیه است.
• شما حتی نمی توانید یک ماهی را بدون مشکل از برکه بیرون بکشید.

عدد 2 مقسوم علیه عدد 9 نیست.

• عدد x از 2 بیشتر نیست.
• 7. درستی یا نادرستی عبارت را مشخص کنید:
• علوم کامپیوتر در دوره دبیرستان تحصیل می شود.
• مربع هیپوتانوس برابر است با مجموع مربع های پاها.
• مجموع زوایای یک مثلث 1900 است.
• 12+14 > 30.
• پنگوئن ها در قطب شمال زمین زندگی می کنند.
• 23+12=5*7.

پس بیانیه چیست؟ (جمله ای که می توان گفت درست یا نادرست است.)

یک جمله ساده چیست؟ (یک عبارت ساده (ابتدی) نامیده می شود که هیچ بخشی از آن عبارت نباشد.)

گزاره مرکب چیست؟ (یک دستور مرکب شامل جملات ساده ای است که با اتصالات منطقی (عملیات) به هم متصل شده اند.)

وظیفه 2.جملات مرکب را از جملات ساده بسازید: "الف = پتیا در حال خواندن کتاب است"، "ب = پتیا در حال نوشیدن چای است." (روی صفحه - اسلاید 2)

به کار خود ادامه دهیم.

وظیفه 3.در عبارات زیر، عبارات ساده را برجسته کنید و هر یک از آنها را با یک حرف نشان دهید:

1. در زمستان، کودکان به اسکیت روی یخ یا اسکی می روند. (اسلاید 3)
2. این درست نیست که خورشید به دور زمین حرکت می کند. (اسلاید 4)
3. عدد 15 بر 3 بخش پذیر است اگر و تنها در صورتی که مجموع ارقام 15 بر 3 بخش پذیر باشد. (اسلاید 5)
4. اگر دیروز یکشنبه بود، پس دیما دیروز در مدرسه نبود و تمام روز را پیاده روی می کرد. (اسلاید 6)

IV. ارائهمواد جدید

در کارهای قبلی، از اتصالات منطقی مختلفی استفاده می شد: "و"، "یا"، "نه"، "اگر: سپس:"، "اگر و فقط اگر:". در منطق جبر، اتصالات منطقی و عملیات منطقی مربوطه دارای اسامی خاص هستند. بیایید 3 عملیات منطقی اساسی را در نظر بگیریم - وارونگی، ربط و تفکیک، که با کمک آنها می توانید عبارات ترکیبی را بدست آورید. (اسلاید 7)

هر عملیات منطقی با جدولی به نام جدول حقیقت تعریف می شود. جدول حقیقت یک عبارت منطقی جدولی است که در آن تمام ترکیبات ممکن از مقادیر داده های منبع در سمت چپ و در سمت راست - مقدار عبارت برای هر ترکیب نوشته می شود.

نفی یک عملیات منطقی است که هر عبارت ساده (ابتدایی) را با یک عبارت جدید مرتبط می کند که معنای آن مخالف عبارت اصلی است. ( اسلاید 8)

بیایید قاعده ساختن نفی یک جمله ساده را در نظر بگیریم.

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

وظیفه 4.یک وارونگی (نفی) به یک عبارت ساده بسازید:

1. A = من یک کامپیوتر در خانه دارم. ( اسلاید 9)
2. الف = همه پسران کلاس یازدهم دانش آموزان ممتاز هستند.
3. آیا این بیانیه نفی خواهد بود: "همه پسران کلاس یازدهم دانش آموزان ممتاز نیستند." ( اسلاید 10)

جمله «همه پسران کلاس یازدهم دانش‌آموز ممتاز نیستند» رد این جمله نیست که «همه پسران کلاس یازدهم دانش‌آموز ممتاز هستند». جمله "همه پسران پایه یازدهم دانش آموزان ممتاز هستند" نادرست است و نفی عبارت نادرست باید یک گزاره صحیح باشد. اما جمله "همه پسران کلاس یازدهم دانش آموزان ممتاز نیستند" درست نیست، زیرا در بین دانش آموزان کلاس یازدهم هم دانش آموزان ممتاز و هم دانش آموزان غیر ممتاز وجود دارند.

نفی را می توان به صورت گرافیکی به عنوان یک مجموعه نشان داد. ( اسلاید 11)

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

ربط- یک عملیات منطقی که هر دو عبارت ابتدایی را با یک گزاره جدید مرتبط می کند، که اگر و تنها در صورتی درست باشد که هر دو عبارت اولیه درست باشند. ( اسلاید 12)

از نظر گرافیکی، یک ربط را می توان به عنوان یک مجموعه نشان داد. ( اسلاید 13)

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

تفکیک- یک عملیات منطقی که هر دو عبارت ابتدایی را با یک دستور جدید مرتبط می کند، که اگر و فقط اگر هر دو گزاره اولیه نادرست باشند نادرست است. ( اسلاید 14)

از نظر گرافیکی، یک تفکیک را می توان به عنوان یک مجموعه نشان داد. ( اسلاید 15)

بنابراین، سه عملیات اساسی که آموخته ایم چیست؟ ( اسلاید 16)

بیایید سعی کنیم دانش جدید خود را هنگام تکمیل آزمون به کار ببریم.

V. تلفیق مطالب مورد مطالعه (کار در هیئت مدیره).

وظیفه 5. نمودار و تعیین آن را مطابقت دهید. اسلاید 17)

وظیفه 6. دو عبارت ساده وجود دارد: A = "عدد 10 زوج است"، B = "گرگ یک گیاهخوار است." تمام گزاره های ترکیبی ممکن را از آنها بسازید و صدق آنها را مشخص کنید.

جواب: 1-2; 2-6; 3-5; 4-1; 5-4; 6-3; 7-7.

وظیفه 8. دو عبارت ساده داده می شود: A = "روبل واحد پول روسیه است"، B = "هریونا واحد پول ایالات متحده است." کدام اظهارات درست است؟

4)A v B

پاسخ ها: 1) 0; 2) 1; 3) 0؛ 4) 1.

VI. انعکاس "جملات ناتمام."

• درس را جالب دیدم زیرا:
• آنچه در مورد درس بیشتر دوست داشتم:
• چیزی که برای من تازگی داشت این بود:

VII. نتیجه گیری مشق شب.

کار کلاس به عنوان یک کل و تک تک دانش آموزانی که در درس برتر بودند ارزیابی می شوند.

تکالیف:

1) تعاریف اولیه را بیاموزید، نمادها را بدانید.

۲) جملات ساده را بیان کنید. (در مجموع باید 5 مجموعه از دو عبارت وجود داشته باشد). از آنها انواع گزاره های مرکب را بنویسید و صدق آنها را مشخص کنید.

لیست مواد استفاده شده:

1. علوم کامپیوتر و ICT. کلاس 10-11. سطح نمایه
2. قسمت 1: کلاس دهم: کتاب درسی موسسات آموزش عمومی / M.E. فیوشین، ع.ا. Ressin - M.: Bustard، 2008
3. مبانی ریاضی علوم کامپیوتر. کتاب درسی /E.V. آندریوا، ال.ال. بوسووا، I.N. فالینا - م.: BINOM. آزمایشگاه دانش، 1386
4. مواد از معلم علوم کامپیوتر N.P. Pospelova، موسسه آموزشی شهری مدرسه متوسطه شماره 22، سوچی

بخش هایی از ارائه توسط معلم علوم کامپیوتر K.Yu. هر فرد فردی است باپارامترهای مختلف که مانند پر کردن کامپیوتر هستند، می توانند عملیات مختلفی را در آن انجام دهندزمان های مختلف

. یک شخص مطمئناً یک رایانه نیست، او بسیار باحال تر است، حتی اگر مدرن ترین رایانه باشد.

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

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

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

زندگی چنین چیزی است، مثل مردی است که برای یافتن الماس سنگ معدن را بیل می کند! الماس چیست؟ این انگیزه ای است که به ما می دهد تا در این دنیا عمل کنیم، اما فیوزهای انگیزه دائماً در حال آب شدن هستند، ما باید انگیزه خود را سوخت گیری کنیم تا بتوانیم به طور مؤثر عمل کنیم. انگیزه از کجا می آید؟ سنگ بنا اطلاعات است، اطلاعات صحیح مانند فنر فشرده است، اگر درست بپذیریم فنر منبسط می شود و دقیقا به سمت هدف شلیک می کند و خیلی سریع به هدف می رسیم. اگر با انگیزه نادرست رفتار کنیم، پس چرا، پس بهار به پیشانی شلیک می کند. چرا این اتفاق می افتد؟ زیرا نیت درونی ما اساس این است که چرا عمل می کنیم، چه چیزی می خواهیم به دست آوریم و آیا اقدامات با انگیزه ما به دیگران آسیب می رساند یا خیر! در این مقاله من بیشترین را جمع آوری کرده امو موقعیت ها، همانطور که در مورد همه زمان ها و مردمان می گویند. اما مطمئناً این شما هستید که انتخاب کنید چه چیزی بیشتر شما را جذب کند. در ضمن، بیایید راحت شویم، چهره بسیار باهوشی به تن کنیم، تمام وسایل ارتباطی را خاموش کنیم و فقط از خرد شاعران، هنرمندان و فقط لوله کش ها لذت ببریم!

U
من و نقل قول های عاقلانهو گفته هایی در مورد زندگی

داشتن دانش کافی نیست، باید آن را به کار گرفت. آرزو کردن کافی نیست، باید عمل کرد.

و من در راه درست هستم. من ایستاده ام اما باید بریم

کار کردن روی خودتان سخت ترین کار است، بنابراین افراد کمی آن را انجام می دهند.

شرایط زندگی نه تنها با اعمال خاص، بلکه بر اساس ماهیت افکار یک فرد شکل می گیرد. اگر با دنیا دشمنی داشته باشی، آن هم به تو جواب می دهد. اگر دائماً نارضایتی خود را ابراز کنید، دلایل بیشتری برای این امر وجود خواهد داشت. اگر منفی گرایی در نگرش شما نسبت به واقعیت غالب شود، آنگاه جهان بدترین سمت خود را به سمت شما خواهد گرفت. برعکس، نگرش مثبت به طور طبیعی زندگی شما را به سمت بهتر شدن تغییر خواهد داد. انسان آنچه را که انتخاب می کند به دست می آورد. این واقعیت است، چه بخواهید چه نخواهید.

فقط به این دلیل که توهین شده ای به این معنی نیست که حق با شماست

سال به سال، ماه به ماه، روز از نو، ساعت به ساعت، دقیقه به دقیقه و حتی ثانیه به ثانیه - زمان بدون توقف لحظه ای پرواز می کند. هیچ نیرویی نمی تواند این اجرا را قطع کند. تنها کاری که می‌توانیم انجام دهیم این است که زمان را به طور مفید، سازنده صرف کنیم یا آن را به روشی مضر هدر دهیم. این انتخاب با ماست. تصمیم در دست ماست

تحت هیچ شرایطی امید خود را از دست ندهید. احساس ناامیدی اینجاست دلیل واقعیشکست ها به یاد داشته باشید که می توانید بر هر مشکلی غلبه کنید.

انسان طوری طراحی شده است که وقتی چیزی روحش را روشن می کند همه چیز ممکن می شود. ژان دو لافونتن

هر چیزی که الان برای شما اتفاق می افتد، زمانی خودتان را خلق کرده اید. وادیم زلاند

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

ما برده عادات خود هستیم. عادات خود را تغییر دهید، زندگی شما تغییر خواهد کرد. رابرت کیوساکی

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

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

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

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

من واقعاً برای دو چیز ارزش قائل هستم - نزدیکی معنوی و توانایی ایجاد شادی. ریچارد باخ

دعوا با دیگران فقط یک ترفند برای جلوگیری از کشمکش درونی است. اوشو

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

شعار زندگی خوب کمک به خود است.

عاقل کسی نیست که زیاد می‌داند، بلکه کسی است که علمش مفید باشد. آیسخولوس

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

کسی که در درون خود فرمانروایی می کند و بر امیال و امیال و ترس های خود مسلط است بیش از یک پادشاه است. جان میلتون

هر مردی در نهایت زنی را انتخاب می کند که بیشتر از او به او ایمان داشته باشد.

یک روز بنشین و به آنچه روحت می خواهد گوش بده؟

ما اغلب به روح گوش نمی دهیم، از روی عادت عجله داریم که به جایی برسیم.

شما در جایی هستید که هستید و به دلیل برداشتی که از خود دارید، چه کسی هستید. طرز فکر خود را در مورد خود تغییر دهید و زندگی خود را تغییر خواهید داد. برایان تریسی

زندگی سه روز است: دیروز، امروز و فردا. دیروز گذشته است و شما چیزی را در مورد آن تغییر نخواهید داد، فردا هنوز نیامده است. بنابراین سعی کنید امروز محترمانه عمل کنید تا پشیمان نشوید.

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

همیشه صورت خود را نشان دهید نور خورشیدو سایه ها پشت سرت خواهند بود والت ویتمن

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

مردم هرگز به طور کامل از نقاط قوت خود برای رسیدن به خوبی در زندگی استفاده نمی کنند، زیرا آنها به نیرویی بیرونی از خود امیدوارند - آنها امیدوارند که آنچه که خودشان مسئول آن هستند انجام دهد.

هرگز به گذشته برنگرد. وقت گرانبهای شما را می کشد. یک جا نمان. افرادی که به شما نیاز دارند به شما خواهند رسید.

وقت آن است که افکار بد را از سر خود بیرون کنید.

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

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

چقدر مردم از سر حماقت یا تنبلی شادی خود را از دست می دهند.

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

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

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

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

هر چقدر هم که کلمات شما زیبا باشند، با اعمالتان قضاوت خواهید شد.

به گذشته فکر نکن، دیگر آنجا نخواهی بود.

بگذار بدنت در حرکت باشد، ذهنت در آرامش باشد و روحت به شفافیت دریاچه ای کوهستانی باشد.

کسی که مثبت فکر نمی کند از زندگی بیزار است.

خوشبختی به خانه نمی آید، جایی که روز از نو ناله می کنند.

گاهی اوقات، شما فقط باید کمی استراحت کنید و به خود یادآوری کنید که چه کسی هستید و چه کسی می خواهید باشید.

نکته اصلی در زندگی این است که یاد بگیریم تمام پیچ و تاب های سرنوشت را به زیگزاگ های شانس تبدیل کنیم.

اجازه ندهید چیزی از شما خارج شود که به دیگران آسیب برساند. اجازه ندهید چیزی وارد شما شود که به شما آسیب برساند.

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

استاتوس هایی درباره زندگی سخنان حکیمانه

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

مهمترین چیز در زندگی این است که خودت، مال خودت و مال خودت را پیدا کنی.

در هر کس حقیقتی وجود ندارد، خیر کمی است.

در جوانی ما به دنبال بدنی زیبا هستیم، در طول سالها به دنبال جفت روح خود هستیم. وادیم زلاند

مهم این است که انسان چه کاری انجام می دهد، نه آنچه می خواهد انجام دهد. ویلیام جیمز

همه چیز در این زندگی مانند بومرنگ برمی گردد، بدون شک.

همه موانع و مشکلات پله هایی هستند که در امتداد آنها به سمت بالا رشد می کنیم.

همه می دانند چگونه عاشق شوند، زیرا این هدیه را در بدو تولد دریافت می کنند.

هر چیزی که به آن توجه می کنید رشد می کند.

هر چیزی که انسان فکر می کند در مورد دیگران می گوید، در واقع در مورد خودش می گوید.

وقتی دو بار وارد یک آب می‌شوید، فراموش نکنید که چه چیزی باعث شد بار اول از آن خارج شوید.

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

از مدار زمان خارج شوید و وارد مدار عشق شوید. هوگو وینکلر

حتی عیوب را می توان پسندید که روح در آنها متجلی باشد.

حتی فرد معقولاگر خودش را اصلاح نکند، احمق خواهد شد.

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

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

شعار روز من حالم خوب است، اما از این هم بهتر خواهد شد! D جولیانا ویلسون

هیچ چیز با ارزش تر از روح تو در دنیا وجود ندارد. دانیل شلابارگر

اگر در درون پرخاشگری وجود داشته باشد، زندگی به شما "حمله" خواهد کرد.

اگر در درون میل به مبارزه دارید، رقیبی خواهید داشت.

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

اگر در درونتان ترس دارید، زندگی شما را می ترساند.

اگر از درون احساس گناه می کنید، زندگی راهی برای "تنبیه" شما پیدا می کند.

اگر احساس بدی دارم، پس این دلیلی برای ایجاد رنج برای دیگران نیست.

اگر می خواهید فردی را پیدا کنید که بتواند بر هر سختی، حتی سخت ترین، غلبه کند و شما را خوشحال کند در حالی که هیچ کس دیگری نمی تواند، فقط به آینه نگاه کنید و بگویید "سلام".

اگر چیزی را دوست ندارید، آن را تغییر دهید. اگر وقت کافی ندارید خیره شدن به تلویزیون را متوقف کنید.

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

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

اگر برای کسی شمعی روشن کنی راه تو را هم روشن می کند.

اگر می خواهید افراد خوب اطرافتان باشند، مردم خوب، - سعی کنید با آنها با دقت، مهربانی، مودبانه رفتار کنید - خواهید دید که همه بهتر خواهند شد. همه چیز در زندگی به شما بستگی دارد، باور کنید.

اگر انسان بخواهد کوهی را روی کوه می گذارد

زندگی یک حرکت ابدی است، تجدید و توسعه دائمی، از نسلی به نسل دیگر، از نوزادی تا خرد، حرکت ذهن و آگاهی.

زندگی شما را همانطور که هستید از درون می بیند.

اغلب فردی که شکست می خورد بیشتر از کسی که فوراً موفق می شود، در مورد چگونگی برنده شدن می آموزد.

خشم بی فایده ترین احساسات است. مغز را از بین می برد و به قلب آسیب می رساند.

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

و همه اینها با یک هدف به شما نشان دهد که چه هستید، چه چیزی در روح خود حمل می کنید.

هر بار که می خواهید به همان شیوه قدیمی واکنش نشان دهید، از خود بپرسید که آیا می خواهید زندانی گذشته باشید یا پیشگام آینده.

همه یک ستاره هستند و حق درخشش را دارند.

مشکل شما هر چه باشد، علت آن در الگوی تفکر شما نهفته است و هر الگوی قابل تغییر است.

وقتی نمی دانید چه کاری انجام دهید، مانند یک انسان رفتار کنید.

هر سختی عقل می دهد.

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

معیار سلامت روان، تمایل به یافتن خوبی در هر چیزی است.

دنیا پر از سرنخ است، مراقب نشانه ها باشید.

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

زیاد حرف زدن و زیاد گفتن یکی نیست.

ما همه چیز را آنطور که هست نمی بینیم - ما همه چیز را همانطور که هستیم می بینیم.

مثبت فکر کنید، اگر مثبت نتیجه ندهد، یک فکر نیست. مرلین مونرو

آرامش آرام را در سر خود و عشق را در قلب خود بیابید. و مهم نیست در اطراف شما چه اتفاقی می افتد، اجازه ندهید چیزی این دو چیز را تغییر دهد.

همه ما منجر به تغییرات مثبت در زندگی ما نمی شود، اما مطمئنا نمی توانیم بدون انجام کاری به خوشبختی برسیم.

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

کتاب زندگیت را تبدیل به نوحه نکن.

برای دور کردن لحظات تنهایی عجله نکنید. شاید این بزرگترین هدیه جهان باشد - برای مدتی از شما در برابر هر چیز غیر ضروری محافظت می کند تا به شما اجازه دهد که خودتان شوید.

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

شما نمی توانید چیزی را که ندارید ببخشید. اگر خودتان ناراضی باشید نمی توانید دیگران را خوشحال کنید.

شما نمی توانید کسی را که تسلیم نمی شود شکست دهید.

بدون توهم - بدون ناامیدی. شما باید گرسنه باشید تا قدر غذا را بدانید، سرما را تجربه کنید تا فواید گرما را درک کنید و کودک باشید تا ارزش والدین را ببینید.

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

کینه ها مثل سنگ هستند. آنها را در درون خود احتکار نکنید. در غیر این صورت زیر وزن آنها خواهید افتاد.

یک روز سر کلاس مشکلات اجتماعیاستاد ما کتاب سیاه را برداشت و گفت این کتاب قرمز است.

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

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

بدبین کسی است که وقتی شانس در خانه اش را می زند از سر و صدا شکایت می کند. پتر مامونوف

معنویت واقعی تحمیل نمی شود - فرد مجذوب آن می شود.

به یاد داشته باشید، گاهی اوقات سکوت بهترین پاسخ به سوالات است.

این فقر یا ثروت نیست که مردم را خراب می کند، بلکه حسادت و طمع است.

درستی مسیری که انتخاب می کنید به میزان خوشحالی شما در هنگام قدم زدن در آن تعیین می شود.

نقل قول های انگیزشی

بخشش گذشته را تغییر نمی دهد، اما آینده را آزاد می کند.

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

مهمترین چیز هماهنگی در روح شما است، زیرا قادر است از هیچ شادی ایجاد کند.

کلمه "غیر ممکن" پتانسیل شما را مسدود می کند، در حالی که سوال "چگونه می توانم این کار را انجام دهم؟" باعث می شود مغز به بهترین شکل کار کند.

حرف باید درست باشد، عمل باید تعیین کننده باشد.

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

غرور هرگز کسی را به موفقیت رهنمون نشده است. هرچه آرامش در روح بیشتر باشد، همه مسائل آسان تر و سریعتر حل می شود.

برای کسانی که می خواهند ببینند نور کافی و برای کسانی که نمی خواهند تاریکی کافی وجود دارد.

یک راه برای یادگیری وجود دارد - با عمل واقعی. حرف بیهوده بی معنی است.

خوشبختی لباسی نیست که بتوان آن را در فروشگاه خرید یا در آتلیه دوخت.

خوشبختی است هماهنگی درونی. دستیابی به آن از بیرون غیرممکن است. فقط از داخل.

ابرهای تیره با بوسیدن نور به گل های بهشتی تبدیل می شوند.

آنچه در مورد دیگران می گویید آنها را مشخص نمی کند، بلکه شما را مشخص می کند.

آنچه در وجود انسان است بدون شک مهمتر از آنچه که یک شخص دارد.

کسی که می تواند ملایم باشد، قدرت درونی بالایی دارد.

شما آزادید هر کاری که می خواهید انجام دهید - فقط عواقب آن را فراموش نکنید.

او موفق خواهد شد.» خدا به آرامی گفت.

او هیچ شانسی ندارد - شرایط با صدای بلند اعلام شد. ویلیام ادوارد هارتپول لکی

اگر می خواهید در این دنیا زندگی کنید، زندگی کنید و شاد باشید و با چهره ای ناراضی راه نروید که دنیا ناقص است. شما جهان را در سر خود ایجاد می کنید.

آدم هر کاری می تواند بکند. فقط او معمولاً با تنبلی، ترس و اعتماد به نفس پایین مانع می شود.

یک فرد تنها با تغییر دیدگاه خود قادر است زندگی خود را تغییر دهد.

کاری که انسان عاقل در آغاز انجام می دهد، احمق در پایان انجام می دهد.

برای شاد بودن، باید از شر هر چیز غیر ضروری خلاص شوید. از چیزهای غیر ضروری، هیاهوهای غیر ضروری، و مهمتر از همه - از افکار غیر ضروری.

من جسمی نیستم که دارای روح باشد، من روحی هستم که قسمتی از آن نمایان است و بدن نام دارد.

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

بیانیه- جمله ای که از نظر دستوری صحیح است، همراه با معنی (محتوا) که بیان می کند و درست یا نادرست است.

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

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

از بیانیه های فردی به روش های مختلفمی توانید عبارات جدیدی بسازید.

به عنوان مثال، از جملات "باد می وزد" و "باران می آید" می توانید جملات پیچیده تری بسازید: "باد می وزد و باران می آید"، "یا باد می وزد یا باران می آید"، "اگر باران می بارد، پس باد می وزد". "، و غیره.

بیانیه نامیده می شود ساده،مگر اینکه شامل عبارات دیگری به عنوان بخشی از آن باشد.

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

بیایید بیشترین را در نظر بگیریم راه های مهمساخت عبارات پیچیده

بیانیه منفیشامل یک گزاره اولیه و یک نفی است که معمولاً با کلمات "نه"، "این درست نیست" بیان می شود. بنابراین یک گزاره منفی یک گزاره پیچیده است: به عنوان قسمت خود عبارتی متفاوت از آن را شامل می شود. به عنوان مثال، نفی عبارت "10 عدد زوج است" عبارت "10 عدد زوج نیست" است (یا: "این درست نیست که 10 عدد زوج است").

بیایید گزاره ها را با حروف الف، ب، ج،... معنی کامل مفهوم نفی یک گزاره را با این شرط به دست دهیم: اگر گزاره A درست باشد، نفی آن نادرست است و اگر A نادرست باشد، نفی آن صادق است. به عنوان مثال، از آنجایی که «1 یک عدد صحیح مثبت است» درست است، نفی آن «1 عدد صحیح مثبت نیست» نادرست است و از آنجایی که «1 یک عدد اول است» نادرست است، نفی آن «1 عدد اول نیست» است. درست است.

اتصال دو عبارت با استفاده از کلمه "and" یک دستور پیچیده به نام ایجاد می کند پیوند. عباراتی که از این طریق به هم متصل می شوند، «اعضای پیوند» نامیده می شوند.

به عنوان مثال، اگر جملات "امروز گرم است" و "دیروز سرد بود" به این ترتیب ترکیب شوند، ربط "امروز گرم است و دیروز سرد بود" به دست می آید.

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

در زبان معمولی، دو گزاره زمانی که از نظر محتوا یا معنا به یکدیگر مرتبط باشند، با حرف ربط «و» به هم متصل می شوند. ماهیت این ارتباط کاملاً مشخص نیست، اما واضح است که ما حرف ربط «او با کت راه می‌رفت و من به سمت دانشگاه می‌رفتم» را تعبیری تلقی نمی‌کنیم که معنا دارد و می‌تواند درست یا نادرست باشد. اگرچه عبارات "2 عدد اول است" و "مسکو است شهر بزرگدرست است، ما تمایلی نداریم که پیوند آنها را "2 عدد اول است و مسکو یک شهر بزرگ است" درست بدانیم، زیرا عبارات تشکیل دهنده آن از نظر معنی با یکدیگر مرتبط نیستند. منطق با ساده‌سازی معنای ربط و سایر اتصالات منطقی و برای این منظور، کنار گذاشتن مفهوم نامشخص «ارتباط گزاره‌ها با معنا»، معنای این پیوندها را گسترده‌تر و واضح‌تر می‌کند.

اتصال دو عبارت با استفاده از کلمه "یا" می دهد تفکیکاین اظهارات عباراتی که یک تفکیک را تشکیل می دهند «اعضای جدایی» نامیده می شوند. .

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

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

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

تفکیک انحصاری زمانی درست است که فقط یکی از جمله های آن صادق باشد و زمانی نادرست است که هر دو عبارت آن صادق یا هر دو نادرست باشند.

در منطق و ریاضیات، کلمه "یا" تقریباً همیشه به معنای غیر انحصاری استفاده می شود.

بیانیه مشروط -یک عبارت پیچیده که معمولاً با استفاده از پیوند "اگر ... پس ..." فرموله می شود و ثابت می کند که یک رویداد، حالت و غیره به یک معنا مبنای یا شرط دیگری است.

به عنوان مثال: "اگر آتش وجود دارد، پس دود وجود دارد"، "اگر عددی بر 9 بخش پذیر باشد، بر 3 بخش پذیر است" و غیره.

یک دستور شرطی از دو عبارت ساده تر تشکیل شده است. به آن چیزی که قبل از کلمه «اگر» آمده است گفته می شود اساس،یا پیشین(قبلی)، عبارتی که بعد از کلمه «آن» آمده است نامیده می شود نتیجه،یا نتیجه ای(بعدی).

مقصود ما از تصدیق قول شرط اولاً این نیست که آنچه در اساس آن گفته می شود واقع شود و آنچه در نتیجه گفته می شود غایب باشد. به عبارت دیگر، نمی‌توان اتفاق افتاد که مقدم صادق و نتیجة آن باطل باشد.

در یک گزاره شرطی، معمولاً مفاهیم شرط کافی و لازم تعریف می شود: مقدم (زمینه) شرط کافی برای نتیجه (نتیجه) است و نتیجه آن است. شرط لازمبرای پیشین برای مثال، صدق عبارت شرطی «اگر انتخاب عقلانی است، بهترین گزینه موجود انتخاب می‌شود» به این معناست که عقلانیت دلیل کافی برای انتخاب بهترین گزینه‌های موجود است و انتخاب چنین گزینه‌ای شرط لازم برای عقلانیت آن است.

یک عملکرد معمولی یک دستور شرطی، توجیه یک عبارت با ارجاع به گزاره دیگر است. برای مثال، این حقیقت که نقره رسانای الکتریکی است را می‌توان با اشاره به فلز بودن آن توجیه کرد: «اگر نقره یک فلز است، رسانای الکتریکی است».

ارتباط بین دلیل و موجه (بنیاد و نتیجه) بیان شده توسط یک گزاره شرطی دشوار است نمای کلیو فقط گاهی ماهیت آن نسبتاً مشخص است. این ارتباط می تواند اولاً یک ارتباط نتیجه منطقی باشد که بین مقدمات و نتیجه گیری صحیح صورت می گیرد ("اگر همه موجودات زنده چند سلولی فانی باشند و چتر دریایی چنین موجودی باشد پس فانی است"). ثانیاً، طبق قانون طبیعت ("اگر جسمی در معرض اصطکاک قرار گیرد، شروع به گرم شدن می کند"). ثالثاً، یک ارتباط علی ("اگر ماه در گره مدار خود در ماه جدید باشد، خورشید گرفتگی")؛ چهارم، یک الگوی اجتماعی، یک قانون، یک سنت («اگر جامعه تغییر کند، فرد نیز تغییر می کند»، «اگر نصیحت معقول است، باید رعایت شود») و غیره.

ارتباطی که با یک گزاره شرطی بیان می‌شود معمولاً با این باور همراه است که نتیجه با ضرورت خاصی از دلیل «پیش می‌آید» و قانون کلی وجود دارد که توانسته است آن را صورت‌بندی کند، ما می‌توانیم به طور منطقی نتیجه را از دلیل استنتاج کنیم. .

برای مثال، گزاره شرطی «اگر بیسموت یک فلز است، انعطاف پذیر است» به نظر می‌رسد که قانون کلی «همه فلزات انعطاف‌پذیر هستند» را پیش‌فرض می‌گیرد و نتیجه این عبارت را نتیجه منطقی پیشین خود می‌سازد.

هم در زبان معمولی و هم در زبان علم، یک گزاره شرطی، علاوه بر کارکرد توجیه، می تواند تعدادی کار دیگر را نیز انجام دهد: تنظیم شرطی که با هیچ قانون یا قاعده کلی ضمنی مرتبط نباشد («اگر من می خواهم، من شنل خود را می برم)) دنباله ای را ضبط کنید ("اگر تابستان گذشته خشک بود ، امسال بارانی است"). ابراز ناباوری به شکلی عجیب و غریب ("اگر این مشکل را حل کنید، آخرین قضیه فرما را ثابت خواهم کرد")؛ مخالفت ("اگر سنجد در باغ رشد کند، پس عمویی در کیف زندگی می کند") و غیره.

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

عبارت شرطی بسیار است کاربرد گستردهدر تمام زمینه های استدلال در منطق معمولاً با نشان داده می شود گفتار ضمنی، یا مفاهیم. در عین حال، منطق استفاده از «اگر...، پس...» را روشن، نظام‌مند و ساده می‌کند و آن را از تأثیر عوامل روان‌شناختی رها می‌کند.

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

به عنوان مثال، "از آنجایی که آب مایع است، فشار را به همه جهات به طور یکنواخت منتقل می کند"، "اگرچه پلاستیکین فلز نیست، پلاستیک است"، "اگر چوب فلز بود، رسانای الکتریکی بود" و غیره. گزاره‌ها در زبان منطق به‌وسیله دلالت نشان داده می‌شوند، اگرچه استفاده از «اگر... آنگاه...» در آنها کاملاً طبیعی نخواهد بود.

با بیان یک دلالت، ادعا می کنیم که نمی تواند مبنای آن واقع شود و پیامد آن غایب باشد. به عبارت دیگر، دلالت تنها در صورتی نادرست است که دلیل آن صادق و نتیجه آن نادرست باشد.

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

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

این دلالت به این معنا نیست که گزاره های الف و ب به نحوی از نظر محتوا با یکدیگر مرتبط هستند. اگر B درست باشد، گزاره «اگر A، پس B» بدون در نظر گرفتن درست یا نادرست بودن A و اینکه آیا از نظر معنایی با B مرتبط است یا خیر صادق است.

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

در استدلال معمولی، بعید به نظر می‌رسد که همه این گزاره‌ها به‌عنوان معنادار در نظر گرفته شوند، چه کمتر که درست باشند.

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

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

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

برابری- یک گزاره پیچیده "A، اگر و فقط اگر B" از گزاره های A و B تشکیل شده و به دو مفهوم تجزیه می شود: "اگر A، آنگاه B" و "اگر B، پس A". برای مثال: "مثلث متساوی الاضلاع است اگر و فقط اگر متساوی الاضلاع باشد." اصطلاح "معادل" همچنین به پیوند "...، اگر و فقط اگر..." اشاره می کند، به کمک آن یک عبارت پیچیده معین از دو گزاره تشکیل می شود. به جای «اگر و فقط اگر»، «اگر و فقط اگر»، «اگر و فقط اگر» و غیره می توان برای این منظور استفاده کرد.

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

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

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

حال باید روی این سوال بمانیم ساختار داخلییا ساختار درونی خود گزاره‌های ساده: از چه بخش‌های خاصی تشکیل شده‌اند و چگونه این بخش‌ها به هم مرتبط هستند.

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

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

به عنوان مثال، در عبارت "همه دایناسورها منقرض شده اند"، ویژگی "منقرض بودن" به دایناسورها نسبت داده شده است. در گزاره «برخی دایناسورها پرواز کردند» توانایی پرواز به آن نسبت داده شده است گونه های خاصدایناسورها گزاره "همه دنباله دارها سیارک نیستند" وجود ویژگی "سیارک بودن" را در هر یک از دنباله دارها رد می کند. گزاره «برخی از حیوانات گیاهخوار نیستند» گیاهخواری برخی از حیوانات را رد می کند.

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

"S P است" و "S P نیست"

که در آن حرف S نشان دهنده نام موردی است که در مورد آن ما در مورددر یک عبارت، و حرف P نام یک ویژگی ذاتی یا غیر ذاتی در این شی است.

نام شیء مورد اشاره در یک عبارت طبقه بندی شده نامیده می شود موضوع، و نام صفت آن است محمول. موضوع و محمول نامیده می شود شرایطعبارات مقوله ای و با اتصالات "هست" یا "نیست" ("هست" یا "نیست" و غیره) به هم متصل می شوند. مثلاً در عبارت «خورشيد ستاره است»، اصطلاحات نام «خورشيد» و «ستاره» (اولي موضوع قول، دومي محمول آن) و كلمه «است». ” رابط است.

گزاره‌های ساده‌ای مانند «S است (نمی‌باشد) P است» انتساب نامیده می‌شوند: آنها شامل انتساب (انتساب) برخی از ویژگی‌ها به یک شی هستند.

گزاره های اسنادی با اظهارات مربوط به روابطی که در آن روابط بین دو یا چند شیء برقرار می شود، مخالفند: "سه کمتر از پنج است"، "کیف بزرگتر از اودسا است"، "بهار بهتر از پاییز است"، "پاریس بین مسکو و نیویورک، و غیره. جملات در مورد روابط نقش مهمی در علم، به ویژه در ریاضیات دارند. آنها به گزاره های مقوله ای تقلیل پذیر نیستند، زیرا روابط بین چندین شی (مانند "برابر"، "عشق"، "گرم تر"، "بین است" و غیره) قابل تقلیل به ویژگی های اشیاء منفرد نیستند. یکی از کاستی های قابل توجه منطق سنتی این بود که قضاوت در مورد روابط را قابل تقلیل به قضاوت در مورد خواص می دانست.

در یک بیان مقوله ای، ارتباط بین شیء و صفت نه تنها برقرار می شود، بلکه قطعی است مشخصه کمیموضوع بیان در عباراتی مانند "همه S هستند (نه) P هستند، کلمه "all" به معنای "هر یک از اشیاء کلاس مربوطه" است. در عباراتی مانند "بعضی از S هستند (نه) P هستند، کلمه "بعضی" به معنای غیر انحصاری استفاده می شود و به معنای "بعضی یا شاید همه" است. در معنای انحصاری، کلمه "بعضی" به معنای "فقط برخی" یا "بعضی، اما نه همه" است. تفاوت بین دو معنای این کلمه را می توان با جمله "بعضی از ستاره ها ستاره هستند" نشان داد. در معنای غیر انحصاری به معنای "بعضی، شاید همه، ستاره ها هستند" و آشکارا درست است. در معنای استثنایی، این عبارت به معنای "فقط برخی از ستارگان ستاره هستند" است و به وضوح نادرست است.

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

بنابراین، چهار نوع گزاره طبقه بندی ممکن است:

همه S P است - یک گزاره کلی مثبت،

برخی از S P است - یک جمله مثبت خاص،

همه S P نیست - یک گزاره به طور کلی منفی،

برخی از S P نیست - یک عبارت منفی خاص.

گزاره های دسته بندی را می توان نتیجه جایگزینی برخی از نام ها در عبارات زیر با فاصله (بیضی) در نظر گرفت: "همه ... هستند ..."، "بعضی ... هستند ..."، "همه ... هستند" نه ...» و «بعضی ... نیستند ...». هر یک از این عبارات یک ثابت منطقی (عملیات منطقی) است که به ما امکان می دهد از دو نام یک دستور بدست آوریم. به عنوان مثال، با جایگزین کردن نام های "پرنده" و "پرنده" به جای نقطه، به ترتیب عبارت های زیر را به دست می آوریم: "همه پروازها پرنده هستند"، "بعضی از پروازها پرنده هستند"،

استنباط ها

"همه آنهایی که پرواز می کنند پرنده نیستند" و "بعضی که پرواز می کنند پرنده نیستند." گزاره اول و سوم نادرست و دوم و چهارم درست است.

استنباط ها

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

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

البته هولمز در مورد اهمیت کسر در علم پزشکی قانونی تا حدودی اغراق کرد، اما استدلال او در مورد روش قیاسی کار خود را کرد. «کسر» از یک اصطلاح خاص که فقط برای عده کمی شناخته شده است به مفهومی رایج و حتی مد روز تبدیل شده است. رواج هنر استدلال صحیح، و بالاتر از همه استدلال قیاسی، از شایستگی هولمز کمتر از تمام جنایاتی است که او حل کرد. او توانست «جذابیت یک رویا را به منطق ببخشد و راه خود را از طریق هزارتوی کریستالی استنتاجات ممکن به یک نتیجه درخشان برساند» (V. Nabokov).

کسر است مورد خاصاستنباط ها

در به معنای وسیعاستنباط -یک عملیات منطقی که در نتیجه آن یک بیانیه جدید از یک یا چند گزاره پذیرفته شده (موقعیت) به دست می آید - یک نتیجه (نتیجه گیری، نتیجه).

بسته به اینکه آیا ارتباطی بین مقدمات و نتیجه وجود دارد نتیجه منطقی، دو نوع استنتاج قابل تشخیص است.

در هسته استدلال قیاسییک قانون منطقی نهفته است که نتیجه آن با ضرورت منطقی از مقدمات پذیرفته شده حاصل می شود.

ویژگی متمایزچنین نتیجه ای این است که همیشه از مقدمات واقعی به یک نتیجه واقعی منتهی می شود.

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

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

استنتاج های قیاسی برای مثال شامل موارد زیر است:

اگر باران ببارد، زمین خیس است. باران می بارد.

زمین خیس است.

اگر هلیم یک فلز است، رسانای الکتریکی است. هلیوم رسانای الکتریکی نیست.

هلیم یک فلز نیست.

خطی که محل را از نتیجه جدا می کند، طبق معمول جایگزین کلمه "بنابراین" می شود.

نمونه هایی از استقراء عبارتند از:

آرژانتین یک جمهوری است. برزیل یک جمهوری است. ونزوئلا یک جمهوری است. اکوادور یک جمهوری است.

آرژانتین، برزیل، ونزوئلا، اکوادور کشورهای آمریکای لاتین هستند.

همه ایالت های آمریکای لاتین جمهوری هستند .

ایتالیا یک جمهوری است، پرتغال یک جمهوری است، فنلاند یک جمهوری است، فرانسه یک جمهوری است.

ایتالیا، پرتغال، فنلاند، فرانسه کشورهای اروپای غربی هستند.

همه کشورهای اروپای غربی جمهوری هستند.

استقرا تضمین کاملی برای به دست آوردن یک حقیقت جدید از حقیقت های موجود ارائه نمی دهد. حداکثر چیزی که ما می توانیم در مورد آن صحبت کنیم، درجه معینی از احتمال استنباط گزاره است. پس مقدمات هر دو استنتاج استقرایی اول و دوم صحیح است، اما نتیجه اولی صحیح و دومی نادرست است. در واقع، همه ایالت های آمریکای لاتین جمهوری هستند. اما در میان کشورهای اروپای غربی نه تنها جمهوری ها، بلکه پادشاهی ها نیز وجود دارد، به عنوان مثال انگلستان، بلژیک و اسپانیا.

استنباط ها

استنتاج‌های مشخصه، انتقال منطقی از دانش عمومی به دانش خاص هستند، مانند:

تمام فلزات انعطاف پذیر هستند. مس یک فلز است.

مس انعطاف پذیر است.

در تمام مواردی که لازم است برخی از پدیده ها را بر اساس آنچه قبلاً شناخته شده است در نظر گرفت قانون کلیو برای نتیجه گیری لازم در خصوص این پدیده ها به صورت استنتاج نتیجه می گیریم. استدلال منتهی از دانش درباره برخی اشیاء (دانش خصوصی) به دانش درباره همه اشیاء یک طبقه خاص ( دانش عمومی)، استقراهای معمولی هستند. همیشه این احتمال وجود دارد که تعمیم عجولانه و بی اساس باشد ("ناپلئون یک فرمانده است؛ سووروف یک فرمانده است؛ این بدان معنی است که هر فرد یک فرمانده است").

در عین حال، نمی توان قیاس را با گذار از عام به جزئی و استقراء را با گذار از جزئی به کلی تشخیص داد.

در این استدلال، «شکسپیر غزل نوشت. بنابراین، این درست نیست که شکسپیر غزل ننوشته است، اما هیچ انتقالی از عام به خاص وجود ندارد. استدلال "اگر آلومینیوم پلاستیک است یا خاک رس پلاستیک است، پس آلومینیوم پلاستیک است"، همانطور که معمولاً تصور می شود، استقرایی است، اما هیچ گذار از جزئی به کلی وجود ندارد.

استنتاج، اشتقاق نتایجی است که به اندازه مقدمات پذیرفته شده قابل اعتماد هستند، استقراء، اشتقاق نتایج محتمل (قابل قبول) است. استنتاج های استقرایی هم شامل انتقال از جزئی به کلی و هم قیاس، روش های ایجاد روابط علّی، تأیید پیامدها، توجیه هدفمند و غیره است.

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

با تأکید بر اهمیت استنباط در فرآیند آشکارسازی و اثبات دانش، نباید آن را از استقراء جدا کرد و دومی را دست کم گرفت. تقریباً تمام احکام کلی، از جمله قوانین علمی، نتایج تعمیم استقرایی است. به این معنا، استقراء اساس دانش ماست. به خودی خود صدق و اعتبار خود را تضمین نمی کند، بلکه فرضیاتی را به وجود می آورد، آنها را با تجربه پیوند می زند و از این طریق اعتبار خاصی را کم و بیش به آنها می بخشد. درجه بالااحتمالات تجربه سرچشمه و اساس دانش بشری است. استقرا، با شروع از آنچه در تجربه درک می شود، وسیله ای ضروری برای تعمیم و نظام مندسازی آن است.

قوانین منطقی

فصل

مفهوم قانون منطقی

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

درست یا همانطور که معمولاً می گویند تفکر منطقی تفکر بر اساس قوانین منطق است ، مطابق با آن الگوهای انتزاعی که توسط آنها ثابت شده است. این موضوع اهمیت این قوانین را توضیح می دهد.

قوانین منطقی همگن در سیستم های منطقی ترکیب می شوند که معمولاً به آنها "منطق" نیز می گویند. هر یک از آنها توصیفی از ساختار منطقی یک قطعه یا نوع خاصی از استدلال ما ارائه می دهد.

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

قوانین منطقی عینی هستند و به اراده و آگاهی انسان بستگی ندارند. آنها نتیجه توافق بین مردم نیستند، برخی قراردادهای خاص توسعه یافته یا خود به خود شکل گرفته است. آنها محصول نوعی «روح جهانی» نیستند، همانطور که افلاطون زمانی معتقد بود. قدرت قوانين منطق بر انسان، نيروي واجب آنها براي تفكر صحيح، به اين دليل است كه آنها بازتابي در انديشه انسان از جهان واقعي و تجربه قرنها شناخت و دگرگوني آن توسط انسان است.

مانند سایر قوانین علمی، قوانین منطقی نیز جهانی و ضروری هستند. آنها همیشه و همه جا عمل می کنند و به طور یکسان به همه مردم و در همه دوران ها گسترش می یابند. نمایندگان

مفهوم قانون منطقی

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

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

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

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

قبل از اینکه وارد شوید مفهوم کلیقانون منطقی، ما چندین مثال از طرح های استدلالی ارائه می دهیم که نشان دهنده قوانین منطقی است. به جای متغیرهای A، B، C، ... که معمولاً برای نشان دادن عبارات استفاده می شوند، همانطور که در دوران باستان انجام می شد، از کلمات "اول" و "دوم" استفاده می کنیم که جایگزین متغیرها می شوند.

«اگر اولی هست، دومی هم هست. اولی وجود دارد بنابراین، مورد دوم وجود دارد.این طرح استدلالی به ما امکان می‌دهد از گزاره یک گزاره شرطی ("اگر اولی وجود دارد، دومی وجود دارد") و بیانیه مبنای آن ("اول وجود دارد") به بیانیه یک نتیجه حرکت کنیم. "دومی وجود دارد"). بر اساس این طرح، به ویژه، استدلال پیش می رود: «اگر یخ گرم شود، ذوب می شود. یخ گرم شده است؛ بنابراین ذوب می شود.»

طرح دیگری از استدلال صحیح: «یا اولی یا دومی اتفاق می‌افتد. اولی وجود دارد این بدان معناست که دومی وجود ندارد.»از طریق این طرح، از دو بدیل متقابلاً منحصر به فرد و تعیین اینکه کدام یک از آنها مصداق دارد، گذار به نفی بدیل دوم انجام می شود. مثلاً: «یا داستایوفسکی در مسکو به دنیا آمد، یا در سن پترزبورگ به دنیا آمد. داستایوفسکی در مسکو به دنیا آمد. این بدان معناست که این درست نیست که او در سن پترزبورگ به دنیا آمده است. در وسترن آمریکایی «خوب، بد و زشت»، یکی از شخصیت‌های بد به دیگری می‌گوید: «به یاد داشته باشید، دنیا به دو بخش تقسیم می‌شود: کسانی که هفت تیر در دست دارند و آن‌هایی که حفاری می‌کنند. من الان هفت تیر دارم، پس بیل را بردارید.» این استدلال نیز بر اساس طرح مشخص شده است.

و یک مثال مقدماتی نهایی از یک قانون منطقی، یا طرح کلی استدلال صحیح: «اولین یا دومی است. اما اولی اینطور نیست. این بدان معناست که مورد دوم همین است.»به جای عبارت «اول» عبارت «روز است» و به جای «دوم» عبارت «شب است» را جایگزین می کنیم. از نمودار انتزاعی استدلال می کنیم: «روز است یا شب. اما اینکه روز است درست نیست.

پس الان شب است.»

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

قانون منطق (قانون منطقی)- عبارتی که به جای اجزای معنادار، فقط ثابت ها و متغیرهای منطقی را شامل می شود و در هر زمینه ای از استدلال صادق است.

اجازه دهید به عنوان مثال یک عبارت را که فقط از متغیرها و ثابت های منطقی تشکیل شده است، در نظر بگیریم، عبارت: "اگر A، آنگاه B; یعنی اگر نه A، پس نه B. ثابت های منطقی در اینجا اتصالات گزاره ای «اگر، آنگاه» و «نه» هستند. متغیرهای A و B بیانگر برخی از عبارات هستند. فرض کنید A عبارت "علت وجود دارد" و B عبارت "یک معلول وجود دارد". با این محتوای خاص، این استدلال را به دست می آوریم: «اگر علتی باشد، معلولی هم هست. این بدان معناست که اگر معلول نباشد، علتی وجود ندارد.» فرض کنید به جای A عبارت «عدد بر شش بخش پذیر است» و به جای B عبارت «عدد بر سه بخش پذیر است» جایگزین شود. با این محتوای خاص، بر اساس نمودار مورد بحث، استدلال می کنیم: «عددی اگر بر شش بخش پذیر باشد، بر سه بخش پذیر است. بنابراین، اگر عددی بر سه بخش پذیر نباشد، بر شش بخش پذیر نیست». هر گزاره دیگری جایگزین متغیرهای A و B شود، اگر این گزاره ها درست باشند، نتیجه حاصل از آنها درست خواهد بود.

در منطق، معمولاً این شرط وجود دارد که ناحیه اشیایی که استدلال در مورد آنها انجام می شود و عبارات درج شده در قانون منطقی در مورد آن صحبت می کنند نمی تواند خالی باشد: باید حداقل یک شیء داشته باشد. در غیر این صورت، استدلال بر اساس طرح، که یک قانون منطق است، می تواند از مقدمات درست به نتیجه ای نادرست منتهی شود.

به عنوان مثال، از فرض واقعی "همه فیل ها حیوان هستند" و "همه فیل ها خرطوم دارند"، طبق قانون منطق، نتیجه واقعی "برخی از حیوانات خرطوم دارند" به دست می آید. اما اگر دامنه اشیاء مورد نظر خالی باشد، پیروی از قانون منطق نتیجه‌گیری واقعی را با توجه به مقدمات درست تضمین نمی‌کند. ما طبق همان طرح استدلال خواهیم کرد، اما این بار در مورد کوه های طلا. بیایید نتیجه بگیریم: «همه کوه های طلایی کوه هستند. تمام کوه های طلایی طلایی هستند. بنابراین برخی از کوه‌ها طلایی هستند.» هر دو فرض این نتیجه گیری درست است. اما نتیجه گیری او "برخی کوه ها طلایی هستند" به وضوح نادرست است: کوه طلایی وجود ندارد.

مفهوم قانون منطقی

بنابراین، استدلال مبتنی بر قانون منطق با دو ویژگی مشخص می شود:

چنین استدلالی همیشه از مقدمات واقعی به یک نتیجه واقعی منتهی می شود.

نتیجه با ضرورت منطقی از مقدمات ناشی می شود.

قانون منطقی نیز نامیده می شود توتولوژی منطقی.

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

به عنوان مثال، تمام نتایج جایگزینی در قانون منطقی نفی مضاعف "اگر A، پس درست نیست که A نیست" گزاره های درست هستند: "اگر دوده سیاه است، پس درست نیست که سیاه نیست." «اگر انسان از ترس بلرزد، این درست نیست که از ترس نمی لرزد» و غیره.

همانطور که قبلاً ذکر شد، مفهوم قانون منطقی مستقیماً با مفهوم دلالت منطقی مرتبط است: نتیجه گیری به طور منطقی از مقدمات پذیرفته شده ناشی می شود اگر توسط یک قانون منطقی با آنها مرتبط باشد. به عنوان مثال، از مقدمات "اگر A، پس B" و "اگر B، پس C" نتیجه "اگر A، پس C" به طور منطقی به دست می آید، زیرا عبارت "اگر A، پس B، و اگر B، پس C، پس اگر A، C نشان دهنده یک قانون منطقی است، یعنی قانون گذر(گذرا). فرض کنید از فرضیه های «اگر شخصی پدر باشد، پدر و مادر است» و «اگر شخصی پدر یا مادر باشد، پدر یا مادر است»، طبق این قانون، نتیجه چنین می شود: «اگر شخص پدر است، سپس پدر یا مادر است.»

دنباله منطقی- رابطه بین مقدمات و نتیجه گیری استنتاجی که طرح کلی آن یک قانون منطقی است.

از آنجایی که ارتباط دلالت منطقی مبتنی بر یک قانون منطقی است، با دو ویژگی مشخص می شود:

نتیجه منطقی از مقدمات درست تنها به یک نتیجه واقعی منتهی می شود.

نتیجه ای که از مقدمات به دست می آید با ضرورت منطقی از آنها نتیجه می گیرد.

همه قوانین منطقی به طور مستقیم مفهوم نتیجه منطقی را تعریف نمی کنند. قوانینی هستند که ارتباطات منطقی دیگری را توصیف می کنند: «و»، «یا»، «این درست نیست» و غیره و فقط به طور غیرمستقیم به رابطه دلالت منطقی مربوط می شوند. این، به ویژه، قانون تناقض است که در زیر در نظر گرفته شده است: «این درست نیست که یک بیانیه خودسرانه و

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

سؤالات، درخواست‌ها، دستورها، تعجب‌ها، کلمات فردی (به استثنای مواردی که نماینده جملاتی از قبیل «عصر شب می‌شود»، «سرد می‌شود» و غیره) بیانیه نیستند. درستی و نادرستی گزاره ها از آنهاست ارزش های منطقی

گزاره ها به اسنادی، وجودی و رابطه ای تقسیم می شوند.

اسنادیبه عباراتی گفته می شود که در آن خاصیت یا حالتی از یک شیء تأیید یا رد می شود.

وجودیگزاره هایی هستند که واقعیت وجود را تأیید یا رد می کنند.

رابطه ایعباراتی نامیده می شوند که روابط بین اشیاء را بیان می کنند.

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

یک گزاره اسنادی ساده ساختاری دارد که شامل یک موضوع، یک محمول و یک رابط است.

موضوعگفتار (S) بخشی از گفتار است که موضوع فکر را بیان می کند.

محمولبیان (P) بخشی از یک گفته است که نشانه ای از موضوع فکر، ویژگی، حالت، رابطه آن را نشان می دهد.

موضوع (S) و محمول (P) نامیده می شوند شرایط دسته رابطه بین اصطلاحات (S و P) را نشان می دهد.

گزاره های اسنادی اغلب از کمیت های وجودی و کلی استفاده می کنند.

گزاره های اسنادی بر اساس کیفیت و کمیت تقسیم می شوند.

بر اساس کیفیت به مثبت و منفی تقسیم می شوند. در مثبت نشان می دهد که صفت قابل تصور در محمول متعلق (حضور) به موضوع عبارت است: «S P است». به عنوان مثال: "افلاطون یک فیلسوف ایده آلیست است." در منفی نشان می دهد که محمول به موضوع آن تعلق ندارد: «S P نیست».

بر اساس تعداد گزاره ها به مجرد، خاص و عام تقسیم می شوند. این به کلیت (تعداد، تعداد) اشیاء مجزا اشاره دارد که نام کلاس موضوعی را تشکیل می دهند.

در مجرد در گزاره ها، موضوع از یک چیز تشکیل شده است.

خصوصیعبارات این شکل را دارند: "بعضی S هستند (نیستند) P."

در عمومی در گزاره ها، فاعل همه اشیا را پوشش می دهد. چنین عباراتی این شکل را دارند: "همه S هستند (نه) P."

اظهارات بر اساس کیفیت و کمیت طبقه بندی می شوند. 4 دسته از گزاره ها وجود دارد:

1) جهانی (الف) -کلی از نظر کمیت و مثبت از نظر کیفیت ("همه S هستند P")؛

2) مثبت خصوصی (ج)- نسبی از نظر کمیت و مثبت از نظر کیفیت («بعضی S هستند R")

3) کلی منفی (E) - از نظر کمیت کلی و از نظر کیفیت منفی ("No S P است")؛

4) منفی جزئی (درباره)- ضریب از نظر کمیت و منفی در کیفیت ("بعضی S نیستند P").

در هر دسته از عبارات نسبت حجم S و P (شرح) متفاوت است. در منطق، مسئله رابطه بین حجم S و P نامیده می شود مشکل توزیع اصطلاحات یک اصطلاح در صورتی توزیع می شود که به طور کامل در محدوده یک اصطلاح دیگر قرار گیرد یا کاملاً از آن مستثنی شده باشد.

در کلاس A |همه S هستند P|موضوع به طور کامل در محمول توزیع می شود، اما محمول توزیع نمی شود.