İfade, isimden daha karmaşık bir eğitimdir. Daha basit parçalardaki ifadelerin ayrışması ile her zaman bazı adlar alırız. Diyelim ki, "Güneş bir yıldızdır" diyelim, parçaları olarak "Sun" ve "Star" adını içerir.

Beyan - İçinde ifade edilen anlamı (içerik) ve doğru veya yanlış olan bir dilbilgisi olarak doğru bir teklif.

Açıklama kavramı, başlangıçlardan biridir. anahtar kavramlar Modern mantık. Böyle bir izin vermez doğru tanım, farklı bölümlerde eşit olarak uygulanır.

Onlara verilen açıklama gerçek duruma tekabül ederse, ifade doğru kabul edilir. "Gerçek" ve "yalanlar" denir "ifadelerin gerçek değerleri" olarak adlandırılır.

Bireysel ifadelerden farklı yollar Yeni ifadeler kurabilirsiniz. Örneğin, "rüzgar esiyor" ifadelerinden ve "yağmur yağıyor", "rüzgarı ve yağmurları üfleme", "rüzgar esiyor ya da yağmur yağar", "Yağmur yağarsa ya da yağmur yağar", " , vb.

İfadesi denir basit Eğer parçaları olarak diğer ifadeleri içermezse.

İfadesi denir karmaşık Diğer daha basit ifadelerden mantıksal ligamentler kullanılarak elde edilirse.

En iyisini düşünün ÖNEMLİ YÖNTEMLER Bina karmaşık İfadeler.

