Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Sembolik Mantık' ın anlaşılması için ilk olarak önerme kavramının açıklaması gerekir. Önerme; Bir yargı belirten, doğru veya yanlış olan cümlelere denir. Örneğin; "Ankara, Türkiye'nin güneyindedir." cümlesi bir önermedir ve bu önerme yanlıştır. "1 Ocak, yeni bir yılın başlangıcıdır." önermesi ise doğru bir önermedir. Önermeler mantığında basit önermeler p, q, r, s, t, v, z..... gibi önerme sembolleriyle gösterilir.
Cümlenin ögeleri, cümlede yüklem ile görev ve anlam yönünden yükleme eşlik eden diğer parçalardan her biri. Cümlenin ögeleri tek bir sözcükten veya sözcük grubundan oluşabilir. Ögeler anlamlı ve doğru cümleler kurulabilmesini sağlar. Türkçede cümlenin ögeleri şunlardır:
- Yüklemler
- Yapım ekleri
- Çekim ekleri
- Nesneler
- Bağlaçlar
- Dolaylı tümleçler
- Zarf tümleçleri
- Edat tümleçleri
- Özneler
- Noktalama işaretleri
Bağlaçlar veya rabıt (bağlama) edatları; kelimeleri, kelime gruplarını veya cümleleri biçim veya anlam yönüyle birbirine bağlayan kelimeler: ve, veya, ile, ama, de (da), ancak, çünkü, eğer, hâlbuki, hem … hem …, hiç değilse, ise, ki, lâkin, meğer, nasıl ki, ne … ne …, öyle, öyle ki, sanki, şu var ki, üstelik, yahut, yalnız, yani, yoksa, zira vs. Bağlaçlar, ifadeleri ilgi ve önem sırasına koyarak düzenlememize yardımcı olur.
Soru veya sual, bilgi isteğinde bulunmak için dilsel bir ifade ya da istek kullanılarak yapılan bir tür ifadedir. İstenen bilgiler için olumlu veya olumsuz şekilde bir cevap verilir.
Zamir veya adıl, cümlede varlıkların adları yerine kullanılabilen ve adların yerine getirdiği bütün işlevleri yerine getirebilen ad soylu sözcük. Ben, sen, o, biz, siz, onlar; kendim, kendin, kendi, kendimiz, kendiniz, kendileri; bu, şu, o; kim, ne ve biri gibi kelimeler, sıklıkla zamir olarak kullanılır. Türkçede herhangi bir sözcüğü zamir olarak adlandırmak yanlış olur çünkü pek çok ad soylu sözcük gibi zamirler de cümlede ayrı görevlerde kullanılabilir:
- Şunu da satın alayım. (zamir)
- Şu ceket de hoşuma gitti. (sıfat)
Cümle veya tümce; bir ifade, soru, ünlem veya emiri dile getiren; kendi başına anlamlı sözcükler dizisi. Çoğunlukla özne, tümleç ve yüklemden meydana gelir. Bazen yan cümleciklerle anlamı pekiştirilir veya genişletilir.
Mari (Çirmiş) dili Ural Altay Dil Ailesinin Ural Koluna bağlı Fin/Ugor dilleri ana grubundandır ve 600.000 kişi tarafından konuşulur. Çirmiş dili; Rusya'ya bağlı Mari El Cumhuriyeti başta olmak üzere Rusya'da Tataristan, Udmurtya ve Perm bölgelerinde konuşulur. Etnik Çirmişler, çoğunlukla Ural Dağları'nın doğusunda Vyatka Nehri çevresinde yaşamaktadır.
Eş anlamlı, anlamdaş, müteradif veya sinonim; yazılışları farklı olduğu hâlde anlamları aynı veya çok yakın olan sözcükler.
Olumlu cümle, içinde herhangi bir olumsuzluk eki veya koşacı olmayan cümlelere denir.
Olumsuz cümle, olumsuzluk anlamı taşıyan cümledir. Olumsuzluk bazen "me" olumsuzluk ekiyle, bazen de diğer olumsuzluk sözcükleriyle sağlanır.
- O dün okula gitmemiş.
- Bunu duyduğuma hiç şaşırmadım.
- Bana sorarsan bu problemi öğretmen dahi çözemez.
- Bugün hiç güzel bir gün değil.
- Bizim sınıfta hiç kız öğrenci yok.
- Gösteriye ne annem ne de babam gelebildi.
Soru cümleleri; soru anlamı taşıyan, cevap bekleyen cümlelerdir. Soru eki (mi), soru zarfı, soru zamiri veya soru sıfatı ile oluşturulur. Soru cümlelerinin sonuna soru işareti (?) konur.
- Odanın sıcaklığı iyi mi?
- Hangi kitabı istiyorsun?
- Kim geldi?
- Hesabı nasıl ödeyeceksiniz?
Birleşik cümle veya bileşik cümle, bir ana (temel) cümle ile onun anlamını tamamlayan bir veya daha fazla yardımcı cümleden meydana gelen cümledir. Birleşik cümlelerde ana yüklemin haricinde yargı veya eylem bildiren başka sözcükler de bulunur. Aşağıdaki örneklerde yardımcı cümleler eğik çizgi (/) ile ayrılmıştır ve bazı noktalama işaretleri anlatım kolaylığı açısından kullanılmamıştır:
- Gittin / sanıyordum.
- Otobüs zamanında gelmezse / geç kalacağız.
Biçimbilim, yapıbilim, biçim bilgisi, şekil bilgisi, morfoloji veya yapı bilgisi dilbilimde sözcüklerin içyapısını inceleyen alt dalıdır. Temel inceleme nesnesi, dilin anlam taşıyan en küçük parçaları olan biçimbirimlerdir. Biçimbilim, sözcükleri, nasıl oluşturulduklarını ve diğer sözcüklerle ilişkilerini inceler ve sözcüklerin kök, gövde ve ek gibi bileşenlerinin yapısını çözümler.
Olumsuzluk eki, bir cümlenin olumsuz anlam kazanmasını sağlayan ek; yapım eki. Türkçede olumsuzluk eki -me'dir. Bu ek, kendinden önceki hecede kalın bir ünlü varsa -ma'ya dönüşür:
- Dün gece eve gelmedim.
- Yarınki törene katılmayacağım.
Anlatım bozuklukları, yazılı veya sözlü anlatımda karşılaşılan hatalardır. Bu hatalar yapısal (dilbilgisel) veya anlam ve mantık bakımından olabilir. Öge eksikliği, ek eksikliği gibi yapısal bozukluklara "bağlaşıklık hataları"; gereksiz sözcük kullanımı, yanlış sözcük kullanımı gibi anlamsal bozukluklara ise "bağdaşıklık hataları" denir.
Bağlam, sözcüğü ile şunlardan biri kastedilmiş olabilir:
- Bağlam (dilbilgisi), iletişime katılan öğelerin birlikte meydana getirdiği ortama bağlam denir. Başka bir deyişle göstergenin öteki öğelerle birlikte ve onlarla birleşerek, bütünleşerek onların da yardımıyla bir kavramı yansıtmasıdır. Bir sözcüğün hangi anlamda kullanıldığını bağlamına göre belirleriz. Bir sözcüğün anlamını belirlemede bağlam devreye girer. Bu açıdan bağlam, iletişimde çok önemli bir yere sahiptir. Örneğin “sıfır” kelimesi değişik bağlamlarda değişik anlamlar ifade eder.
- Bu sözcük, “Pazarda sıfır gibi bir araba buldum ve onu hemen aldım.” cümlesinde aracın hasarsızlığını, kullanışlılığını, yeniliğini bildiriyor. Yani olumlu anlamda kullanılmıştır. “Sorma, su içsem kilo alıyorum, bütün rejimleri denedim, netice sıfır.” cümlesinde ise “sıfır” sözcüğü “kötü, başarısız, verimsiz” anlamında kullanılmıştır. Yani olumsuz anlamda kullanılmıştır.
- Bağlam, bir hukuk terimi.
Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.
Mantıkta, bir cümle sonlu sayıda terimden oluşan bir ifadedir. En yaygın şekliyle ayrılma ile bağlanmış bir cümlenin içindeki terimlerden herhangi biri doğru olduğunda cümle de doğrudur. Çok yaygın olmayan birleşme ile bağlanmış bir cümlenin doğru olması için içerdiği terimlerin hepsi doğru olmalıdır. Kullanılan bağlaca göre, bir cümle sonlu terimlerin ayrışımı ya da sonlu terimlerin birleşimi olarak tanımlanır. Mantık cümleleri, 
terimleri için, genellikle aşağıdaki şekilde ifade edilir:
Kaziye veya hüküm, klasik mantıkta, iki veya daha fazla terimle yapılmış, doğru ya da yanlış olma ihtimali taşıyan bir hüküm bildiren, akıl yürütmelerde başlı başına birer görev îfâ eden önerme cümlesi.