“İfadelerin mantığı” terimini belirlemek için “İfadenin” ne olduğunu açıkça anlamak gerekir.
Yani, ifadeDilbilgisel olarak doğru olan ve yanlış veya doğru olan bir cümle. Bu kavram belli bir anlam ifade etmelidir. Örneğin, "kanarya bir kuş" ifadesi, bu tür kurucu parçaları içerir: "kanarya" ve "kuş".
Bu yüzden anahtarlardan biri, ilk mantık kavramları ve ifadeleridir. Bu kavramlar, bir şeyin ifadesi veya inkar olacağı belirli bir durumu tanımlamalıdır.
Bir durumun, onu tarif ederken bir durumun gerçekliğine göre izlenebilmesi durumunda, bir ifadenin doğru olduğu kabul edilir. Kendileri tarafından "yanlış" ve "gerçek" ifadelerin doğruluğunu belirler.
İfadelerin mantığı basit vekarmaşık ifadeler. Bu nedenle, diğer ifadeleri içermeyen bir ifadenin basit olduğu kabul edilir. Ve karmaşık ifadeler basit, mantıksal olarak ilgili cümlelerden türetilmiş ifadeleri içerir.
İfadelerin klasik mantığı olabilirgenel kesinti teorisi ile temsil edilir. Bu tam olarak, ifadelerin yapısından bağımsız olan basit ifadelerin mantıksal bağlantılarının tanımlandığı mantığın bir parçasıdır.
Birleşimden bahsetmiyorum bile - zor"ve" kelimesini kullanarak iki basit ifadeyi birleştirerek elde edilen bir ifade. Bir birleşme gerçeği, yapısına dahil edilen tüm ifadelerin güvenilirliği ile doğrulanır. Üyelerinden en az birinin sahte olması durumunda, tüm bağlantıda "yanlış" işareti bulunur.
Bağlantının kendisi, aşağıdaki varsayımlara dayanan karmaşık ifadeler oluşturmak için kullanılır:
- Herhangi bir ifade (hem basit hem de karmaşık) doğru veya yanlış olabilir;
- Karmaşık bir ifadenin gerçeği, içinde yer alan ifadelerin gerçeğine ve içindeki mantıksal bağlantılara bağlıdır.
Kullanarak iki ifadeyi bağlarken"veya" kelimesi zaten bir bağlantıdır. Günlük yaşamda bu kavram iki farklı anlamdan ele alınabilir. Birincisi, ikisinden birinin doğru ya da her ikisinin de olmasına bakmaksızın, bir ifadenin gerçekliğini ima eden münhasır olmayan bir anlamdır. İkincisi, münhasır anlam, ifadelerden birinin doğru, diğeri ise yanlış olduğunu iddia eder.
Formül mantığı ifadeleri özel içerirkarakter. Bu nedenle, bir kavşakta, V sembolü ifadenin en az birinin doğru olması durumunda ifadenin doğru olduğunu ve her iki üyesinin de yanlış olması durumunda yanlış olduğunu belirtir.
Bir ima tanımlanırkenifadenin temelinin yanlış bir soruşturma ile doğru olamayacağı ifadesi. Başka bir deyişle, bu kavram, bir ifadenin gerçekliğinin veya sahteliğinin, bileşenlerinin anlamı ve bağlantı yollarına bağımlılığını ima eder.
Her ne kadar ima oldukça faydalı olsa daBazı amaçlar için, genel olarak iletişimin geleneksel anlayışı ile çok tutarlı değildir. o kavram verilen ifadelerin mantıksal davranışının önemli özelliklerinden cihaz çoğunu da saran zaman, bunun yeterli bir açıklama olmayabilir.
İfadelerin mantığı,merkezi görev, doğru ve yanlış akıl yürütme ve sistematizasyon kalıplarının ayrılması olarak. Doğru sonucu elde etmek için, bir formu veya başka bir formu temsil edebilecek özel karakterlere odaklanmanız gerekir. Dolayısıyla “veya”, “ve” vb. Gibi önemsiz görünen kelimelere ilgi gösterilmektedir.
İfade mantığı, aşağıdaki öğelerden oluşan kendi diline bile sahiptir:
- kaynak sembolleri - değişkenler, mantıksal sabitler ve teknik işaretler;
- formüller.
Söylenenleri daha iyi anlamak için belirli örneklere gitmek gerekir. Örneğin, kavşak & sembolünü, / / veya º / çıkarımını kullanır.