Negatif ifade İlk ifadeden ve inkarından oluşur ve genellikle "değil", "yanlış, bu" kelimeleri ile ifade edilir. Negatif bir ifade bu nedenle karmaşık bir ifadedir: ondan farklı bir ifade içerir. Örneğin, "10 - çift numarası" ifadelerinin reddedilmesi "10 bile bir numara değildir" (veya: "10, 10'un bile bir numara olduğu doğru değildir).

Harflerle belirtir A, B, C, ... İfadenin Reddi Kavramının Tam Anlamı Durumla Verilir: Eğer ifade FAKAT Gerçek, inkarları yanlıştır ve eğer FAKAT Yanlış, inkarları doğru. Örneğin, "1 1 bütün pozitif sayı" ifadesinden bu yana "- DOĞRU, inkar" 1 bir bütün değil olumlu bir sayı"- Yanlış ve" 1 basit bir sayı var "- yanlış bir şekilde, reddi" 1 basit bir sayı değil "- Doğru.

İki ifadenin "ve" kelimesiyle bağlantısı, sözde karmaşık bir ifade verir. bağlaç. Bu şekilde bağlı ifadeler "birleşim üyesi" olarak adlandırılır.

Örneğin, eğer "bugün sıcak" ve "dün soğuktu" ise, bu şekilde katılmak, "bugün sıcak ve dün soğuktu".

Bağlaç, yalnızca dahil edilen her iki ifadenin de geçerli olduğu durumlarda geçerlidir; Üyelerinden en az biri yanlışsa, bütün birleşme yanlıştır.

Her zamanki dilde, iki ifade "ve", içerik veya anlam ile birbirine bağlanırken "ve" ile bağlanır. Bu bağlantının niteliği oldukça net değil, ancak "bir ceketteydi ve üniversiteye gittim" ifadesini düşünmeyeceğimiz açıktır. Anlayışlı ve yanlış ya da yanlış olabilecek bir ifade olarak "üniversiteye gittim". Açıklamalar "2 - basit bir sayı" ve "Moskova - büyük şehir"Doğru, gerçekleri de birleşmelerini düşünmeye meyilliyiz" 2 - Basit bir sayı ve Moskova büyük bir şehirdir ", çünkü CE ifadelerinin bileşenleri bir anlamda birbirine bağlanmaz. Bağlantılı ve diğer mantıksal bağların önemini basitleştirmek ve bunu reddetme "ifadelerin anlamlı ifadeleri" nin belirsiz kavramından, mantık bu ligamanların anlamını aynı anda ve daha geniş ve daha spesifik hale getirir.

İki ifadenin "veya" kelimesiyle bağlantısı ayrılma Bu bildiriler. Bidesi oluşturan ifadeler "ayrılma üyeleri" olarak adlandırılır.

Günlük dilde "veya" kelimesi iki farklı anlamı vardır. Bazen "bir veya farklı veya hem" hem de bazen "bir ya da başka, ancak birlikte değil" anlamına gelir. Örneğin, "Bu Sezon Gitmek İstiyorum" ifadesi Peak bayan"Ya da" Aida ", iki kez ziyaret etme olasılığına izin verir. "Moskova'da ya da Yaroslavl Üniversitesi'nde okuyor" ifadesinde, yalnızca bu üniversitelerden birinde belirtilen bir kişinin belirttiği anlamına geliyor.

İlk anlamı "veya" denir münhasır olmayan. Bu anlamda çekilen iki ifadenin ayrılması, bu ifadelerden en az birinin, hem doğru ya da evcil hayvanların olup olmadığına bakılmaksızın en az birinin gerçekten olduğu anlamına geliyor. Öğretilen hariç Ya da katı, iki ifadenin ayrılması, ifadelerden birinin doğru olduğunu ve ikincisinin yanlış olduğunu savunuyor.

İnişsiz bir ayrılma doğrudur, ifadelerden en az biri gerçekten bir tanesi gerçekten ve yalnızca üyesinin her ikisi de yanlış olduğunda yanlış.

Ayrılma, yalnızca üyelerinden biri doğru olduğunda doğrudur ve her iki üyesi de doğru veya her ikisi de yanlış olduğunda yanlıştır.

Mantık ve matematikte, "veya" kelimesi neredeyse her zaman özel olmayan bir değerde kullanılır.

Koşullu Beyanı - Kompleks ifade, genellikle "eğer ..., o zaman ..." ve bir olayı, durumu vb. Kurmak için bir paket kullanılarak formüle edilmiştir. bir şekilde veya diğerinin bir başka nedeni veya durumunda.

Örneğin: "Yangın varsa, yani, duman", "Sayı 9'a ayrılırsa, 3", vb.

Koşullu açıklama iki basit ifadeden oluşur. Sonra onların "Eğer" ifadesinin öngörüldüğü kelimesi denir üs veya anteküçlük (önceki), "ki" kelimesinden sonra gelen ifade çağrılır. sonuç veya concever (sonraki).

Koşullu ifadeyi onaylayarak, ilk önce, vakfında ne söylendiği ve soruşturmada ne söylendiği şeyin söylendiği anlamına gelmiyoruz. Başka bir deyişle, öncülün doğru olduğu ve konserse yanlış olduğu olamaz.

Koşullu açıklama açısından, yeterli ve gerekli koşullar kavramları genellikle belirlenir: bir öncül (kuruluş), konserbif (etkisi) için yeterli bir durumdur (etkisi) ve bunun sonucunda Önkoşul Antecedent için. Örneğin, koşullu ifadenin gerçeği "Seçim rasyonel ise, mevcut alternatiflerin en iyisi seçilir,", rasyonelliğin mümkün olan en iyi fırsatların seçimi için yeterli bir temel olduğu ve böyle bir fırsatın seçiminin olduğu anlamına gelir. rasyonelliği için gerekli durum.

Koşullu ifadenin tipik bir fonksiyonu, başka bir ifadeye referansla bir ifadenin gerekçesidir. Örneğin, gümüş elektrik iletkeni, metal olduğu gerçeğine referansla haklı çıkarılabilir: "Gümüş metal ise, elektriksel olarak iletkendir."

Koşullu ifadesiyle ifade edilen esaslı ve haklı (zemin ve soruşturmanın) bağlantısı tanımlamak zordur genelve bazen bazen CE'nin doğası nispeten açıktır. Bu bağlantı, öncelikle, parseller ile doğru sonuçların sonucu ("tüm yaşayan çok hücrüler yaratıklar ölümlüdür ve denizanası böyle bir yaratık olması durumunda) bir mantıksal takipin bağlanması olabilir. ölümlü "); ikincisi, doğanın yasası ("Vücut sürtünme ise, ısınmaya başlayacak"); Üçüncüsü, bir bağlantıya neden olan ("Yeni aydaki ay yörününün düğümünde ise, gelir, güneş tutulması"); Dördüncü, sosyal hukuk, kural, gelenek vb. ("Toplum değişirse, her iki insan da değişir", "Konsey yürütülmesi gereken şekilde").

Koşullu ifadeyle ifade edilen bağlantı ile, mahkumiyet genellikle belirli bir zorunluluktan bir sonucu "aşağıdaki gibidir" ve bazı genel hukukların olduğunu, bunun bir sonucu olarak mantıksal olarak türetebileceğini formüle etmek mümkündür. Yapı temeli.

Örneğin, "Bizmut plastikse" koşullu ifadesi, "Metal plastik taşımacılığını" ima ettiği için, bu açıklamanın önleyici bir sonucu olarak, bu açıklamanın bir arka planını öngörendir.

Ve her zamanki dilde ve bilim dilinde, bir dizi başka görev de yapılabilir. Herhangi bir zımni genel hukuk veya kuralla ilişkili olmayan bir koşulu formüle edebilir ("kendi pelerinlerinizi vermek istersem"); Herhangi bir sırayı düzeltmek ("Geçen yaz kuru ise, o zaman bu yıl yağmurlu"); Bir tür inançsız bir biçimde ifade ("Bu göreve karar verirseniz, çiftliğin büyük teoremini kanıtlayacağım"); Sayım ("Bezin bahçede büyürse, Kiev'de amcam"), vb. Koşullu ifadenin işlevlerinin sayısız ve heterojenliği, analizini analiz etmeyi zorlaştırır.

Koşullu ifadenin kullanımı, bazı psikolojik faktörlerle ilişkilidir. Böylece, genellikle böyle bir açıklamayı formüle ediyoruz, ancak kesin olarak bilmiyorsak, doğrusu ya da bir sonucu değil. Aksi takdirde, kullanımı doğal değil (yün metal ise, elektriksel olarak yapılır ").

Koşullu ifadesi çok bulur geniş uygulama Tüm akıl yürütme alanlarında. Mantıkta, genellikle tarafından görünüyor vatandaşlık veya çıkarımlar. Aynı zamanda, mantık, "eğer ..., o zaman ..." kullanımını açıklığa kavuşturur, sistematikleştirir ve basitleştirir, psikolojik faktörlerin etkisinden birini serbest bırakır.

Mantık, özellikle konvansiyonel ifadenin bağlantı ve sonuç özelliğinin, yalnızca "ise ..., o zaman ...", aynı zamanda diğer dillerin de öyküsü ile ifade edilebileceği gerçeğinden farklıdır. Örneğin, "Su sıvı olduğundan, her taraftaki basıncı eşit şekilde iletir", "Hamuru ve metal olmamasına rağmen, plastiktir," "ağaç metaliyse, elektriksel olarak iletken olurdu, vb. Bunlar ve bu ifadeler, mantık dilinde, "eğer ..., o zaman ..." olarak kullanılmasına rağmen, bu durum oldukça doğal olmazdı.

Etkilemeyi iddia ederek, kuruluşunun gerçekleştiği ve soruşturmanın bulunmadığını iddia ediyoruz. Başka bir deyişle, ima yalnızca vakfın doğru olduğunda durumunda yanlıştır ve sonuç yanlıştır.

Bu tanım, yanı sıra herhangi bir ifadenin, herhangi bir ifadenin ya doğru ya da yanlış olduğunu ve karmaşık bir ifadenin gerçeğin değerinin, yalnızca ifadelerinin bileşenlerinin gerçeğin değerlerine ve bağlantılarının yöntemine bağlıdır. .

GERÇEKLEŞTİRMENİN İLGİLİĞİ VE VAKFI VEYA NEDENİN DOĞRU VEYA YANLIŞ; Temelinin yanlış olması doğrudur ve sonuç doğrudur. Sadece dördüncü durumda, taban gerçekten olduğunda ve sonuç yanlış olduğunda, yanlışın etkisi.

İma bu ifadeleri varsaymıyor FAKAT ve İÇİNDE Bir şekilde içerikle birbirine bağlanır. Gerçek durumunda İÇİNDE "Eğer" FAKAT, bu İÇİNDE" Gerçekten önemli değil FAKAT doğru veya yanlış ve anlamla bağlantılı İÇİNDE ya da değil.

Örneğin, gerçek ifadeler doğru olarak kabul edilir: "Güneşte hayat varsa, daha sonra iki kişi dört," Volga bir göl ise, o zaman Tokyo büyük bir köydür. Koşullu ifade de ne zaman doğrudur FAKAT yanlış ve aynı zamanda tekrar kayıtsız, gerçekten İÇİNDE ya da içeriğe bağlı değil FAKAT ya da değil. True aittir: "Güneş bir küp ise, o zaman arazi bir üçgendir," "iki ikisi beş ise, Tokyo küçük bir kasabadır", vb.

Geleneksel akıl yürütmede, tüm bu ifadelerin anlamı ve hatta doğru olduğu gibi düşünülmesi muhtemel değildir.

Her ne kadar ima birçok amaç için kullanışlı olmasına rağmen, şartlı iletişimin olağan anlayışıyla tamamen tutarlı değildir. Etkileme, koşullu ifadenin mantıksal davranışının birçok önemli özelliğini kapsar, ancak aynı zamanda yeterli miktarda yeterli açıklamada değildir.

Geçtiğimiz yarım yüzyılda, etkisi teorisini yeniden düzenlemek için enerjik girişimler yapıldı. Aynı zamanda, açıklanan ima kavramının reddedilmesi, ancak ona olan başka bir konseptiyle birlikte, yalnızca ifadelerin modaya uygun değerlerini değil, aynı zamanda içeriklerinin bağlantısını da dikkate alan giriş hakkında değildi. .

Etkisi ile yakından bağlı eşdeğerlik, Bazen "çift ima" olarak adlandırılır.

Eşdeğerlik, LEE ifadelerinden oluşan ve ayrıştırma iki uygulamadan oluşan, "L, eğer ve sadece ise" karmaşık bir ifadedir. FAKAT, Sonra "ve" içinde ise, sonra FAKAT". Örneğin: "Üçgen eşdeğer ise ve eğer eşdeğer ise, eşdeğerdir." "Eşdeğerlik" terimi "..., eğer ve sadece ise ..." demetiyle ifade edilir, bu karmaşık ifade oluşturulur. "Eğer bu amaç için ve eğer" yerine, bu amaç için "bu durumda ve sadece", ",", sonra ve sadece ", vb.

Eğer mantıksal ligamentler gerçeği ve yalanlar açısından belirlenirse, TRUE'un eşdeğeri ve yalnızca ifadelerinin her iki bileşeninin de aynı gerçek değerine sahip olduğunda, yani Her ikisi de gerçekten doğru olduğunda veya her ikisi de yanlış olduğunda. Buna göre, eşdeğerlik yanlıştır, bu ifadelerden biri gerçekten var ve diğeri yanlıştır.

Beyan - Gerçekten ya da yanlış söylenebilecek bir anlatı teklifi. Cebirle, basit ifadeler mantıksal değişkenlere (A, B, C, vb.) Göre ayarlanmıştır.

Mantıksal değişken - Bu basit bir ifadedir.
Mantıksal değişkenler sermaye ve küçük harflerle belirlenmiştir. latin harflerle (A-Z, A-Z) ve yalnızca ifade gerçekten ise, eğer ifade yanlışsa, eğer ifade ise 1 - 1 alır.

İfadelerin Örneği:

Mantıksal fonksiyon - Bu, basit ifadeler üzerinde mantıksal işlemlerin bir sonucu olarak elde edilen karmaşık bir ifadedir.

En sık kullanılan karmaşık ifadeler oluşturmak temel mantık işlemlerimantıksal ligamentlerin yardımı ile ifade edilir "ve", "veya", "değil".
Örneğin,

Birçok insan ham havayı sevmiyor.

A \u003d "Birçok insan ham havayı sever." Mantıksal bir işlev alıyoruz F (A) \u003d A.

Paketler "Değil", "ve", "veya" Mantıksal işlemlerle değiştirildi inversiyon , bağlaç , ayrılma . o temel mantık işlemleriHerhangi bir mantıksal ifadeyi yazabilirsiniz.

Mantıksal formül (mantıksal ifade) - Yalnızca mantıksal değerler ve mantıksal işlem belirtileri içeren bir formül. Mantıksal formülün hesaplanmasının sonucu gerçeği (1) veya bir yalandır (0).

Mantıksal fonksiyonun değeri, içine dahil olan mantıksal değişkenlerin değerlerine bağlıdır. Bu nedenle, bir mantıksal fonksiyonun değeri özel bir tablo kullanılarak belirlenebilir ( gerçek tatasets) Gelen mantık değişkenlerinin ve ilgili fonksiyon değerlerinin tüm olası değerlerinin listelendiği.

Temel (temel) mantıksal işlemler:

1. Mantıksal Çarpma (Bağlantılı), Lat'tan. Konjunctio - Ben ilişki:
Birlik yardımı ile birinde iki (veya birkaç) ifadeyi birleştirmek ve;
Programlama dillerinde - ve.
Kabul Edilme: / \\, ve ve.
Birleşme kümelerinin cebirinde, kümelerin kesişme işleminin çalışmasına karşılık gelir.

Birleşim o zaman geçerlidir ve ancak o zaman, tüm ifadeler doğrudur.

Misal:
Kompozit ifadesini "2 \u003d 4 ve 3 3 \u003d 10" olarak düşünün. Vurgulamak basit ifadeler:

B \u003d "3 3 \u003d 10" \u003d 0 (çünkü bu yanlış bir ifadedir)
Bu nedenle, Mantıksal fonksiyon F (a, b) \u003d a / \\ b \u003d 1 / \\ 0 \u003d 0 (doğruluk tablosu uyarınca), yani bu kompozit ifade yanlıştır.

2. Mantıksal ekleme (ayrılma), Lat'tan. Ayrılık - Fark:
Birliğin yardımı ile iki (veya birkaç) ifadeyi birinde birleştirmek;
Programlama dillerinde - veya.
Tanım: \\ /, +, veya veya.
Disans kümelerinin cebirinde, kümelerin birleştirilmesinin çalışmasına karşılık gelir.

BİLGİSİ YALNIZCA FALSE ise ve yalnızca o zaman, tüm ifadeler yanlıştır.

Misal:
Kompozit ifadesini "2 2 \u003d 4 veya 2 2 \u003d 5" olarak düşünün. Basit sarmalayıcıları vurguluyoruz:
A \u003d "2 2 \u003d 4" \u003d 1 (çünkü gerçek bir ifadedir)
B \u003d "2 2 \u003d 5" \u003d 0 (çünkü bu yanlış bir ifadedir)
Bu nedenle, Mantıksal fonksiyon F (a, b) \u003d a \\ / b \u003d 1 \\ / 0 \u003d 1 (doğruluk tablosu uyarınca), yani bu kompozit ifade gerçektendir.

3. inkar (inversiyon), Lat'tan. Ters çevirme - döndüm:

Parçacıklara karşılık gelir, ifadeler yanlıştır, bu ya da gerçek değil;
Programlama dillerinde - değil;
Tanımlama: A, ¬, değil
Kümelerin cebirinde, takviyenin evrensel setine yapılması, mantıksal inkârlara karşılık gelir.

İnversiyonben değişkenin kendisi yanlış ise, mantıklı bir değişkeniyim ve aksine, değişken doğruysa inversiyon yanlıştır.

Misal:

A \u003d (iki iki ile çarpın dört eşittir) \u003d 1.

¬a \u003d ( Geçersiz İki ile iki eşittir, dört eşittir) \u003d 0.

A ifadesini düşünün: " Ay, Dünya'nın uydusudur"; O zaman ¬ böyle formüle edilecek: " Ay bir uydu değil“.

Aşağıdakileri söyleyin: "4'in 3'e bölündüğü doğru değildir. "4'e bölünmüş basit bir ifade ile belirtir. Ardından, bu ifadenin inkar edilmesinin mantıksal şekli ¬ biçimine sahiptir.

Mantıksal işlemlerin önceliği:

Mantıksal terimlerdeki işlemler, ayrıklıkları dikkate alarak soldan sağa doğru yapılır. içinde Sonraki sipariş:
1. ters çevirme;
2. Birleşimi;
3. BİLGİSİ;
Belirtilen mantıksal çalışma prosedürünü değiştirmek için yuvarlak parantezler kullanılır.

Kompozit mantıksal ifadeler İfadelerin cebirleri denir formüller.
Formülün doğru veya yanlış değeri, mantık cebirinin yasaları ile, anlamına atıfta bulunmadan belirlenebilir:
F \u003d (0 \\ / 1) / \\ (¬0 \\ / ¬1) \u003d (0 \\ / 1) / \\ (1 \\ / 0) \u003d 1 / \\ 1 \u003d 1 - Gerçek
F \u003d (¬0 / \\1) \\ / (¬1 \\ / ¬1) \u003d (1 / \\ 0) \\ / (0 \\ / 0) \u003d 0 \\ / 0 \u003d 0 - Yanlış

İfade, isimden daha karmaşık bir eğitimdir. Daha basit parçalardaki ifadelerin ayrışması ile her zaman bazı adlar alırız. Diyelim ki, "Güneş bir yıldızdır" diyelim, parçaları olarak "Sun" ve "Star" adını içerir.

Beyan - Dilbilgisi olarak doğru teklif, ifade edilen anlamı (içerik) ve doğru veya yanlış olmakla birlikte alınır.

İfade kavramı, mantığın ilk, kilit kavramlarından biridir. Bu nedenle, farklı bölümlerde eşit şekilde uygulanan, doğru tanımlamaya izin vermez.

Onlara verilen açıklama gerçek bir duruma karşılık geldiğinde ve yanlış değilse, ifade doğru olarak kabul edilir. "Gerçek" ve "yalanlar" denir "ifadelerin gerçek değerleri" olarak adlandırılır.

Bireysel ifadelerden çeşitli şekillerde yeni ifadeler kurabilirsiniz.

Örneğin, "rüzgarı darbeler" ifadesinden ve "Yağmur yağıyor", "rüzgarı üfleme,", "rüzgar üfler ya da yağmur yağar", "," Yağmur yağarsa, " rüzgar esiyor "vb.

İfadesi denir basiteğer parçaları olarak diğer ifadeleri içermezse.

İfadesi denir kafam karışıkDiğer daha basit ifadelerden mantıksal ligamentler kullanılarak elde edilirse.

Karmaşık ifadeler oluşturmanın en önemli yollarını göz önünde bulundurun.

Negatif ifade İlk ifadeden ve inkarından oluşur ve genellikle "değil", "yanlış, bu" kelimeleri ile ifade edilir. Negatif bir ifade bu nedenle karmaşık bir ifadedir: ondan farklı bir ifade içerir. Örneğin, "10 - çift numarası" ifadelerinin reddedilmesi "10 bile bir numara değildir" (veya: "10, 10'un bile bir numara olduğu doğru değildir).

A, B, C harflerinin ifadelerini belirtiriz ... İfadenin inkar kavramının tam anlamının durumuna göre verilir: ifadesi doğruysa, inkarları yanlıştır ve yanlış ise, inkarları doğrudur. . Örneğin, "1'in bir bütün pozitif numara" ifadesinden bu yana, inkar "1," yanlış "bir olumlu sayı değil," 1'den beri "yanlış bir numara var," yanlış, reddi "1 basit bir sayı değil "Gerçekten.

İki ifadenin "ve" kelimesiyle bağlantısı, sözde karmaşık bir ifade verir. bağlaç. Bu şekilde bağlı ifadeler "birleşim üyesi" olarak adlandırılır.

Örneğin, eğer "bugün sıcak" ve "dün soğuktu" ise, bu şekilde katılmak, "bugün sıcak ve dün soğuktu".

Bağlaç, yalnızca dahil edilen her iki ifadenin de geçerli olduğu durumlarda geçerlidir; Üyelerinden en az biri yanlışsa, bütün birleşme yanlıştır.

Her zamanki dilde, iki ifade birliği ile bağlanmıştır "ve" içerik veya anlamla birbirine bağlanırlar. Bu bağlantının niteliği oldukça net değil, ancak "bir ceketteydi ve üniversiteye gittim" ifadesini düşünmeyeceğimiz açıktır. Anlayışlı ve yanlış ya da yanlış olabilecek bir ifade olarak "üniversiteye gittim". "2 - basit bir sayı" ve "Moskova - büyük şehir" ifadeleri doğru olsa da, "2 - basit bir sayı ve Moskova büyük bir şehir" olarak da birleşmelerini düşünmeye meyilliyiz. ifadelerinin birbirleriyle ilişkili değildir. Bağlantılı ve diğer mantıksal ligamanların önemini basitleştirmek ve bunu reddetmeyi reddetmek, "anlam ifade eden ifadelerin iletişimi" nin belirsiz kavramından, mantık bu demetlerin anlamını aynı anda ve daha geniş ve daha net hale getirir.

İki ifadenin "veya" kelimesiyle bağlantısı ayrılma Bu bildiriler. Ayrılma ifadeleri "Disjingtion üyeleri" olarak adlandırılır. .

Günlük dilde "veya" kelimesi iki farklı anlamı vardır. Bazen "bir veya farklı veya hem" hem de bazen "bir ya da başka, ancak birlikte değil" anlamına gelir. Örneğin, "bu sezon" "Peak Lady" ya da Ayida'da gitmek istiyorum "ifadesi, operanın iki kez ziyaretine izin veriyor. "Moskova'da okuyor ya da Yaroslavl Üniversitesi" ifadesinde, söz konusu bir kişinin bu üniversitelerden birinde çalıştığı anlamına gelir.

İlk anlamı "veya" denir münhasır olmayan. Bu anlamda çekilen iki ifadenin ayrılması, bu ifadelerden en az birinin, hem doğru olup olmadıklarına bakılmaksızın en az birinin gerçekten olduğu anlamına geliyor. Öğretilen hariçveya sıkı, duyu, iki ifadenin ayrılması, ifadelerden birinin doğru olduğunu ve ikincisinin yanlış olduğunu savunuyor.

İnişsiz bir ayrılma doğrudur, ifadelerden en az biri gerçekten bir tanesi gerçekten ve yalnızca üyesinin her ikisi de yanlış olduğunda yanlış.

Ayrılma, yalnızca üyelerinden biri doğru olduğunda doğrudur ve her iki üyesi de doğru veya her ikisi de yanlış olduğunda yanlıştır.

Mantık ve matematikte, "veya" kelimesi neredeyse her zaman özel olmayan bir değerde kullanılır.

Koşullu Beyanı -genellikle bir paket kullanılarak formüle edilmiş karmaşık bir ifade, ", o zaman ..., o zaman ..." ve bir olayın, durumun vb. Bir şekilde veya başka bir bazda veya başka bir durumda olduğunu belirlemek.

Örneğin: "Yangın varsa, yani, duman", "Sayı 9'a ayrılırsa, 3", vb.

Koşullu açıklama iki basit ifadeden oluşur. Sonra onların "Eğer" ifadesinin öngörüldüğü kelimesi denir üs veya anteküçlük (önceki), "ki" kelimesinden sonra gelen ifade çağrılır. sonuç veya concever (sonraki).

Koşullu ifadeyi onaylayarak, ilk önce, vakfında ne söylendiği ve soruşturmada ne söylendiği şeyin söylendiği anlamına gelmiyoruz. Başka bir deyişle, öncülün doğru olduğu ve konserse yanlış olduğu olamaz.

Koşullu açıklama açısından, yeterli ve gerekli koşulların kavramları genellikle belirlenir: bir öncül (kuruluş), konserbifin (etkisi) için yeterli bir durumdur (etkisi) ve arka plan, antecedent için bir önkoşuldur. Örneğin, koşullu ifadenin gerçeği "Seçim rasyonel ise, mevcut alternatiflerin en iyisi seçilir,", rasyonelliğin mümkün olan en iyi fırsatların seçimi için yeterli bir temel olduğu ve böyle bir fırsatın seçiminin olduğu anlamına gelir. rasyonelliği için gerekli durum.

Koşullu ifadenin tipik bir fonksiyonu, başka bir ifadeye referansla bir ifadenin gerekçesidir. Örneğin, gümüş elektrik iletkeni, metal olduğu gerçeğine referansla haklı çıkarılabilir: "Gümüş metal ise, elektriksel olarak iletkendir."

Koşullu ifadeyle ifade edilen, genel olarak karakterize edilmesi zor olan ve yalnızca bazen bazen doğası nispeten net bir şekilde belirgindir. Bu ilişki, kalıcı olarak, parseller ile doğru sonuçların sonucu ("tüm yaşayan çok hücrüler yaratıklar ölümlüdür ve denizanası böyle bir yaratık olması durumunda), bir mantıksal bir takibatın bağlanması olabilir. "); Dokner, doğanın yasası ("Vücut sürtünmeye maruz kalırsa, ısınmaya başlayacaktır"); Sokak, bir bağlantıya neden olan ("Yeni aydaki ay, yörününün düğümünde ise, Solar Eclipse"); Yaygın olarak, sosyal hukuk, kural, gelenek ("Toplum değişiyorsa, bir kişi de değişiyorsa," Konsey zeka ise, "), vb.

Koşullu ifadeyle ifade edilen bağlantı ile, mahkumiyet genellikle belirli bir zorunluluktan bir sonucu "aşağıdaki gibidir" ve bazı genel hukukların olduğunu, bunun bir sonucu olarak mantıksal olarak türetebileceğini formüle etmek mümkündür. Yapı temeli.

Örneğin, şartlı açıklama "Bismuth metal ise, plastiktir" olduğu için, bu beyanın konsesini önleyici bir sonuç tarafından mantıksal bir sonucu haline getiren "Tüm Metal Plastik" genel hukuku anlamına gelir.

Ve her zamanki dilde ve bilim dilinde, gerekçeliğin dilinde bir dizi başka görev de gerçekleştirilebilir: fabrika zımni genel hukukla veya kuralı ("i) ile ilişkili olmayan bir koşulu oluşturmak için pelerinini kesmek istiyorum "); Bazı diziler düzeltildi ("Geçtiğimiz yaz kuru ise, o zaman bu yıl yağmurlu"); Bir tür inançsız bir biçimde ifade ("Bu göreve karar verirseniz, çiftliğin büyük teoremini kanıtlayacağım"); Sayım ("Sebze Buzzin bahçede büyürse, amcam Kiev'de yaşar"), vb. Koşullu ifadenin işlevlerinin sayısız ve heterojenliği, analizini analiz etmeyi zorlaştırır.

Koşullu ifadenin kullanımı, bazı psikolojik faktörlerle ilişkilidir. Genellikle böyle bir açıklama oluştururuz, ancak kesintisiz, doğru ya da öncelikli olmasın ve bunun sonucunu bilmiyorsak. Aksi takdirde, kullanımı doğal değil (yün metal ise, elektriksel olarak iletkendir ").

Koşullu açıklama, tüm akıl yürütme alanlarında çok geniş bir kullanım bulur. Mantıkta, genellikle tarafından görünüyor vatandaşlık, veya çıkarımlar. Aynı zamanda, mantık, "eğer ..., o zaman ..." kullanımını açıklığa kavuşturur, sistematikleştirir ve basitleştirir, psikolojik faktörlerin etkisinden birini serbest bırakır.

Mantık, özellikle konvansiyonel ifadenin temeli ve sonuç özelliklerinin bağlantısının, yalnızca "ise ..., o zaman ..." değil, aynı zamanda diğer dillerin de kullanılmasından emin olabilir.

Örneğin, "Su sıvı olduğundan, her tarafta her tarafta basınç iletir", "Hamuru ve metal değil, plastik olmasına rağmen," "ağaç metaldi, elektriksel olarak iletken olurdu, vb. Bunlar ve yanlış olurdu. İfadeler, "eğer ..., o zaman ..." kullanımına rağmen, mantık dilinde sunuldukları açıklamalar oldukça doğal olmazdı.

Etkilemeyi onaylayarak, kuruluşunun gerçekleştiği ve soruşturmanın bulunmadığını iddia ediyoruz. Başka bir deyişle, ima yalnızca temeli gerçekten olduğunda yanlıştır ve sonuç yanlıştır.

Bu tanım, her bir ifadenin yanı sıra herhangi bir ifadenin ya doğru ya da yanlış olduğunu ve karmaşık bir ifadenin gerçeğin öneminin, yalnızca ifadelerinin bileşenlerinin gerçeği değerlerine ve bağlantılarının yöntemine bağlıdır.

GERÇEKLEŞTİRMENİN İLGİLİĞİ VE VAKFI VEYA NEDENİN DOĞRU VEYA YANLIŞ; Temelinin yanlış olması doğrudur ve sonuç doğrudur. Sadece dördüncü durumda, taban gerçekten olduğunda ve sonuç yanlış olduğunda, yanlışın etkisi.

Etkileme, A ve bazı içeriklerde ifadelerin bağlı olduğunu varsaymıyor. "Eğer A, daha sonra" ifadesinde doğruysa, doğru ya da yanlış olup olmadığına bakılmaksızın ya da anlamla bağlandığına bakılmaksızın.

Örneğin, gerçek ifadeler göz önünde bulundurulur: "Güneşte bir hayat varsa, sonra iki kişi dört", "Volga bir göl ise, Tokyo büyük bir köydür", vb. Koşullu açıklama da gerçekten doğrudur. Yanlış olduğunda ve aynı zamanda aslında, gerçekten, gerçekten içeride veya içeriğe bağlı olarak bağlanmıştır. Gerçek ifadeler şunlardır: "Güneş bir küp ise, arazi bir üçgendir", "iki ikisi beş ise, Tokyo küçük bir şehirdir", vb.

Geleneksel akıl yürütmede, tüm bu ifadelerin anlamı ve hatta doğru olduğu gibi düşünülmesi muhtemel değildir.

Her ne kadar ima birçok amaç için kullanışlı olmasına rağmen, şartlı iletişimin olağan anlayışıyla tamamen tutarlı değildir. Etkileme, koşullu ifadenin mantıksal davranışının birçok önemli özelliğini kapsar, ancak aynı zamanda yeterli miktarda yeterli açıklamada değildir.

Geçtiğimiz yarım yüzyılda, etkisi teorisini yeniden düzenlemek için enerjik girişimler yapıldı. Aynı zamanda, açıklanan ima kavramının reddedilmesi, ancak ona olan başka bir konseptiyle birlikte, yalnızca ifadelerin modaya uygun değerlerini değil, aynı zamanda içeriklerinin bağlantısını da dikkate alan giriş hakkında değildi. .

Etkisi ile yakından bağlı eşdeğerlik, Bazen "çift ima" olarak adlandırılır.

Eşdeğerlik - Kompleks Beyanı "A, eğer sadece ise" ifadelerden oluşursa ve iki etkiyi bozarlar ve iki etkiyi bozar: "Eğer A, daha sonra" ise ve "ise, A". Örneğin: "Üçgen eşdeğer ise ve eğer eşdeğer ise, eşdeğerdir." "Eşdeğerlik" terimi "..., eğer ve sadece ise ..." demetiyle ifade edilir, bu karmaşık ifade oluşturulur. "Eğer bu amaç için ve eğer bu amaç için ve sadece" ise, ",", ",", ardından ve sadece ", vb." Ne zaman kullanıldığında kullanılabilir.

Eğer mantıksal ligamentler gerçeği ve yalanlar açısından belirlenirse, eşdeğerlik doğrudur ve yalnızca ifadelerinin her iki bileşeninin de aynı hakikat değerine sahip olduğunda, yani hem gerçek olduğunda hem de her ikisi de yanlış. Buna göre, içinde yer alan ifadelerden biri gerçekten, diğeri yanlış olduğunda, eşdeğerlik yanlıştır.

Basit ifadelerin sıradan iç yapısından, karmaşık ifadelerin eğitim yöntemlerini dikkate alındığında dikkate alınmaz. Belirsiz parçacıklar olarak alındı, sadece bir mülke sahipler: Doğru ya da yanlış olmak. Basit ifadeler

yanlışlıkla atom olarak adlandırılmaz: Onlardan, ilköğretim tuğlaları gibi, mantıksal ligamentlerin yardımıyla ",", ",", ",", ", vb.) Çeşitli karmaşık (" moleküler ") ifadeler oluşturulur.

Şimdi soruyu sormalı iç yapıveya dahili yapı, basit ifadeler kendileri: Hangi belirli parçalardan oluşur ve bu parçaların nasıl birbirine bağlandığı.

Hemen basit ifadelerin bileşenlerinin bileşenlerine ayrışabileceğini vurgulamak gerekir. Ayrışma sonucu, gerçekleştirildiği hedefe bağlıdır, yani bu ifadelerin analiz edildiği mantıksal çıkış kavramından (mantıksal takip).

Kategorik ifadeye özel ilgi, öncelikle, mantıkın gelişmesinin, mantıksal bağlantılarının incelenmesi ile başladığı gerçeğine bağlıdır. Ek olarak, bu tür ifadeleri argümanlarımızda yaygın olarak kullanılmaktadır. Kategorik ifadelerin mantıksal bağlantıları teorisi genellikle silchistic.

Örneğin, "Tüm dinozorlar zorlandı" ifadesinde, dinozorlar "soyu tükenmek" bir işareti atfeder. Kararda, "Bazı dinozorlar uçtu", uçma yeteneğine atfedilir. ayrı türler dinozorlar. Kararda, "tüm kuyruklu yıldızlar asteroit değildir", her kuyruklu yıldız içindeki "asteroit olmak" işareti olan varlığını reddeder. Kararda, bazı hayvanların herbirini inkar eden "bazı hayvanlar herbivor değildir".

Kategorik açıklamada yer alan kantitatif karakteristik ve "hepsi" ve "bazı" ve "bazı" kelimelerden dikkatini dağıtıyorsanız, bu ifadelerin iki seçenekleri şunlardır: olumlu ve olumsuz. Onların yapısı:

"S, r" ve "n р",

s harfinin bu konunun adını temsil ettiği yer bu konuşma Açıklamada ve p harfi, bu konuda doğal olmayan veya içsel olmayan bir işaretin adıdır.

Kategorik bir ifadede belirtilen konunun adı denir konuve onun karakter adı - avcı. Konu ve Tahmin denir terminom Kategorik ifadeler ve "orada" veya "değil" ("değil" ya da "değil" ve böylece paragraf tarafından birbirine bağlanmıştır.). Örneğin, "güneşin bir yıldız olduğu" ifadesinde "güneş" ve "yıldız" nın isimleridir (birincisi, ifadenin konusu, ikincisi, iktidarın öngörüsüdür) ve " "bir demettir.

"S) gibi basit ifadeler var (değil) Р" öznitelikler denir: konulardaki bazı özelliklerin niteliğinde (atıfta).

Öznitelik ifadeleri, iki veya çok sayıda konu arasında ilişkilerin kurulduğu ilişkilerle ilgili ifadelere karşı çıkıyor: "beşten daha az", "Kiev daha fazla Odessa", "Bahar sonbahardan daha iyidir", "Paris, Moskova ve yeni arasında yer almaktadır. York ", vb. İlişkiler hakkında, özellikle matematikte, bilimde önemli bir rol oynamaktadır. Kategorik olarak ifadelere düşürülmezler, çünkü birkaç konu arasındaki ilişkiler ("eşit", "seven", "sıcak", "" arasında "," arasında ",", vb.) Bireysel öğelerin özelliklerini azaltmayın. Geleneksel mantığın temel dezavantajlarından biri, mülkler hakkındaki yargılarla ilişkilerle ilgili yargıları düşünmemesidir.

Kategorik bir açıklamada, konunun bağlantısı ve işareti basitçe belirlenmez, aynı zamanda ifadenin konusunun belirli bir kantitatif özelliği de verilmiştir. "Tüm S'dir (değil) p" "kelimesi" tüm "kelimesi" karşılık gelen sınıfın her biri "anlamına gelir. "Bazı S) gibi ifadelerde P" "Bazı" kelimesi, özel bir anlamda kullanılır ve "bazıları ve belki her şey" anlamına gelir. Özel bir anlamda, "Bazı" kelimesi "sadece bazı" veya "bazıları, ama her şey değil" anlamına gelir. Bu kelimenin iki anlamı arasındaki fark, "bazı yıldızların yıldızları var" örneğinde gösterilebilir. Özel olmayan bir anlamda, "bazıları ve muhtemelen tüm yıldızlar yıldızlar" anlamına gelir ve açıkça doğrudur. Özel anlamda, bu ifade "sadece bazı yıldızlar yıldızlar" anlamına gelir ve açıkça yanlıştır.

Kategorik ifadelerde, dikkate alınan konulara herhangi bir işaretin ait olanı onaylanır veya reddedilir ve tüm bu konular veya bunlardan bazıları hakkında olup olmadığı belirtilir.

Böylece mümkündür, bu nedenle dört tür kategorik ifadeler:

Hepsi P - bir Secrect ifade,

Bazı S, p - özel bir ücretsiz ifade var.

Hepsi P - genel bir negatif ifade değil,

Bazı S R - özellikle olumsuz bir ifadedir.

Kategorik ifadeler, aşağıdaki ifadelerdeki herhangi bir isminin yer değiştirmesinin sonuçları olarak görülebilir (nokta): "Her şey ...", "Bazı ... orada ...", "her şey ... değil ... "ve" bazıları ... orada değil ... " Bu ifadelerin her biri, iki isimden bir ifade almasını sağlayan mantıklı bir sabittir (mantıksal bir işlem). Örneğin, "Uçan" ve "Kuşlar" nın donanması yerine sıkma, sırasıyla, aşağıdaki ifadeler: "Tüm uçan kuşlar", "Bazı uçan kuşlar",

Omlice

"Tüm uçan kuşlar değildir" ve "Bazı uçan kuşlar yok." Birinci ve üçüncü ifadeler yanlıştır ve ikinci ve dördüncü doğrudur.

Omlice

"Bir damla suda, mantıksal olarak nasıl düşünüleceğini bilen bir kişi, Atlantik Okyanusu'nun veya Niagara'nın düşmelerinin varlığı hakkında, başka bir şey görmemiş olsalar bile ve onları asla duymamış olsa da ... Kişi, ellerinde, ayakkabı, ayakkabı, dizlerinin üzerinde pantolonlar, cildin kalınlaşmasına ve sivri parmaklar, Yüzün ve gömleklerin ifadesine göre, mesleğini bu tür önemsizlerde tahmin etmek zor değildir. Ve hepsinin bir araya geldiğinden şüphelenemezsiniz, sadık sonuçları bilgili gözlemciye söyleyecektir. "

Bu, Sherlock Holmes'in dedektifi inişinin dünya edebiyatındaki en ünlülerin bir yazılım makalesinden bir alıntıdır. En küçük detaylara dayanarak, mantıksal olarak tertemiz bir akıl yürütme zinciri oluşturdu ve karmaşık suçları ortaya çıkardı ve genellikle dairelerini BAKERUSTRITE'ye bırakmadan. Holmes, kendisi tarafından yaratılan, ortaya çıkan, arkadaşı Dr. Watson, kesin bilimin kenarındaki suçların ifşa edilmesine inanıyordu.

Tabii ki, Holmes, suçluya indirimin anlamını hafifçe abarttı, ancak tümdengelimli yöntemle ilgili argümanları işlerini yaptı. Özel ve sadece birkaç terim için bilinen "kesinti" yaygın olarak kullanılan ve hatta moda bir konsepte dönüştü. Doğru argümanın sanatının popülerleştirilmesi ve tümdengelimli akıl yürütmenin üstünde, tüm suçların açıklanmasından daha küçük bir Holmes'ün daha küçük bir değeri değildir. "Mantığı rüyaların çekiciliğine vermeyi başardı, tek parlak sonucuna kadar olası kesintilerin kristal labirentinden yapıldı" (V. Nabokov).

Kesinti Özel durum Sonuç.

Geniş anlamda Gözden geçirmek -mantıksal bir işlem, bunun bir sonucu olarak, bir veya daha fazla kabul edilen ifadelerden (parsel), yeni bir onay elde edilir - Sonuç (Sonuç, Sonuç).

Parseller ve sonuç arasında bir bağlantı olup olmadığına bağlı olarak mantık takibi, İki tür sonuç seçebilirsiniz.

Dayalı sapkınlık Mantıksal bir yasa döşenmesi, bu nedenle mantıklı bir zorunlulukla sonuç alınan parsellerden akar.

Ayırt edici özellik Böyle bir sonuç, her zaman gerçek parsellerden gerçek sonuçlara yol açmasıdır.

İÇİNDE endüktif sonuç Parseller ile sonuç arasındaki bağlantı, mantık kanununa dayanır, ancak tamamen resmi bir doğaya sahip olmayan bazı olgusal veya psikolojik gerekçelerle ilgilidir.

Böyle bir sonuç olarak, sonuç, parsellerden mantıklı olmamalı ve içinde eksik olan bilgi içerebilir. Parselin doğruluğu, bunlardan türetilen endüktif iddianın doğruluğunun olduğu anlamına gelmez. İndüksiyon sadece muhtemeldir veya inandırıcı, daha fazla doğrulamaya ihtiyaç duyan sonuçlar.

Devredim, örneğin, bu sonuçlar:

Yağmur yağarsa, toprak ıslak. Yağmur yağıyor.

Arazi ıslak.

Helyum metal ise, elektriksel olarak gerçekleştirilir. Helyum elektriksel olarak yapılmaz.

Helyum metal değil.

Parselleri sonuçtan ayıran özellik, her zamanki gibi, "bu nedenle" kelimesini değiştirir.

İndüksiyon örnekleri, muhakeme olarak görev yapabilir:

Arjantin bir cumhuriyettir; Brezilya - Cumhuriyet; Venezuela - Cumhuriyet; Ekvador - Cumhuriyet.

Arjantin, Brezilya, Venezuela, Ekvador - Latin Amerika Devletleri.

Tüm Latin Amerika ülkeleri cumhuriyetlerdir. .

İtalya - Cumhuriyet, Portekiz - Cumhuriyet, Finlandiya - Cumhuriyet, Fransa - Cumhuriyet.

İtalya, Portekiz, Finlandiya, Fransa - Batı Avrupa ülkeleri.

Tüm Batı Avrupa ülkeleri cumhuriyetlerdir.

İndüksiyon, var olandan yeni bir gerçek elde etmenin tam bir garantisi vermez. Söylenebilecek maksimum, değerlendirilen onayın belirli bir olasılık derecesidir. Böylece parseller ve birinci ve ikinci endüktif sonuçlar doğrudur, ancak birincilerinin sonuçları doğrudur ve ikincisi yanlıştır. Nitekim, tüm Latin Amerika devletleri temsil edilir; Ancak Batı Avrupa ülkeleri arasında sadece cumhuriyetler değil, aynı zamanda İngiltere, Belçika ve İspanya gibi monarşiler de var.

Omlice

Özellikle karakteristik indirimler, genel bilgiden özel, türe göre mantıklı geçişlerdir:

Tüm metaller plastiktir. Bakır - Metal.

Bakır plastik.

Her durumda, fenomeni önceden bilinenlere dayanarak düşünmesi gerektiğinde gerekli olduğunda genel kurallar Ve bu fenomenlerle ilgili gerekli sonucu geri çekmek için, kesinti biçiminde bulunduk. Belirli bir sınıfın tüm konularını bilmek (özel bilgi) bir kısmının (özel bilgi) bilgisinden giden muhakeme ( genel Bilgi) - Bunlar tipik indüksiyonlardır. Genelleşmenin aceleci ve mantıksız olacağı olasılığı vardır ("Napolyon bir komutandır; Suvorov bir komutandır; her kişi bir komutan anlamına gelir").

Bununla birlikte, aynı zamanda, ortaktan özel ila indüksiyonla geçişi ile indirimini tanımlamak imkansızdır - özelden ortak olana geçiş ile.

Muhakemede "Shakespeare Sonnets yazdı; Sonuç olarak, Shakespeare'in son biletleri yazmadığı gerekli değildir "bir kesinti var, ancak ortaktan belirli bir şekilde geçiş yoktur. "Alüminyum plastik veya kil plastik, daha sonra alüminyum plastikse" argümanı, geleneksel, endüktif olduğu için, özelden ortak olana geçiş yoktur.

Kesinti, sonuçları elde edilen parseller, indüksiyon - muhtemel (makul) sonuçların ortadan kaldırılması kadar güvenilir olarak elde etmektir. Endüktif sonuçlar, her iki geçişe özel olarak genel ve analojiye, nedensel ilişkiler kurma yöntemleri, sonuçların onayı, hedef gerekçeyi vb.

Kendisini terkedilen sonuçlara getiren özel ilgi açıktır. Zaten mevcut bilgiden yeni gerçekler almanıza izin verir ve ayrıca, saf akıl yürütme yardımı ile, deneyim, sezgi, sağduyu vb. Yardım etmeden. İndirim, yüzde yüz bir başarı garantisi verir ve sadece bir veya başka bir - belki ve yüksek - gerçek sonuç olasılığı. Gerçek parsellerden uzaklaş ve tümdengelim, tüm durumlarda kesinlikle güvenilir bilgi alacağız.

Bilgiyi dağıtma ve haklı çıkarma sürecinde kesintinin önemini vurgulamak, ancak onu indüksiyondan yırtmamalı ve sonuncusunu hafife almamalıdır. Neredeyse hepsi genel Hükümler, bilimsel yasalar dahil, endüktif genelleştirmenin sonuçlarıdır. Bu anlamda, indüksiyon bilgimizin temelidir. Kendi başına, gerçeğini ve geçerliliğini garanti etmez, ancak varsayımlara yol açar, onları deneyimlerle bağlar ve böylece onları belirli bir inanç, az ya da çok bildirir yüksek derece olasılık. Deneyim - Kaynak ve insan bilgisinin temeli. Endüksiyon, deneyimle kavranan şeyden ayrılan, gerekli bir genelleme ve sistematizasyon aracıdır.

Mantıksal yasalar

Bölüm

Mantıksal bir yasa kavramı

Mantıksal yasalar, insan düşüncesinin temelini oluşturur. Diğer ifadelerin bazı ifadelerden mantıksal olarak aktığını ve tutarlı bir muhakeme tutan görünmez demir çerçeve olup olmadığını belirlerler ve bunlar kaotik, tutarsız bir konuşmaya dönüşür. Mantıksal bir yasa olmadan, mantıksal birden ne olduğunu anlamak imkansızdır ve bu nedenle - kanıt nedir.

Doğru veya genellikle söylerken, mantıksal, düşünme, mantık yasalarına göre, onlar tarafından belirlenen soyut şemalarda düşünüyor. Bu nedenle, bu yasaların tüm önemi açıktır.

Tek tip mantıksal yasalar, genellikle "mantık" olarak adlandırılan mantıksal sistemlere birleştirilir. Her biri bir açıklama verir mantıksal yapı akıl yürütmemizin belirli bir parçası veya türü.

Örneğin, ikincisinin iç yapısına bağlı olmayan mantıksal ifadelerin mantıksal bağlantılarını tanımlayan yasalar "ifadelerin mantığı" olarak adlandırılan sisteme birleştirilir. Kategorik ifadelerin ilişkilerini belirleyen mantıksal yasalar, "kategorik ifadelerin mantığı" olarak adlandırılan mantıksal bir sistem oluşturur veya "syllogistic", vb.

Mantıksal yasalar, objektif ve insanın iradesinden ve bilincinden bağımsızdır. Onlar, bazı özel gelişmiş veya kendiliğinden kurulan sözleşmeler arasındaki insanlar arasındaki bir anlaşmanın sonucu değildir. Hem "Dünya Ruhu" üretmesi, Plato Repel olarak değiller. Kişi üzerindeki mantık yasalarının yetkilileri, uygun düşünceler için zorunlu, gerçek dünyayı ve yüzyıllardaki insan düşüncesinde bir haritayı temsil etmelerinin ve insan tarafından bilgi ve dönüşümünün yaşadığı bir deneyimini temsil etmeleridir.

Diğer tüm bilimsel yasalar gibi, mantıksal yasalar evrensel ve gereklidir. Her zaman her yere davranırlar, tüm insanlara ve herhangi bir dönemi eşit olarak uzanır. Temsilciler

Mantıksal bir yasa kavramı

farklı Milletler I. farklı kültürlerErkekler ve kadınlar, antik Mısırlılar ve Muhakeme Müdürlüğü mantığı açısından modern Polinezyalılar birbirinden farklı değildir.

Mantıksal yasalarda doğal olan, bir davanın ihtiyacı, doğal veya fiziksel, gereklilikten daha da zorunlu ve değişmezdir. Mantıksal olarak gerekli olduğunu hayal etmek imkansızdır. Bir şey doğanın yasalarını çelişiyorsa ve fiziksel olarak imkansızdır, o zaman mühendis değil, tüm yeteneğiyle, onu uygulamayamaz. Ancak, bir şey mantık yasalarına aykırıdır ve mantıksal olarak imkansızdır, o zaman sadece bir mühendis değil, aniden ortaya çıktıysa, hayata geçirirse, Yüce bir yaratıktır.

Daha önce de belirtildiği gibi, doğru argümanda, sonuç, parsellerden mantıksal bir zorunlulukla takip eder ve genel şema Böyle bir akıl yürütme mantıksal bir yasadır.

Uygun akıl yürütme şemaları sayısı (mantıksal yasalar) sonsuzdur. Bu programların çoğu bize akıl yürütme uygulamasından bilinmektedir. Onları sezgisel olarak, kendinize bir rapor vermeden, bu ya da mantıksal yasanın her zaman uygun şekilde kullanıldığını bir rapor vermeyiz.

Girmeden önce genel kavram Mantıksal yasa, mantıksal yasalar olan argüman şemalarının birkaç örneğini veriyoruz. Değişkenler yerine A, B, C, ... genellikle ifadeleri belirlemek için kullanılır, antik çağda nasıl yapıldığını, "İlk" ve "İkinci" kelimeleri değişkenleri değiştirmeyi kullanıyoruz.

"İlk ise, yani, ikinci; İlk var; Sonuç olarak, bir araç var. " Bu akıl yürütme şeması, koşullu ifadenin onayından ("ilk ise, ilk ise, ikincisi ise") ve kuruluşunun onayı ("birincisi var") soruşturmanın onayına devam etmesine izin verir ( "Bir saniye var"). Bu şemaya göre gelir, özellikle, muhakeme: "Buz ısıtılırsa, erir; Buz ısısı; Sonuç olarak, eriyiyor. "

Doğru argümanın bir başka şeması: "Veya birinci veya ikinci alır; İlk var; Yani, ikinci yok. " Bu şema, iki karşılıklı münhasır alternatiften ve bunlardan oluşan kuruluştan itibaren, ikinci alternatifin olumsuzlanmasına geçiş yapılır. Örneğin: "Dostoevsky, Moskova'da doğdu ya da St. Petersburg'da doğdu. Dostoevsky Moskova'da doğdu. Öyleyse, Petersburg'da doğduğu doğru değil. " Amerikan Batı'da "iyi, kötü ve kötü" bir negatif kahraman bir başkasıyla konuşuyor: "Unutma, dünya iki bölüme ayrıldı: tabancayı tutanlar ve kazanlar. Tabanca şimdi benim, bu yüzden bir kürek çek. " Bu muhakeme ayrıca belirtilen şemaya da dayanır.

Ve mantıksal bir yasanın son ön örneği veya doğru muhakemenin genel şeması: "Birinci ya da ikinci var. Ama ilk yok. Yani bir saniye var. " "İlk" ifadesi "şu anda" ifadesi yerine ve "İkinci" ifadesi yerine, "şimdi gece" ifadesi. Soyut şemadan akıl alıyoruz: "Şimdi gün ya da şimdi gece. Ama şu an gün yanlış.

Şimdi gece gece. "

Bunlar biraz basit şemalar Mantıksal bir yasa kavramını gösteren uygun akıl yürütme. Yüzlerce ve yüzlerce benzer şema başımızda oturuyor, ancak bunun farkında değiliz. Onlara güveniyor, mantıklı ya da doğru tartışırız.

Mantık Hukuku (Mantıksal Hukuk) - Önemli parçalar yerine sadece mantıksal sabit ve değişken içeren bir ifade, herhangi bir muhakeme alanında geçerlidir.

Yalnızca değişkenlerden ve mantıksal sabitler, ifadeden oluşan bir ifadenin örneği olarak alın: "A, daha sonra; Yani, eğer nea, sonra now. " Mantıksal Sabit İşte "eğer, sonra" ve "değil" önerme tahvilleridir. A ve B değişkenleri beyanların ackajını temsil eder. Diyelim ki, ancak bu "bir sebep var" ifadesidir ve "Sonuç olarak" ifadesinde. Bu özel içerik ile akıl yürütmeyi elde ediyoruz: "Bir sebep varsa, bir sonuç var; Yani, eğer soruşturma yoksa, o zaman neden olmaz. " Diyelim ki, bir açıklama yerine, "sayı altı" olarak ayrılır ve "numara üçe ayrılır" ifadesi yerine. Bu özel içeriğe dikkat edilmesi gereken şema temelinde, "Sayı altı bölünürse, üçe bölünürse, üçe ayrılır. Sonuç olarak, numara üçe ayrılmazsa, altı'ya ayrılmaz. " A ve B değişkenleri yerine diğer ifadeler ne olursa olsun, bu ifadeler doğruysa, sonuç doğru olacaktır.

Mantıkta, genellikle akıl yürütmenin yapıldığı nesnelerin alanının ve mantıksal yasaya göre ikame edilen ifadelerin boş olamayacağını söyler: içinde en az bir konu olmalıdır. Aksi takdirde, mantık yasası olan şemaya göre muhakeme, gerçek parsellerden yanlış bir sonuca varabilir.

Örneğin, gerçek parsellerden "tüm filler - hayvanlar" ve "tüm filler bir bagaja sahip", mantık yasası uyarınca "bazı hayvanların bir gövdesi var" gerçek sonuçlarını takip eder. Ancak, söz konusu nesnelerin alanı boşsa, mantık yasasının ardından gerçek parsellerde gerçek bir sonuca garanti etmemektedir. Aynı şemaya göre tartışacağız, ama zaten altın dağlar hakkında. Sonuç olarak inşa ediyoruz: "Tüm altın dağların dağları var; Tüm Altın Dağlar - Altın; Sonuç olarak, bazı dağlar altındır. " Bu sonucun her iki parsel de doğrudur. Ancak sonucu "Bazı dağlar - altın" açıkça yanlıştır: tek bir altın dağ yoktur.

Mantıksal bir yasa kavramı

Böylece, mantık kanununa dayanarak muhakeme için, iki özellik karakterize edilir:

Bu tür argümanlar her zaman gerçek parsellerden gerçek sonuçlara yol açar;

Soruşturma, parsellerden mantıklı bir zorunlulukla izler.

Mantıksal yasa da kabul edilir mantıksal tautoloji.

Mantık tavtolojisi - Hangi nesnelerin bahsediyoruz, ya da "her zaman doğru" ifadesinden bağımsız olarak gerçekleşen ifade.

Örneğin, ikame değişikliklerinin tüm sonuçları, çift inkarının mantıksal hukukuna ", eğer NEA'nın gerçek ifadeler olduğu yanlıştır:" Kurum siyah ise, o zaman siyah olmadığı yanlış, "Eğer bir kişi titriyorsa," Korkudan, o zaman, korkudan titreme yapmadığı doğru olmadığı yanlıştır ", vb.

Daha önce de belirtildiği gibi, mantıksal bir yasa kavramı doğrudan Mantıksal Kavramı ile ilgilidir: Sonuç, mantıksal bir yasa ile ilişkilendirilirse, sonucu, alınan parsellerden mantıksal olarak takip eder. Örneğin, "eğer A, daha sonra" ve "ise, eğer varsa, sonra" mantıksal olarak, sonra ", sonra", "ifadesinden bu yana" ifadesinden sonra, sonra, sonra ve sonra S, S, Öyleyse, eğer C ", yani mantıksal bir yasayı temsil ederse transitivity Hukuku(geçiş). Diyelim ki, "bir insanın insanı, o bir ebeveyni" ve "bir ebeveyni" ve "bir ebeveyni ise, o zaman bir baba ya da anne" derken, soruşturma anlamına gelir. bir baba ya da anne. "

Mantık takibi - Parseller ile sonuçların sonuçları, genel şema mantıksal bir yasa olan sonucun sonucu.

Mantıksalın mantıksal yasaya bağlı olarak bağlantısı iki özellik ile karakterize edildiğinden:

Mantıksal Aşağıdaki gerçek parsellerden sadece gerçek sonuca yol açar;

Sonuç, parsellerden aşağıdakiler, onlardan mantıksal bir zorunlulukla takip eder.

Tüm mantıksal yasalar doğrudan mantıksal takip kavramını belirlemez. Diğer mantıksal bağlantıları tanımlayan kanunlar vardır: "ve", "veya", "bu doğru değil" vb. Ve sadece dolaylı olarak mantıksal tutma oranıyla ilgilidir. Bu, özellikle, aşağıdaki çelişkiler kanunu: "keyfi olarak alınmış bir ifadenin ve

2.1. Kompozit İfadeler

İlkel ifadelerden daha karmaşık hale getirmek mümkündür ( bileşik) Kullanarak ifadeler paketler Ve ya da değil.

Örnekler. Kırmızı çitVE tahta çit.

KOLYA Peter'dan daha yaşlıVEYA Kolya Fedya'dan daha yaşlı

ÇitDEĞİL kırmızı.

Bu ifadelerin anlamı açıktır.

İfadeli ve iki temel ifadeyle ilgilidir. Kompozit ifade ile ve gerçekten ve sadece bu temel ifadelerdeki her ikisi de doğrudur. Bunlardan en az biri yanlışsa, - kompozit ifade yanlıştır.

İfadeli veya ayrıca iki temel ifadeyi içeren. Kompozit ifade, o zaman veya gerçekten ve sadece bu temel ifadelerden en az biriyse. Bu ifadelerin her ikisi de yanlışsa, kompozit ifade yanlıştır.

İle ilgili ifadesi, birinci bir ifade içermez (Rusça, bu ifadenin ortasına sıklıkla yerleştirilmez). Orijinal ilkey ifadesi yanlış ise, kompozit ifade doğru değildir ve aksine, ilk ifade gerçekten ise, kompozit ifade yanlış değildir.

Kompozit ifadeler sadece temel ifadelerden değil, diğer bileşik ifadelerden de yapılabilir. Bu kompozit ifadelerin inşaatı binaya benzer cebirsel ifadeler. Örneğin, bu ifadenin ne anlama geldiği açıktır (her ne kadar Rusça değil, ancak parantez kullanıyorsa :)

(Kolya Peter'dan daha yaşlıVEYA Kolya fedya'dan daha yaşlı)Ve ( KolyaDEĞİL vanya'dan daha yaşlı)

İşte 3 ilkel ifadeler.

2.2. Mantıksal değerler. Mantık işlemleri.

Her ifadenin ikisinden birine atfedilebileceğini zaten biliyoruz. mantık değerleri– doğru (genellikle belirtilir: 1 ) veya yanlış(genellikle belirtilir: 0 ). Kelimeler ve veya, veya, mantıksal değerlerle ilgili işlemleri belirtmeyin ( mantıksal İşlemler). Nitekim, örneğin, bir kompozit ifade ile ve gerçekten ve sadece her iki temel ifadeler doğruysa. Bunlardan en az biri yanlışsa, - kompozit ifade yanlıştır. Bizim için önemli değil, ilk ifadeler nelerdi? Kompozit ifadenin gerçeği sadece mantığa bağlıdır (bazen söylüyorlar - doğru) İlk ifadelerin değerleri.

Mantıksal değerler sadece iki olduğundan, bu işlemler tablolarla tanımlanabilir.

Operasyonlar ve ya da değil, "bilimsel" isimler (her çalışma için bile ve özel atamalar için bile (örneklerde, B'de bazı belirli mantıksal değerleri belirtir):

DEĞİL: inkar, inversiyon.Atama: ¬ (örneğin, ¬);

VE: birleşimi, mantıksal çarpma.

/ \\ (Örneğin, A / \\ C) veya (örneğin, A & B) anlamına gelir;

VEYA: bİLGİSİ, Mantıksal Toplama.

\\ / (Örneğin, a \\ / c) anlamına gelir.

Matematikte diğer mantıksal işlemler kullanılır.

Her mantıksal işlem tablosu tarafından belirtilebilir. İşte mantıksal işlemlerin iki örneği:

1) aşağıdaki (ima); → (örneğin ve → C) anlamına gelir; Sekmeyi görün. 4. Yanlış veya B doğruysa, A → TRUE ifadesini ifade edin. Yani ve → (¬) \\ / v ile aynı anlamına gelir.

2) kimlik (eşdeğerlik); ≡ (örneğin, a ≡ b) anlamına gelir; Bkz. Sekme 5. İfade A ≡ B doğrudur ve yalnızca A ve B'nin değerleri (veya her ikisi de gerçeklerdir veya her ikisi de yanlış).

2.3. Mantık ifadeleri. Toplam doğruluk tabloları.

Mantıksal işlemler, sayılar için aritmetik işlemlerle aynı rolün mantıksal değerleri için oynar. Cebirsel ifadelerin yapımına benzer, mantıksal işlemler kullanmak mantıksal ifadeler oluşturulabilir. Cebirsel ifadeler gibi, mantıksal ifadeler içerebilir sabit (Mantık değerleri 1 ve 0) ve değişkenler. Mantıksal bir değerde değişkenler varsa, işlevi ayarlar ( mantıklı işlevi; Eşanlamlı sözcük: boolevaişlevi). Belirli bir argüman değerindeki böyle bir fonksiyonun değeri, bu değerlerin değişken yerine ifadeye değiştirilmesi ile hesaplanır.

Her mantıksal ifade için, yapabilirsiniz hakikat tablosukarşılık gelen mantıksal işlevin hangi değeri aldığını açıklar (eşanlamlı: bir ifade alır) İzin verilen her değişken değer kümesiyle. İşte X / / Y ifadeleri için doğruluk tabloları (Tablo 6), X → Y (Tablo 7) ve (x → Y) / \\ (Y → Z) (Tablo 8).

2.4. Eşdeğer ifadeler.

Değişken içeren iki mantıksal ifadeler denir eşdeğeri (eşdeğeri) Bu ifadelerin değerleri değişkenlerin herhangi bir değeriyle çakışıyorsa. Bu nedenle, → B ve (¬) \\ / in eşdeğeri olan ifadeler eşdeğerdir ve A / \\ V ve A \\ / n - no (ifadelerin değerleri, örneğin A \u003d 1, B \u003d 0).

Eşdeğer ifadeler aynı hakikat tablolarına sahiptir ve doğruluk masasının eşsiz ifadelerinde farklıdır.

2.5. Mantıksal işlemlerin öncelikleri.

Mantıksal ifadeleri kaydederken, cebirsel ifadeler yazarken, bazen parantez yazmaması mümkündür. Aşağıdaki düzenlemeler takip edilmektedir. Mantıksal işlemlerin aşağıdaki düzenlemeleri (öncelikli), birincisi, öncelikle gerçekleştirilen işlemlerdir:

inkar (inversiyon),

birleşimi (mantıksal çarpma),

bİLGİSİ (Mantıksal Ek),

ima (takip)

kimlik.

Böylece, ¬, \\ / in \\ / s \\ / d, (((¬) \\ / c) \\ / (c \\ / d) ile aynıdır.

(A \\ / c) \\ / s yerine / / in / s'yi kaydetmek mümkündür. Aynı şekilde birleşme anlamına gelir: Bunun yerine / \\ B / \\ C'yi kaydetmek mümkündür (/ \\ b) / \\ C.

İleri geri

Dikkat! Önizleme slaytları sadece bilgilendirme amaçlı kullanılır ve tüm sunum yetenekleri hakkında fikirler vermeyebilir. Bu işle ilgileniyorsanız, lütfen tam sürümü indirin.

• Eğitim: Öğrencilerin tanıtımlarının sunumunu, mantıksal operasyonlar ve doğruluk tablolarıyla bilgi edinmek için.
• Geliştirme:
Matematiksel mantığın kavram ve sembolleriyle çalışacak öğrenci becerisini geliştirmek; mantıksal düşüncenin oluşumuna devam etmek; bilişsel aktivite geliştirmek; Öğrencilerin ufkunun genişlemesi.
• Eğitici:
fikrinizi ifade etme yeteneğini arttırın; Kendi kendine çalışma becerilerini ziyaret edin.

Dersin Türü: Kombineme - kazanılan bilginin sonraki bir konsolidasyonu ile yeni malzemenin açıklaması.

Dersin süresi: 40 dakika.

Malzeme ve Teknik Temel:

• interaktif tahta Akıllı tahta..
• MS Windows uygulaması - PowerPoint 2007.
• Öğretmen tarafından hazırlanan elektronik dersin bir versiyonu (PowerPoint 2007 ortamında sunum).
• Öğretmen tarafından hazırlanan görev kartları.

Ders planı:

BEN. Düzenleme süresi - 1 dakika.

II. Ders Hedeflerini Ayarlama - 2 dak.

III. Bilginin gerçekleştirilmesi - 9 dk.

İv. Yeni malzemenin sunumu - 15 dakika.

V. Çalışılan materyalin sabitlenmesi - 8 dak.

Vi. Yansıma "bitmemiş cümleler" - 3 dak.

VII. Sonuç. Ödev - 2 dak.

Sınıflar sırasında

I. Organizasyon anı.

Tebrik, sınıfta eksik işareti.

Slayt 1.

Bölümü incelemeye devam ediyoruz "Mantıksal Dil". Bugün işgalimiz "mantık ifadeleri" konusuna ayrılmıştır. Çalışma kontrolü ile başlar ödev (Pek çok mantıksal ligaman (operasyon) olan öğrencilerin şiirlerini göz önünde bulundurun ve keyfi bilgilerin mantık cebiri temelinde açıkça yorumlanabileceği sonucuna varılmıştır).

Böylece, dersimizin amacı mantıksal operasyonları incelemek ve keyfi bilgilerin mantık cebiri temelinde açıkça yorumlanabileceğini öğrenmektir. Ancak önce, son derste incelenen materyali tekrarlamak gerekir.

III. Bilginin gerçekleştirilmesi (ön anket).

Görev 1. Kartlarla çalışın (sorulara kısa bir cevap verin) .Ark, kanunları ve düşünme biçimlerini incelemek. (Mantıklar)

• Merhaba!
• Aksiyom kanıt gerektirmez.
• Yağmur yağıyor.
• Sokaktaki sıcaklık nedir?
• Rublesi - Rusya Parasal Birimi.
• Zor olmadan, göletten uzatmayın ve balık tutmayın.
• 2 numara, 9 numarasının bölünmesi değildir.
• X sayısı 2'den fazla değil.

7. İfadenin gerçeği veya keçesini belirleyin:

• Bilişim lisesi boyunca incelenmiştir.
• "E" - Alfabedeki altıncı harf.
• Kare bir eşkenar dörtgendir.
• Hipotenusun karesi, katetlerin karelerinin toplamına eşittir.
• Üçgenin köşelerinin toplamı 1900'e eşittir.
• 12+14 > 30.
• Penguenler dünyanın kuzey kutbunda yaşıyor.
• 23+12=5*7.

Peki söyleme nedir? (Doğru veya yanlış olduğu doğru olduğu gibi bir anlatı teklifi.)

Basit bir ifade nedir? (İfadenin, bir ifade yoksa basit (ilk) denir.)

Kompozit bir ifade nedir? (Kompozit ifade, mantık bağları (işlemler) ile bağlantılı basit ifadelerden oluşur.)

Görev 2.Basit ifadelerden kompozit ifadeler oluşturun: "A \u003d Petya kitabı okur", "in \u003d Petya çay içiyor." (Ekranda - Slayt 2)

Çalışmaya devam ediyoruz.

Görev 3. Aşağıdaki ifadelerde, sıradan ifadeleri vurgulayın, her birinin mektubu ile başvurun:

1. Kışın, çocuklar kayaklar ya da kayak yaparlar. (Slayt 3)
2. Güneşin dünyayı dolaşması yanlış. (Slayt 4)
3. 15 numara, eğer ve yalnızca 15 numaraların miktarı 3'e bölünürse 3'e bölünür. (Slayt 5)
4. Eğer dün pazardaysa, Dima dün okulda değildi ve bütün gün yürüdü. (Slayt 6)

İv. Sunumyeni materyal.

Önceki görevlerde, çeşitli mantık ligamentleri kullanılmıştır: "ve", "veya", "değil", "Eğer:", "Öyleyse ve sadece o zaman:". Cebir mantığında, mantık bağları ve karşılık gelen mantıksal işlemleri özel adları vardır. Kompozit ifadeleri alabileceğiniz 3 temel mantık işlemi - inversiyon, bağlantılı ve ayrılma. (Slayt 7)

Herhangi bir mantıksal işlem, deneme tablosu olarak adlandırılan tabloda belirlenir. Mantıksal bir ifadenin gerçek tablosu, ilk veri değerlerinin tüm olası kombinasyonlarının sol tarafta kaydedildiği ve sağda - her kombinasyon için ifadenin değeridir.

İnkar, değeri orijinalin tersi olan her basit (ilk) ifadeye yeni bir açıklama yapan mantıksal bir işlemdir. ( kaymak8)

İnkar edilmesinin kuralını basit bir ifadeye düşünün.

Kural:Basit bir ifadeye inkar edilmesini engellerken, konuşma cirosu "yanlıştır" veya olumsuzlama yağsız olarak oluşturulur, daha sonra "Değil" partikülü, "tüm" kelimesi değiştirilirken "bazıları" ve tam tersi.

Görev 4. Basit bir ifadeye inversiyon (inkar) oluşturun:

1. A \u003d Evde bir bilgisayarım var. ( kaymak9)
2. A \u003d 11 sınıfın tüm genç adamları mükemmel öğrencilerdir.
3. Will, şunu söyleyen bir inkar olacak: "11 sınıfın tüm genç adamları mükemmel değil." ( kaymak10)

"11 sınıfın tüm genç adamları - mükemmel öğrenciler değil" ifadesi, ifadelerin reddedilmesi değildir "11 sınıfın tüm genç adamları onurdur." Açıklamalar "11 sınıfın tüm genç adamları mükemmel öğrencilerdir" yanlış ve gerçek ifade yanlış ifadeye inkar edilmelidir. Ancak "11 sınıfın tüm genç adamları mükemmel değil" ifadesi doğru değildir, çünkü 11 derecelikler arasında hem onur hem de mükemmel öğrenciler yok.

Grafiksel olarak reddetme bir set olarak tasvir edilebilir. ( kaydırın 11.)

Aşağıdaki mantıksal çalışmayı düşünün - bağlantısı. Paketlerini birleştirerek iki açıklamadan oluşan açıklama, "ve" olarak adlandırılır (bağlantılar ek olarak - ancak).

Bağlaç - Her iki temel ifadeye uygun olan mantıksal bir işlem, o zaman doğru olan ve yalnızca her iki başlangıç \u200b\u200bifadesi doğrudur. ( kaymak12)

Grafik olarak birleştirici bir set biçiminde gösterilebilir. ( kaymak13)

Aşağıdaki mantıksal işlemi düşünün - ayrılma. Birleşik Ligament "veya" nin iki ifadesinden oluşan ifade beliriş veya mantıksal bağımlılık denir.

Ayrılma - Her iki temel ifadeye uygun olan bir mantıksal çalışma, daha sonra ve yalnızca her iki başlangıç \u200b\u200bifadesi yanlış olduğunda, yeni bir ifade. ( kaymak14)

Grafik olarak, ayrılma bir set olarak gösterilebilir. ( kaymak15)

Öyleyse, çalıştığımız üç temel işlemi adlandırın. ( kaymak16)

Doğrulama yaparken yeni bilgi uygulamaya çalışalım.

V. Çalışılan malzemeyi sabitleme (tahtada çalışın).

Görev 5. Diyagrama ve tanımlanmasına uygun olarak verin. ( kaymak17)

Görev 6. İki basit ifade vardır: a \u003d "10 numara - çift", B \u003d "Kurt - Herbivore Hayvan". Bunlardan tüm olası kompozit ifadelerinden yararlanın ve gerçeklerini belirler.

Cevap: 1-2; 2-6; 3-5; 4-1; 5-4; 6-3; 7-7.

Görev 8. İki basit ifadeye verilir: a \u003d "Ruble - Rusya'nın para birimi", B \u003d "Grivna - ABD para birimi". Gerçeklerin ifadeleri nelerdir?

4) A V B.

Cevaplar: 1) 0; 2) 1; otuz; 4) 1.

Vi. Yansıma "Bitmemiş cümleler."

• Ders ile ilgilendim çünkü:
• Derste en çok sevdim:
• Benim için yeni oldu:

VII. Sonuç. Ödev.

Sınıfın tamamı bir bütün olarak ve derste ayıran bireysel öğrenciler olarak çalışması tahmin edilmektedir.

Ödev:

1) Temel tanımları öğrenin, atamaları bilir.

2) Basit ifadelerle gelin. (5 tane iki ifade olmalıdır). Bunlardan, her türlü bileşik ifadeyi oluşturun, gerçeğini belirler.

Kullanılan malzemelerin listesi:

1. Bilişim ve BİT. 10-11 sınıf. Profil seviyesi. Bölüm 1: 10. Sınıf: Genel Eğitim Kurumları / M. Foshin, A.A. Rexin - m.: Bırak, 2008
2. Bilgisayar biliminin matematiksel temelleri. Eğitim / e.b. Andreeva, L.L. Bosova, i.n. Falina - m.: Binin. Bilgi Laboratuvarı, 2007
3. Malzemeler Öğretmen Bilişim Pospelova N.P., Mou Sosh No. 22, Schochi
4. Öğretmen Bilişim Sunumunun Fragmanları Polyakova K.Yu.