Uygulama, İspanyol Kraliyet Akademisi (RAE) sözlüğünde belirtilen tanımlara göre, çeşitli kullanımlara sahip bir terimdir. Bir şeyin sonucu veya sonucu, haklı bir karar vermek için şartlar arasındaki çelişki veya ahlaki veya yasal bir uyumsuzluk olabilir .

Dilimizin diğer pek çok teriminde olduğu gibi, ima etme kelimesi çoğunlukla Arjantin, Uruguay ve Şili gibi bazı Güney Amerika ülkelerinde kabul edilirken, İspanya'da doğrudan Latince bir kelimeden türetilen söz dizimi kullanılmaktadır. Her ne kadar anlamları eşdeğer olsalar da, birinci paragrafta belirtilen, yasal ya da ahlaki bir uyumsuzluğu ifade eden Uruguaylı ve Şili anlamı gibi belirli farklılıklara sahiptirler.

Uygulama ve imalamanın eşanlamlı terimler olduğunu bilerek, mantıktaki rolleri hakkında konuşmak mümkündür. Mantıksal türetme olarak da adlandırılan mantıksal hesaplama, doğru olarak doğrulanmış bir veya daha fazlasına dayanarak gerçek bir ifadeyi çıkarma veya çıkarım yapma imkanı veren bir sistem veya algoritmadır; Önerileri bağlama ve ilişkilendirme imkanlarından ikisi, koşullu işlevsel gerçek ve imalardır .

Aşağıdaki A -> B mantıksal işleminin, gerçek bir işlevsel koşullu mu yoksa bir uygulama mı olduğuna bağlı olarak iki şekilde okunması mümkündür: ilk durumda, onun okuması A, sonra B olur ve bu, önerme ile örneklendirilebilir. "2014 yılındaysak, bir sonraki 2015 olacak" ; Diğer olası okuma, A'nın iki önerinin birbirinden farklı bir değere sahip olduğu ve olası bir örneğinin "2014 yılındayız", dolayısıyla bir sonraki "2015 olacak" olduğu B anlamına gelir .

Farklılıklarda daha da derinleşen şartlı okuma, doğru ve yanlış olan iki olası değerden birine sahip olan önermeyle sonuçlanır; Doğruluk değerleri tablosunda ( bileşiğin önermelerinin doğruluk değerlerini göstermek için kullanılır, gerçeğin olası tüm kombinasyonlarını düşünürken), bu ifadenin yalnızca A doğru ve B yanlış ise yanlış olabileceği görülebilir. Öte yandan, B'nin onaylanması, A'nın onaylanmasının geçerliliğine bağlıdır: “2014 yılı içindeyiz” diyerek yalan söylersek, onunla ilgili herhangi bir teklif geçerliliğini yitirir.