Istilah pemotongan, yang berasal dari kata Latin deductio , merujuk kepada tindakan dan akibat dari pemotongan. Ini kata kerja, sebaliknya, merujuk kepada lukisan kesimpulan atau mendiskaunkan jumlah tertentu.
Contohnya: "Pagi ini, ketika saya bangun, anda tidak berada di rumah: jadi dengan pemotongan, saya rasa anda telah menghabiskan sepanjang malam" , "Pemerintah provinsi mengumumkan bahawa ia akan menerapkan potongan sebanyak 2% untuk semua deposit bank yang melebihi 10,000 peso " , " Perbendaharaan akan membenarkan pemotongan perbelanjaan sewa dari Cukai Pendapatan . "
Pada tahap logik, pemotongan adalah jenis penaakulan melalui mana kesimpulan itu semestinya disimpulkan dari aksioma atau premis. Setelah berturut-turut formula, penaakulan deduktif memungkinkan kesimpulan dibuat dengan menggunakan peraturan inferensi.
Mari lihat bagaimana pemotongan dari premis berfungsi:
Premis No. 1: "Semua anjing adalah mamalia"
Premis No. 2: "Bobby adalah anjing"
Kesimpulan: "Bobby adalah binatang mamalia"
Seperti yang dapat dilihat, jika semua anjing adalah mamalia dan Bobby adalah anjing, maka pengurangan logiknya adalah bahawa Bobby juga merupakan mamalia sejak dia adalah anjing. Mengurangkan, dalam kerangka ini, terdiri dari pengekstrakan kebenaran tertentu bermula dari prinsip umum.
Ia dikenali dengan nama teorema pemotongan, dalam bidang logik proposisi, logik orde pertama dan sistem formal yang lain, metatheorem yang sering digunakan untuk membuktikan bukti yang lain. Metatheorem, sementara itu, adalah salah satu cabang logik, dan memberi tumpuan kepada kajian komponen dan sifat sistem logik; Di antara yang terakhir, kelengkapan, kebolehtentuan dan ketekalan menonjol.
Teorema pemotongan dapat didefinisikan sebagai formalisasi teknik bukti normal: anggapan A cukup untuk menyimpulkan bahawa B, dan dengan demikian menunjukkan bahawa B mengikuti dari A.
Premis contoh sebelumnya telah disahkan, keduanya yang pertama (yang dapat dijelaskan berkat fakta bahawa manusia telah menghabiskan berabad-abad untuk mengkaji spesies yang mendiami planet Bumi) dan yang kedua (sejak pemerhati memastikan bahawa Bobby jadilah anjing sebelum mengesahkannya). Akan tetapi, ketika kita mengunjungi tempat semula jadi untuk pertama kalinya dan melihat haiwan yang tidak diketahui bagi kita, adalah wajar bagi kita untuk menyimpulkan spesiesnya, walaupun kita tidak mempunyai pengetahuan saintifik dan tanpa memeriksanya dengan teliti.
Bentuk pemotongan ini sangat biasa, dan kadang-kadang boleh menyebabkan masalah serius, terutama apabila mesej yang kita rasa kita terima membuat kita merasa terancam atau terluka. Kita tidak dapat melepaskan diri dari sifat ingin tahu kita, kita perlu bersuara tentang segala sesuatu di sekeliling kita, tetapi sering kali kita melakukan kesalahan dan membuat kesalahan yang merosakkan hubungan, membuat kita tidak bekerja, atau menyakiti orang lain.
Dalam bidang cukai, pemotongan adalah elaun: potongan sejumlah kuota atau asas cukai tertentu. Katakan bahawa orang perlu membayar 5000 peso daripada Cukai Pendapatan. Peraturan pajak, bagaimanapun, memungkinkan untuk memotong dari pajak tersebut jumlah yang dilaburkan dalam kegiatan produktif. Bagi individu ini, ia adalah 1000 peso. Oleh itu, pemotongan yang sesuai dikenakan untuk penyelesaian asal: jumlah yang harus dibayar tetap pada 4000 peso.