Secara etimologis logika berasal dari kata yunani logos yang berarti kata, ucapan, pikiran secara utuh,

atau bisa juga berarti ilmu pengetahuan. Dalam arti luas logika adalah suatu cabang ilmu yang mengikuti penurunan penurunan kesimpulan yang sahih (valid, correct) dan yang tidak sahih (tidak valid, incorrect). Proses berpikir yang terjadi di saat menurunkan atau menarik kesimpulan dari pernyataan pernyataan yang diketahui benar atau dianggap benar disebut dengan penalaran (reasoning). Kalimat adalah susunan kata-kata yang memiliki arti yang dapat berupa pernyataan. (pintu itu tertutup), pertanyaan (apakah pintu itu tertutup?), perintah (tutup pintu itu!), ataupun permintaan (tolong tutup pintu itu.). Dari 4 macam kalimat tersebut hanya pernyataan saja yang memiliki nilai benar atau salah, tetapi tidak sekaligus benar atau salah. Untuk itu, kita dapat menggunakan 3 teori yang dapat membuktikan nilai kebenaran, yaitu teori korespondensi, teori koherensi, dan teori pragmatis.

1. Teori korespondensi Menunjukkan bahwa kalimat akan benar jika hal yang terkandung dalam perrnyataan sesuai dengan keadaan yang sebenarnya. 2. Teori koherensi Menyatakan bahwa suatu kalimat akan bernilai benar jika pernyataan yang terkandung dalam kalimat bersifat koheren, konsisten, atau tidak bertentangan dengan pernyataan-pernyataan sebelumnya yang dianggap benar. Contohnya aljabar yang pernyataan dianggap benar (aksioma / postulat) 6 aksioma yang berkaitan dengan bilangan real a,b,c terhadap + dan * berlaku sifat :

a.

Tertutup, a+b R dan a.b R

b. Asosiatif, a+(b+c) = (a+b)+c dan a.(b.c) = (a.b).c

c.

Komutatif, a+b=b+a dan a.b=b.a

d. Distributive, a.(b+c)=a.b+a.c dan (b+c).a=b.a+c.a e. Identitas, a+0=0+a=a dan a.1=1.a=a f. Invers, a+(-a)=(-a)+a=0 dan a.(1/a)=(1/a).a=1 Berdasarkan itu dapat dibuktikan b+(a+b)=a 3. Teori pragmatis Tugas 1 :
1.

Pernyataan?berikan alas an jawaban anda! a. X+3=2 b. X+3=2 adalah suatu pernyataan c. 111 adalah bilangan prima d. Tadi pagi fahmi bertanya :bu kapan ya nilai kita diumumkan? e. 2n+1 untuk n A adalah bilangan ganjil

2.

Andi berbohong pada hari senin, selasa, rabu, sedangkan pada hari lain ia berkata benar. Teman karibnya, badu berbohong pada hari kamis, jumat dan sabtu, hari lain benar. Pada suatu hari, andi berkata :kemarin adalah hari dimana saya berbohong, badu lalu menimpali :kemarin adalah hari dimana saya berbohong juga a. Pada hari apa saja mereka dapat menyatakan hal itu? b. Jika mereka berdua sama sama menyatakan bahwa hari kemarin adalah hari di mana mereka berkata benar, pada hari apa mereka dapat menyatakan hal itu?

3. Pada suatu rumah makan, andi seorang sopir sedang duduk mengelilingi meja berbentuk persegi dengan 3 orang temannya. Ketiga teman andi tersebut bekerja sebagai kelasi, pilot, markonis. Tentukan pekerjaan budi jika andi duduk di sebelah kiri candra, budi duduk dikanan kelasi, dan dani yang duduk berhadapan dengan candra bukan seorang pilot.
4.

Ada 3 orang siswa yaitu toni, didi, hori. keterangan :

a.

Toni tidak pernah berbohong. Didi kadang.sedang hori sering.

b. Mereka memakai kaos hijau, kuning,merah

c.

Siswa yang memakai kaos kuning menyatakan bahwa siswa berkaos merah adalah hori

d. Siswa yang memakai kaos merah menyatakan dirinya adalah didi e. Siswa terakhir yang berkaos hijau menyatakan yang berkaos merah adalah toni. Berdasarkan keterangan di atas, tentukan warna kaos yang dipakai tiap siswa. (berikan alas an dari jawaban anda)