Deyimlerin mantığı

"Önerme mantığı" terimini belirlemek için "söz" un ne olduğunu açıkça anlamak gerekir.

Yani, bir bildiri, gramatik olarak doğru olan ve yanlış veya doğru olan bir cümledir. Bu kavram belirli bir anlam ifade etmelidir. Örneğin, "kanarya bir kuştur" ifadesi, "kanarya" ve "kuş" gibi bileşenleri içerir.

Bu nedenle mantıksal temel mantık kavramlarından bir tanesi deyimlerdir. Bu kavramlar, bir şeylerin ya da bir olumsuzlamanın ifade edileceği belirli bir durumu açıklamak zorundadır.

Durumun gerçekliği açıklanırken açıklanırsa, demeç doğru sayılır. Tek başlarına, "yalanlar" ve "hakikat" ifadelerin doğruluğunu belirler.

Deyimlerin mantığı basit ve karmaşık ifadelerden oluşur. Yani, kompozisyonunda diğer ifadeleri içermeyen basit bir ifade basit kabul edilir. Ve komplekse basit, mantıksal olarak ilişkili ifadelerden türetilen ifadeler vardır.

Önermelerin klasik mantığı genel bir çıkarım teorisi ile temsil edilebilir. Bu, konuşmaların yapısından bağımsız olan basit ifadelerin mantıksal bağlantılarının tanımlandığı mantıkın tam parçasıdır.

Bağlamdan bahsetmek olanaksızdır - iki basit ifadeyi "ve" sözcüğüyle birleştirerek elde edilen karmaşık bir ifade. Birleşimin gerçeği, yapısında yer alan tüm ifadelerin güvenilirliği ile doğrulanır. Üyelerinin en az birinin sahte olması halinde, tüm birleşimin bir "yalan" işareti vardır.

Birleşimin kendisi, böyle varsayımlara dayanan karmaşık ifadeleri oluşturmak için hizmet eder:

- Herhangi bir ifade (hem basit hem de karmaşık) gerçek olabilir veya yanlış olabilir;

- karmaşık bir ifadenin gerçeği, doğrudan doğruya ifadelerin ve mantıksal bağlantıların gerçeğine bağlıdır.

İki cümle "veya" sözcüğü kullanılarak birleştirildiğinde, bir ayrışma elde edilir. Günlük yaşamda bu kavram iki farklı anlam bakımından değerlendirilebilir. İlk olarak, bu iki ifadenin bir tanesinin doğru olup olmadığı ya da ikisinin birden olup olmadığı ifadenin gerçeğini ima eden, münhasır olmayan bir anlamdır. İkincisi, münhasır anlamda ifadelerden birinin doğru olduğuna, diğeri de yanlış olduğuna işaret eder.

Önerme mantığının formülleri özel simgeler içerir. Böylece, ayrımda V sembolü ifadenin doğru ifadelerden en az biriyle doğru olduğunu ve her iki teriminin de yanlış olması durumunda yanlış olduğunu gösterir.

Anlamı belirlerken, konuşmanın temelinin yanlış bir sonuçla doğru olamayacağı iddiası vardır. Başka bir deyişle, bu kavram, gerçeğin veya yanlışlığın bileşenlerinin anlamı ve bağlantılarının yolları üzerindeki bağımlılığını varsaymaktadır.

Bu imkanın bazı amaçlar için yeterince yararlı olmasına rağmen, genel biçimindeki koşullu ilişkinin anlaşılması ile tutarlı değildir. Dolayısıyla, bir konuşmanın mantıksal davranışının birçok önemli özelliğini kapsayan bu kavram, yeterli açıklaması olamaz.

Açıklamalar mantığı, mantığın doğru ve yanlış planlarının ayrılması ve eski mantıkların sistematize edilmesi gibi merkezi bir görevi çözmeyi amaçlamaktadır. Doğru sonuca ulaşmak için dikkatinizi bir veya başka bir formu temsil eden özel sembollere odaklamanız gerekir. Bu nedenle, ilk bakışta anlamsız olan "veya", "ve" vb. Kelimelere olan ilgi belirtilmektedir.

Deyimlerin mantığı, aşağıdaki öğelerden oluşan kendi dilini bile barındırıyor:

- başlangıç sembolleri - değişkenler, mantıksal sabitler ve teknik işaretler;

- formüller.

Söylenilen şeyin daha iyi anlaşılması için somut örneklere geçmeliyiz. Örneğin, bağlantı, & sembolü, - \ / veya \ º / ayrımı kullanır.