Apa yang dimaksud dengan Logika Informatika?, Dari pertanyaan itulah, kita akan mengulas mengenai tentang Logika Informatika, mungkin diantara kalian ada yang sudah mengetahui & paham mengenai tentang Logika Informatika.
tetapi tidak dapat dipungkiri juga masih banyak diantara kalian yang masih belum mengetahui & paham mengenai tentang Logika Informatika, oleh sebab itu artikel ini dibuat agar kalian yang belum mengetahui & memahami tentang Logika Informatika.
mari kita simak bersama-sama mengenai tentang Logika Informatika yang tertera dibawah ini.
Pengertian Logika Matematika
Secara dasar Logika Informatika adalah Sebuah ilmu yang menggabungkan prinsip Ilmu Logika & pembuktian dalam Matematika. Dari pernyataan ini terlihat jelas ilmu logika & matematika dapat disandingkan dengan seimbang.
Logika matematika sebagai ilmu independen yang muncul pada abad pertengahan ke 19. Pada abad sebelumnya, logika matematika ini dipelajari melalui Ilmu Retorika, Silogisme, & sebagai Ilmu Filsafat.
Setelah berada pada abad ke 19 inilah, sebagian Ilmuwan Matematika Besar, seperti : George Boole, Augustus De Morgan, & George Peacock mencoba meneliti dan mengembangkan Logika Informatika tersebut.
Baca Juga : Logika Matematika dan Penarikan Kesimpulan
Materi Pertama Konjungsi & Disjungsi
Pada materi pertama logika informatika ini mempunyai 2 macam fungsi yaitu : Konjungsi & Disjungsi.
Konjungsi adalah dua buah penyataan majemuk yang dihubungkan dengan kata penghubung “dan”, dan disimbolkan dengan lambang “∧”.
Berikut adalah Tabel kebenaran konjungsi :
alt="Konjungsi Nilai Kebenaran Pernyataan Majemuk" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAPMAAACmCAMAAAA4a0lJAAACJVBMVEX////Hx8c5OTmYmJhpaWn29vYMDAz5+fkHBweysrJOTk6VlZX///1TU1O+vr7///spKSno9f2CgoKPj49CQkL5//9hYWH///bx+/63t7cAAADW/P/f39/y//////T//u9xcXEhIiLs8ffp6e789Ofu1LH+9uLj/f///erg8PkYGBjjxJxLaab37deq3ffNoXt2p9D//OGbx+Pz5smZYD0hLIS96/zAjWU/OVHs2L14i8Lu27PcuZBuotA6Q2qnp6dwJxALDhklYqPN2L+khmxGFxkeIzpZgrCSalRAIRYXFzNGVICTlYdgb3bUp3ZFLxgFBT9wl7e+vq8zJhoQNVfErZVxPCgXF0qmj18oWHSDcXVGHjlVQ0pLbZ7A3ex0TkKezetghJmwdk2BSz8kMmE0Fic3AgmIwugnTKFuTU6Ua2K2d00rFQ8eUoY4KUVje3FlPGCIqc750JhAHkXLmmJJls2od2JDQGxqTIVgJzUgHWg2hMJdOT0wJV7frXEVSYwrbLN+VDZxYoklGWCnelczKFKcbnUQBjAgFCNAeZtmTkBUM0LHuZx8akqhspo1O3KRtMZ2PlRndpSZao2/2dggOIKWQSQaLTpRW3xgMiY+O12Dfm8bChtrSC84VY84iMWnr8TUzOTUuriNi8K2kY5/YnRLTl7Vr6tGHynNoYx0e4xZWHGOm7hJNVCIOFN1iYaHcbOjkKawos5gTqGdXl5QGwpxODo08HHZAAAL+UlEQVR4nO2d+1sTVxrHAxq5dNgTw2XEZgPIBME4RQhbmE2A4iJGIrhcgpVCxBaXqrUVBOwFadmilQCVUiyXrNe6qaDW3e3Wv2/PTOKKfZz3zJk5eZ4q5/s80R88vs985rznzMz5znvGZuPaKrKzCJLBIgaLIICeg2Zk2q2rMZtBkO25DIIAyvw/dMbuHdaVmfl7CQJo93PmTAZpk5XNIMj2NxgEAZTJma2KM5sUZ2YvzgxIQPbSPfhXugdqRWQWtBB2OxSFwKwdSQb+vewmSsjQ4u/JBwIYZhb97zQd/EvzoZbDFUArErMgKcEjraGjbfV/1G9EYHa3H/trR2ewq/tA4kjQJkJBDvfsO97x7sEIAG08tzH0id5qd/t7Y8DhEpiFssq+/ojbe7JhAGhFym33ZF3BqWr5/cHqXWpM/wf9zwgF3/Tg8M6yytO3oY4xziy1/21wCJP3fPimfiMCs+g9sz9is/nOht4CWpGYq859dD6SjyY/rlfJyms/uTC8M/Ev5aOXD+yyCSMX63cC/5+CefQa7mFrzL7xS9X5NuQ5sx/qBxKzr+by0C6bmGBG3k+rvYuJjhZGPuuvUPPgcy0D9GR8DpPf/xx3jtt76AvTua3Cvm2zlVXWQcOZOIeNTPRHtD4dxmRV4x0V6k+LP6l1s6/my7eZzGHI3/PVXkw+fWUIaEVmrsB/TnUPQcdEYBYnr+DUxceDE9yGAngwC/6/ax3rnvwaJ4C7/aODUBpRzNvez+rzBSnwoH8v0MpAPyNl+vR5aDiTmItGQ9W7ED75B3biPr2qjuXyWq2jRZVZ9PZ8Aw5n48xS+7WZiCsc7QdPIcws+MYbFjqvnomrGa4vAnNVzZWOpc7mNXU0uwMd2lD2f6p2tDAy2780d2Fe7W1ARpkFufbGt1PL1xfAM0ict5XgtZWFcN9hKFdIzP7vFpvzWmaq1dsa3/eJ2crdrnV0UWCiZWbp3A3o6mycGflqvgIPNCEj957ltXFwOBOY0cgFOHWrfoBz0TCz6F0dAw80ISPMvvHQANgAZi4fvV4Nzfr4gjUGJ6MxZkFUplvHSsnQZGbkmjvZUA0eFMQsSJ6pweEK/SORXO2nD7PIbXxhcDiWbwE3I0mRnzGUZofDcWIAagMxu9ujDkdLvW7yopE8HH+MzbXKmF6vZ0lj4swmxZnZizNbFmc2Kc7MXludOc26ctMZBMkpZhAE0GYvNt26HDsYBNlXwiAIIO7FWhZnNinOzF4UHp3yh4TSKvRX2AjMSLqXDBIBXDQaZkFOS0Z0gebhZhlnlka7MpfzsOIb1brHS2AuCvTsa0pXY6ws6D/W0zCLgeiOZTVi3cNheBXsuShyW2rXlvPd3tWDugsmpNxWDSvVcFGCDfrrgFS5LYzMqk6p4Ku5MWBgwU6VcWZBfv+GuhSPcHTd5WkSc3nlY22dV65dG9JdyKNidk+qa/s48rmvQZNqk4wzo4Q7J0hzfbd1V31JzPL0Gu5fQfScXdG3MqiYq85dx6yC6D/ZD6/8PReF/+z99XxWYWHW0eKOiG4jkv/sCXZ3FBYWNsY2gE6hYvb3dC/giOHYjNFupvJi/7GcnZ2dlw6dT6L/fHM5T40RGgZWe6nm7ZEJNWJ213nDyFRerDqcUdn67Bf6hgaBOTmcJc+ZEDDh0DAnh3OR54NbRlObyovVzHY8hf1J32EjMCeGMx6EtXUH9L0IGubEcFbNSoIxt0kUXuyh2+phIv+U/rRN8iU9Qe2lCuEZ+8tFw5xwoVV2w9O2cV9SGlWvzgKSKx+Pmc3tZ1dnKRztBxxoCmaUuDojKbAKvir0ggwyIzk89c2prKysRmdBv/60DTIjaW7+dKgRxzja+xDqFOPMUud06wyOmPVGcIX5HCZ6cxKKLy6ZfT8MKc3JIG0LgMlGwSx4YsmIK3DEF8WfqyyLM5sUZ2YvzmxZnNmkODN7cWbL4swmxZnZa6szb7Ou7Q4GQfJyGAQBtNl/3m5d2SUMgjjSGQQBtNVzm0E4zmxSnJm9KLzYudyEHkX0PQgiM5KUxtzcO667d/Xb0DELkrJNjXgvwnx9W5AC0aYTxVgFbcO6rUjMSG50xoq3F8cu/ajfiM6Lle878UE5i2chO+gF0fjP2gq3TfT2fKjbhsRcVhk/XJEvKfNX/qzfiIq5qH2to8LmVmqOw5Upm2TCf/ZPmWf2jWteu+j5J6t+rqq5rlpfyP9dCvoZ+Xu+fFNb3Y/X6zYiebHydN1MZA/OmXusxnPVuZYZdSQX/cR+PNvEwKHuJ06nM3YKeHGD+G6FEsyLb9wB3sKxUTIjz3x6fGMhQrFfD43/3NqGJ4tYFLJRyfO2HN7eF18E33ehm7eRvB7rixt/g4befxak8FOgeNnA9RlJnc0Tl4aZ+FXPIiqx6GAKPPfkcLbkPyM5TT1dglQ5CxV9UzALSuKdq6L20+A+Cy/IuP8ceKBtZCB6oEJ3mLko0KsZ46L3DHSENF7sZCixqcHIe3Ad2WYZ959rjw8ligg/BorUYebyytUTCxX5otIMOqcUzOLktdAdNeL4Jea5jTyxY61teNZ2bhR3ACeUwLz+tK2tWA3Cag4T2wse4puwGI5o9OpsnFlxJvVoCQoOM7tdd12duc6NO/CllCa3lSVXONfpTNG1ypBer+cqY+LMJsWZ2YszWxZnNinOzF6c2bI4s0lxZvba4sxb0otlYGe/ap77VsxtzmxOrxuzICrNBQWLaWk/mq6vKvKcLdC08QioJaD1Yud6CwoeLd1PgXcjlK2v4AkgN5Zneq3XJirTEw1PcJRYwaJ+JQudd6Nc3Xhj27aj0YsH2Ht0onficEU+PqsT5plt7sDE/r3avrpAgRUVc3ntpeEKmyjXwvvVbhbNfr0X6/NVD2f9F/PMZbWP1dVxIenJvly0Xqy2zaX/vynwYkXvasOCVr911+yavsaqbtgrhXuB4lrKfnbM3NmZb3PfM1xtRDWeo8uE8irifgaeqaZ4QUFOzkOoHopuPPuaJ9IfPjI8gdno5m1JOdobjUNldCRmPJxDjVixOCO/yqbtC3E0ml7XYbyojOr6LIiuufnT+4G9TQnMyeGMfNB2BtTXZ0GSwzcHDU/bxvdxlde1qk6kQGWxBvbrHWBaCyx4El6sGEiBF4t8NVqpN1I3t9ZvRtqX+eQtdWQIzPoZTTZo7j0auai/5+dvZZjZ/07LTCQfzxhrB4DpguQ/z6oDA9/P9TEaz+KkYxDf0hUpFGXuFMw/P3FGs3PisI1KqIvtamrJzsnJxree0BFSebGfbMRysrPbNigmbuOe+127615WFuGVH4hZkDqzEgJ33qHLbdnlUgqzstIoSoH5c5V1cWaT4szsxZktizObFGdmL85sWZzZpDgze3Fmy3rVmLfkXtQMtvN+1fYc34q5zZnN6XVjFqTwfHr6pYXOf+m3MVALjIPULRb++z/6bSj9ZzkcTa87tXQf/ijWJlHUS8rToYW0tPD8sn6JKLl20NO7qAaJDrKqi0We73DEzvBqSvznwOzYHvU7YSctMMvja0O7bOqGmayYy7VNTZHqFKfCf27V/Gdp/Rf9RkQvNmFgIN9VZrXAPyT8Z19q/OeebtU0FqRS/Ubkmu8jJzQTuxQIQtfPo47z6vfpUAr2llezOrhvOQTsCW8zUtsfju5rWQR2RLDR1vaXhVdLWk5VGyamm7fVitabTdcHgDYGvvMtdwaPtYImNuW8jVzh5q4WwrcGN4vOf0Z2+d0HX5r/FrIWJMOuBK9AXxKl9p8zJKWmNRX+8/iA9rev5gawvTChdlDZpvWv6J2AvhhL41d5E9+LRSMPUuA/+3sOJv1n/a8mkL3YPu2C4g6w8mLR5JrWv4jwae8XROE/N/VH8pESvAx97JVUC/xrNx53kvdM6C1GXuxk13Hc00Xep4a/IEDBrPzcGFstKVnrAI1eAvNP3387f6SkZQW0n+n85yfbgl0lJSegdyl/K8P+Myq1210uV+kesOiW8G6FPRkE9sdp3ieR7EYivij+XGVZnNmkODN7cWbL4swmxZnZizNbFmc2Kc7MXpzZsl415t07rCuTSZBMBkEAPfefbfYto9SmEdfvS/8DGteSVFiQXhEAAAAASUVORK5CYII=" />
Penjelasan tabel kebenaran konjungsi :
- Jika p benar & q benar maka (p^q) = benar
- Jika p benar & q salah maka (p^q) = salah
- Jika p salah & q benar maka (p^q) = salah
- Jika p salah & q salah maka (p^q) = salah
Disjungsi adalah dua buah pernyataan majemuk yang dihubungkan dengan kata penghubung “atau”, dan disimbolkan dengan lambang “∨”.
Berikut adalah Tabel kebenaran disjungsi :
alt="Konjungsi, Disjungsi, Implikasi dan Biimplikasi | CATATAN INFORMATIKA" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAMwAAACuCAMAAABNwBKRAAAAdVBMVEX///8AzP8AAAD/6roAAJtyAADU//9yuur//9TUmwD//+q6cgAAcrrq//+bAAAAAHIAfACb1P+66v8AfNQAzNT/1JsAleoAm9TqunLUm5sAlXIAqpsAWroAvLoAqv8AzOoAvP8AWgCbAJsAfJubuuqbm9QAfLpINLLjAAAEkElEQVR4nO2bC1fbMAyF07SMlkd5rAVGobCx7f//xNlO28EiOZJ9veMU6ZzBOeRyqy9+JEhz01hYWFhYWPyfaMcXEZiJKhRypbPc12BIpyJSXQoGQzoVkepSMBjSqYhUl4LBkE5FpLoUDIZ0KiLVpfB5YR7bdub+3QkzfHbvftvNV4mU8l/5d8c79/VpwC8NZnLduVM0ffnGZbFpWwXMP/7P4ZdXexbWLxlm5r88EZd68pfvLqmVFuaD/2N79Tp53A755cHMJDDuvm4TYfb+zuLu5fegXw5MuF/DGW5SYf76u8F4et7Pad4vB0Y4Mskw7/wd19v+xpWCEa0ZP0cy18zk3VYW8UuGUexm17m7WfjBdtgvGUbxnHEzvn1Tj8xH/827Gc36pcOwTuRPU6ZZLOBrhnGSf7jBRPwOvioYN5/JZwyboX+b6n967N2M9Y/4HXx1IxOJ0b01R52KSHUpGAzpVESqSyECM76IwPCXMuVKZ4SvwaClqBQMBi1FpWAwaCkqBYNBS1Ep9C7Nl7sH7alAHhMLYRaHJ/uN7Bd0IzM9OQ0fcnEpkPNi6ci4G3J1G24LefuGU4he6vJrFu4jhuW8WApzdt7Ovnij8G040mCocWdh+mI9DDUVBClEL3X5rTXTjBLrYBwLNROI0MLw65GA4cQKGH7DkaQQvdTd7AfyTjEjQ4mV08ztavcifdKaWVPm3JohxEoYv52JNuckmPmS2F04GEKshPGzTTTTEkeG2AH4kemJaxoZt7LlWzMlVjw0HYxnwa+ZwxsK+QjjXmckM5KOw+uMcGf+vC+ayU6Zzghfg0FLUSkYDFqKSsFg0FJUCoUq9SUjiTNTbtMsz9dg0FJUCgaDlqJSMBi0FJXCccOougA+fBnw4vJb7+/mEXYBOvX0pF8EGGEXoFkE5vmPZJiKugB7WfI0q6kL4HRMEiPsAviiOY0zwi7APpt+NXKEXYAuFsSNranWLOwC7Fb+9CS3cF5DF6BZ3HQZVd2fEXYB3AwLKyy9c1ZNF6Dx0+yBFlsXIM/XYNBSVAoGg5aiUjAYtBSVwnHBjC+SODPlNs3yfA0GLUWlYDBoKSoFg0FLUSkcPwxX2O/J6z8LwBf2CXntZwH4wj4LU+9ZAL6wH4Gp9SwAX9hnYeo9C8AX9kkYbvHW0QVo2MI+OzL1ngXogirs82um2rMAfGGfh6n2LABf2I+NTKVnAfjCPgtT61mAJlLY519nrAuQFgaTKzeYPF+DQUtRKRgMWopKoXjNHh9JnJlym2Z5vgaDlqJSMBi0FJWCwaClqBSOH0bcBYiJ5TDe4ep2+lOmLtgFyD8L0Kx9/WS+lJY0C3YBEGcBQinj7LwQjKILADkLEGgKTTNNFyD/LEAoNknrTHHf3C5A/lmAXRtAjFOwC8CLFVvzOvydUmbNhBB2AXixuDz7q+lKo7IuYMkuQP5ZgN1GuC7UOdN0AfLPAsyX9923MiOj6QJAzgL4UX0o9P8A5F2AmFixZtZFdzOEvJYXTYjcYPJ8DQYtRaVgMGgpKoXjghlfFLpJFhYWFhYWFhYWFhZjiD/siFOagUnnwwAAAABJRU5ErkJggg==" />
Penjelasan tabel kebenaran disjungsi :
- JikaJi benar & q benar maka (p˅q) = benar
- Jika p benar & q salah maka (p˅q) = benar
- Jika p salah & q benar maka (p˅q) = benar
- Jika salah & q salah maka (p˅q) = salah
Materi Kedua Implikasi & Bimplikasi
Pada materi kedua logika matematika ini mempunyai 2 macam fungsi yaitu : Implikasi & Bimplikasi
Implikasi adalah Berfungsi untuk menyimpulkan definisi pada suatu pernyataan dalam konsep perbandingan & penyesuaian. Dalam hal ini 2 pernyataan dapat dibandingkan & disesuaikan, sehingga terbentuk sebuah kesimpulan dari kedua pernyataan tersebut.
Dalam mendapatkan suatu kesimpulan dari sebuah pernyataan, diletakkan kata “Jika” pada sebelum pernyataan yang pertama, kemudian akan diletakkan kata “Maka” diantara pernyataan yang pertama & kedua.
sehingga terbentuklah suatu pernyataan majemuk yang disebut sebagai Implikasi, Pernyataan Bersyarat, Kondisional atau Hypothetical, yang bernotasi “⇒” seperti ini (p⇒q).
Berikut adalah Tebel kebenaran implikasi :
alt="Tabel Kebenaran Biimplikasi | Mahasiswa Udinus" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQoAAAC+CAMAAAD6ObEsAAACqVBMVEX////tHCT2HSXk5uba2trzHSXy8vITExOPj4+tra03AACRAAChqKc0NDTo6OhQUFD39/cAAADFxcVDQ0OWlpanp6cbGxsUAADRGSCbEhjCrK2LEBXwAAz9+uGtYAA+CAn/++hjAAD95bHMo3pAeM2PXp2qUBoAWwAAITk7eQkAHwAATYNjX4IAABzh///wGBz2DwC4FhxpDBByDRF6xfUtOKu43vn///eAgIB0dHQAAGEkAAAAAJnw//8AABXBAAAAJQAAl6WQEXXgGyLiGzN/AAC7RnQAYJCCh8mrFBoAAEEAAClVAADKjAAjO0yc0/stAADS/v///9i+RBfCPWq+QCq8Z2kAbDUAmfPWOCsAlm4mW6S/KVTLWXa5PTe+Ezu+NU7YOla+XYa+WFa8cIO+MwgAp6MANWZuAGZvotfhOTtlkpNTFSEzjL7EDSC8UWA5aUgAYJQAPDtya6cAGU8AXmEAj9EAjIiAd18ASBkAAHMAesAAssxsb723Hy5qXQAAa4EAfIcwET1GLiIAj7VHRohOgHUAEgAAADd6rLlvAIhdaw5mIziAY6jfSVBaIRYAcVZMZ1sAJ3afL3cA0+gYggAAUEG8ElqcOS+bV5KeXTNySJQAurKGZBSsbpaaPT93O12geLJ8SAAAbGd+GTkAF3EALqsAsv99NnqhYluxfYZ3YTN7S0VLaqUAiWlcLGaHMQCXAEuMBDCAir2GZ2eJOmHp1L/euXeRc1NAPVmzsZBjiKLPnHlhhMxKLgBPY2+vwdupg0Y9AGQyZ70mABmQUEleWUo1FVXWqUzbqqV/UQCAUzUGKjtYABmXAKCrcBaaoeFSMkMqNpO8q88LRWgAJFGpim21mF9ohJfHkl+yjo6MbI64mIZtK6nhusKjezVrSg7asmTMz+n1pPT1AAALSUlEQVR4nO2d/V9T1xnAL4FgIkq4IUKRREKi6Ip4Q7VNIi1oMaK8KKKltb7MiROBQmfxBaWt7y9saiftVl2ndnW2q26drTZR4gT7wlDZ7Jyis05X/5Kdm8BBPx/PiXlOkn7E5/tD+CD3Offeb855zr333HOUJARBEARBEARBEARBEAR5rIh/okjkmEiUhwORK6GRw4eng/cqRuWoFI6KdA2QrGJopEaTkQmPFcE8mq8iDoQm6ylYIEGbkakFB4uAKiiogoIqKKiCgiooQ0SFVmH98ugMBRWKVjt/wX2n/9ICRQHYgKnQEsgBMHfIVaGowexjDa0iuPP+717RKtVFTS+/4qB/XfjqoqcWL7lvB8FDDWkHpqJ+adNPl71UtOxnjOJ5KrTVRfn5y2sWsI4spArt0vym95c2FS0nJSjKip8XrazNXlXn0Paj1Ddkv1bS2LRAGZBVX9PUtGzJ66yDHQCkQrv0F9NKV69/I7eZUTxHhVK9ck322nXrxzoYG4RUobRskDdOPyq3Lo9TaorefCN78lsOxTE/v5+3F5g1xZvKNy8qWrbErG4+w7Vl67bN27ePM3OLBdYKTc74vB2ndu7KZRTPUbHiM3msslMug6uI0/zk6d1vtW2QX4mbvz7X80uzVj2IXz0TJHvPXvKrZl+D5521rYuVOO0+169rxy3dL7OOlQLMFTnjp77oGDO+/d2wVbw3rXCWWZEniKl4Ps7xm13PKpt+21r0frAh0LsqRS1Yqa8uOnA096ASp6xY+fTqWY78qKow/+7lqR88vIVwVPxeLnDEFQurmKE5tOv5w+YGz5b2fJI1FHNO/uwA+W/PNGuLDxyZXuv58A8OtUGul0tmOWZHW0XpouUAFeZIqIjTFGysizM72j7yHF1UtPjwpsn97GkmFWLLtT8eNCuBVFETAxWOnPHH3n34CXFVpBN9wiqKzZr0j81kQ7OGVI3Jcz4Z7EEWrqyd/KdTjv7vqL9WRLOBlH6womWD2hgferBsFQ0b8saaPxVVMfXg8dnpYwfOQavZtHfwPItPjAtWiADKvp3Tcvcu/HMUVZStfnPt9b/MDL8zfXVae8Z6URWl26fvym2+75/uP80HfiEt5LPev54+Gs0GsuOy58OZjNI5Kor9Jz1Hpgs3kBaPp1l5pAt05XXXSU/nluimTdiFN6nO9e9FoAfRhjgzikIuPI5Pj5YKTSBtsi9k+bdjyowIqHhUEQGCKlh7HNgIdOFdf2JD6aovlzBd8FUUu0iuYHTDj3IPUjN+19TPvy/mbvRgxL6GtXLtjsX8mxDgPci3GUlfjGOdTGgVSZkZXzA6n9AqNGcyM5M+PzWDu9EDKDWnkzKTvmTk+AGAuUKj1WrM0AYSuE3XgO9M4zTq1UNYDUQJPhjgbzQUHt1EiFAqtCCICmAkic3IBMcKwVchJwEp8EAjk5Kyy+GxQvBV6EfAGGkCBhLcbnisEHqeijT23/ikJkMjJUlvgscKYYyOinhopCSNQhUDoAoKqqCgCgqqoKAKyuOkwuk97tK5CF0vsCJZKizVwUjdc+y9QlX4XDqdWrjONAlWAERF8ugzZ9uMxr4TjawzYqmw3unI8huN+kslXcy9QlV4O7Ll0jZjR3mhnyOaA6iBWO0Tyd6svtQ6Rr1gNxBb9hT189Ai5lcHbiBVOXnPTpKs57LK/sasrjwEVEi2S37GCYVS4ay4zvzmwCosY1QVZA+xV2G1z2mD1orzqyNfK4IqLJfT22PaQPZ0ut3dN7tYr0XzVJBId8sUdhcjoEJeQ45qa10CLB6oQk2bHS0TWX0ITwVJm8YLJaeiUSsKr5Kyr3Tq5oLiBRqI03u5hFEVQzUQ7401U1hbCDYQpy1b3gxqISJp02r/ilEtQqmQbM98zUptomnTkiPPAVULERUW+zGwim9ao6WiKin2Kpz2cmgDsZ3MYx4t/LoiSVVRVVOZ18g5KTagC+9vt+XNMRi6/87MfSwVVUe6ZRJp6N44j9n1Q1X0dBfIu/cbuklfCrqsANWKxIR+mFOMWCqcA5H32HsFX3gPlJ0AM4F3poOgCgqqoKAKCqqgoApKlFQMuYFCeSQQcCAhLU0gWATu8PGwxGQQialGWKCKSQfcqyiYKyiogoIqKKiCgiooqIKCKiioggJ5oGfPlgOwh2l5KmzZcmGrdDHy4yCBouWr82xdsGiBx7y2S7WsZ7UcFepzXqet/GoUVPgK1aI9vbARIbHh48t1YQ8fSxWt5MNZ9c9ojI4dm6f+uMIcbeIjOJIe9sN/qaJMjUm5OI+1gdBAISnVaYt9rbBcaAc0EJ+aKXiAVTgrZDVVAKPBKrICaZNZyXlps0fmy4DnCssYWUSGQK3wHioL/60bKXjEeez2LNKZ+lQXP0batFwIf6AwAKnKvZEfSa/6Tv3wyGXs3omLiArnuVWMasFRcTxQf23/WBfx4eP+Xskn74A1EaFacYN1YcHrQQIhliuNrA0Eho8/CfzIjH2tsJyrDP+1NKlCJk3D+cPGyHemVUkyScfOnl7Yq1iwC+/y4IX3VFbW5Km4OIl0IfLH7CFekVzhi3kPEpIn5XbsEUAVFFRBQRUUVEFBFZShp2KYlAhCSk2ABRJSRulSwMEipPBH0tOGgUiTYXEBZJFgkf3iRGwK5goKqqCgCgqqoKAKCqqgoAoKVEViQkJ8YgormDMJIl6dphDPmacAVWFNiA+UzS2cB1CFpe9fhs6u0cYwx0HUqTG9BkPq+Tr2/1YDnhqTmi4XzjF0yxPmgiYJAVVY1Oe8VvtX0InYPduYU8dEHvOqY6ZVB9In1IHiYSpsJ1QJzjv/BqpwVrRHY/h4YCL216Cn/zAV3ivX1JnHzLlJoVRYr1yL1px0q738OuytApgKq71gjZ89dYyroo5kNnsJuw4LvVRAis66xp7ZzAWYNq327oJSPzNX81QEZhTOZad5kTnpu/eTsuuAXQj4usLb111Zy8rVoRqIbxt7NQHRidg9BXmNsVu0QUpR24blxjbolFvJ9s061haP1+xjyWtUm6PTfjbs4ePBOemsBv14zUmXbDfUyehW+01grbD+p4yZN0UXeLHHdKUCyXuhwWg0jmaugcRb9qeRRNq3NkQ8V6jL/hwzGjvKd9+M4foVUnKC1e52T+xi/Z154V3tdrlVvov8SPoPbpdLLdwF7EvxznQQVEFBFRRUQUEVFFRBwYnYFP7wsR7ISBM0Uq93u+GxQvBVmHQgTGkuWKAaazAA9yoKjqRTMG1SUAUFVVBQBQVVUFAFBVVQgCqc3lu6tucSkwHT6Cy3dKYuyRvxcRCfzkQgHyNi+hTL6T19U68f9X34a/NKlj4/uci91Rzx2ce2jnK5tE0f4yXNyfnUTSI+DrIeUXJU9KiT3Cy3/xuFJc3nFwaWNB8ey3W8Jdshv7q3O/fCV1GRq46hWw9Hax1vdSR9bAxVeO/2qrUwMRFQK2R/F/nByjLiS5qfKVgTy4f/Tu//yjrb2E2So8J6V67VdXGOSGhJ8wZXy1Y/q66GANyD9L3DkcHrQbwdJ+VaE/uLE3mpoH2EXn/Ib4pl2iRYjX3ny/yQOelOr/4SZyxPdCTdVy5vjuFbN8nq6zZW75nc8Oek31EP09v3WuTHTH+c4WNvR3AkvTP8idg9AXtVHw2Vlwpsd9UOhFwtAVY1CbyT4Tsb+QYSXNLc8unwmL5q4r1tvO12TzwFSJvn2jrcbncze9lx8PBxd6Vc6na3FLR3we6AoG/dOL1G4z3mLjkqkl8gkcZoLGlu7AfYl+Kd6SCogoIqKKiCgiooqIKCI+kU/vCxAYicCo00GNLS4LEipPKGj6WEJwr2RAYEQRAEQRAEQRAEQRAEQRAEeZz5PxJXQzANbdz8AAAAAElFTkSuQmCC" />
Penjelasan tabel kebenaran implikasi :
- Jika p benar & q benar maka (p⇒q) = benar
- Jika p benar & q salah maka (p⇒q) = salah
- Jika p salah & q benar maka (p⇒q) = benar
- Jika p salah & q salah maka (p⇒q) = benar
Bimplikasi adalah Berfungsi untuk menyimpulkan definisi pada suatu pernyataan yang memiliki nilai sama-sama benar atau sama-sama salah.
Dalam mendapatkan suatu kesimpulan dari sebuah pernyataan, implikasi memiliki makna “jika & hanya jika”. Bimplikasi dinotasikan dengan tanda “⇔”.
Berikut adalah Tebel kebenaran bimplikasi :
alt="Biimplikasi Nilai Kebenaran Pernyataan Majemuk" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAMYAAAD/CAMAAACdMFkKAAACLlBMVEX///8AAADu7u74+PjY2NhhYWEYGBhkZGQ1NTVdXV3a2tpKSkrk5OTQ0NBsbGz///1EAADz58aLPwD2/v/y1Zvzw4o6KRIAACcAAEJylsPq//8AN1eDueSK0PqQxuO7u7sAAEgXOlqSyfH///L58tKVRAD/8ruOjo4eHh5lDgZ6WC1BAAD///YAH0gAACkICAj//+o/Pz+fn58AABlwn89vuu0bAAAsAAA3AAAAAB8AAA4nJyej0fPHjmH53aF1dXWEhIQAADXh///317EAAEyc1u8lAADS9f+3jmjVqYFSJQAAFzv/58UAAGPAkHeBipmtxNvt6dK1n5Gks8u8rp2JfHt3d4SYqLbE2+vTuKiqioTo8/zt3tDY2unjzr2jfkhOeKQXLELdvph0WUlKZ4uuwslMUF5HJ0uZYDZOjbhsiKjDpolrWUgtABJqb2FyGwAuVX9aMAALXJzYq2lVIAAAD2ZihLbWsXxvRBEAH1uqrZ1TAABUFwBaPhardC6ca0ofhcMSKGp/Vj1usdJWcYeSh2c7HiQpRl4sL0A3MCaxmm2BfZubfH/DcgDstmqsaUIAMYdToNOqZBnDiUV5MwB0Tj83SnU8XXA5FgC0fl4ALmAAHDZkcIM1AE1kiZwAQIFCFU6dYG2FSTCjpH9wfcC/gYNgNR5MPzQxIjOJdZe2y8VvPlsmZI19TxNijse3eUu/fC5iUWnTrKq+wuBTPIhHAC50kYsAU5RWX7FOAFBOwsUYAAANTklEQVR4nO2d/18UdR7H570s7FcYN1C0OFeaVRAGWJYCFoJlQ3ERSkAMMFpxhQ1ZMtRMM5FMOLO66ypPLKirrrC86+q+ddd/d/OZ2WWm+Mxn5jOzZ7p9Xj/x0Pl85vPcz5eZ5fPi9eG4QlHRwy6FAmpLKFULTdRlMLU00d8ZVw04ZIxa+g4s8+ZjGPhd+aiFa1YwSuhLupz5uL+zOB+1cG6GkY/7MwytGMZ9wXDkfsg+GnT0gGMEY37lB0ck4iBc92BjBN0l2cY7empJHLoY4WdjPT1HhoZHjh05+jyupAEGPzx6LPbc2Lg4MVROuEyDETreI+mpwZHYkSHljsFmiDiyCja7I/K44idHemKxoy+EJ54ygSEmTwA0TjknE+0np8apMcTUqc7pmdFT6TMv7jaJISRnAeC0N3mi9eTcuEIBnk3VgswRzsy/dLo0M58+k64ygcFx+16Ghl2PcoGl1uhpTH8QMcTUBiw8xQn9Z2GPWQyOq6iH6PvlXGAW4rsOSSMKXLGyTcVcnZ2RIqH/MJw7xInnAaofN4UR2gsNT5RLTXkFLhzc2hQSBh96BOKvPs1xvXU0GPv2Q+WTUrdcbJM+g9JmiPkdWkWgMyhV2PKkVGH3NkoMPnUJ4tcpMSq2yWWtYYip/fBa1UwJRH66yAab4LLUGQcOchYwOAkjen3rqCJj1NvB6N0PB554tAdqI0GNIh6IDVvGQL3RSN0bdjCE1Ouwp6qc6wFoAq1ifrH/jkUMof8KXMAsVUSMwMvSLLWMcbEPrQ8c4uipyarHDehRmFqEnbtpMeLSShVKSKsg7UolfAgtU4csYLS8z3HDV6UbP83JHL7c/wVlCi601Apv0E5xuL1bWuEqp3DPP/JzI/Re09rc80L/IiUGXDsoLVQDc4eUf+mB7F38vjLltaT3zdb49aJwoo0CY2B55bfu5SErT3Fh4s2bN64naXsjevpE7VvT6oPfn/uhKPcqMpy5e/O1o/tep5ob+g0w9U5laW6YEf2Cq6OHBSNwCwakKa4nsxg7q0xjdL8uv4yYUUU7PGbmnUpMvt0nvbeMjetVawJDTK60S8sE/g1ZkQYjXCq9jKI7GtbLhYNXAToW1ElLeFGXl+znjur1hwkM6ZUa1fEOoWE/fVGXHxBHjfsj9C66tEclfrC/NpkWw2AYqhiGVgyDYahiGFoxDIahimFoxTAYhiqGoRXDYBiqGIZWDINhqMovRoHYwqDYQ6niWh9tEZx8tdR3xqg4a9Jr8nsp5fcEaYvgFPRR3xkjf+cvPDe8bIprVOAY/O82d6Pjy9g9DgIG/3t1L3uZ/Ht+Ekb4vc1aolMv6G8YcaTeGJwFtKETTtwBeIN2Qzmc6IM9u8qF1CLAHw4RLiT3xuBsKzT+hgt39UHHFKkawqDq3ibvSw2eADiA2b8jD6rAXti561EJpx2AtA9mMKi274DK30ifygcAH1cRrtPHQPYVhBFKtGG3IYkYfOARGUPsP5wPDPFDhEGoxgxGH7URaRMD2Z8aSfc3hyFIGNW7CdcZYoipupaTu2jnRhaDH1xqfYs4qE1hiIFbHdVz1uYGwjg5Vzr6x6+XsW5BQ4z41L3RJfdt3T1QWcYY0eulmboBfBs2RcZYW42V3U2PzVB7RhBG9EYsNp+em3nB9L74VkkYHauxM3dvS20gVWM8qJJLrY3TmCeHIYa04PLD0nK9QPogjTGkBZdPnoDKKd0des7MFOd6LwFyKf5cpqY4J00OuGZuXxyn7BTne29BC9Z/mpUJjMElgGe2LlXmMMIftUMLwQdiDoMbRg8OwlJlEuOAdYw26cGhfyENBuH5Z2ZQ1UkvFFs71OygAsVVpyNTc4PjB18GxbenI30M4XwrrCE7sfR5voZ5gpExUvuhUXpghBOHAWtGzomMEe6SVipkMD7RCg1VhGp033D7PdIrIaylXfPR1U9x/jbSG26vR3olhMp02XzfjXewy3VOxDfczCnUhoFi1zwsHMF77LLSxZgsdXq9Tll+apOeUOp05go7LL+oi36pfLYRfuKfbxT61yZjMQyNGIZWDINhqGIYWjEMhqGKYWjFMBiGKoahFcNgGKoYhlYMg2GoYhhaMQyGoapAMPLr4CkQP1WBuNsedq/hLz03CmSK/79tYalITniTgiGGkByVCs94g6RteWOMySRqw5AzSPxreH2MlbMAlcuRkTq4sY7zGRgEOyWPe9Yjl1c8Zz4xn6WwVcLEMd+nkciKz5Mm7MMSd2IvtmUdPAB/okx94fhAXRQ5d4TUxk4bGGJqMfqENBYmM1dI28nm/FSt9LYw4Xw2FUPo/8wGRmhWSdzhwonbtjHa6E16oQ9y+TOhz21gVGxAo+zU4AePP0660BgDeQ3P0Q6q0F7oqJaTy3j8dnROZIztOwCq5WAM3kGsxhBj+NltDXPU2W3IVQdrvmXDtA0yxr4vpGpOptdnjKohYzTVum9GVy1k8PCBW7J/ttY9TW4BGYPf3oZq6ei8QbToGfdG0WRmR+1t3PA2WHADS1kn8DWM3VKVwYIrppSPA1qmbU5xFEEXpww9k1swObIot+CcVc+I0ozkn+tlb/arTxOuMuOnkh4cmLgwYlpY75dyF0wmpDn6jGXnp/CV0pO90irTQRydJm1hmGcYObvtM3m5l63hNjC6sj0Z/j4PGHXUJj2+on1KGQOpSzYGldD1kpJ9J563MajqlbmROosd3wZJekomVDjRThHs9HMJXXcu7C5C+aFXid42Asbk8CxAdHrcn9lYc+NMlwYY7s7pGf9k4i52lVNlgHHzZnzO6x9e+np6iFSL/htuV9rjcrmkb5medXxGFXmKf3Nv9JTH51smZVMhkTEyY6UJqZb0NNEhxxX81yZjMQyNGIZWDINhqGIYWjEMhqGKYWjFMBiGKoahFcNgGKoYhlYMg2GoYhhaMQyGoYphaFVgoWc+apU005fZquaSfNTiy4WeOfyUcniCtEVwCnqo74yRg4WePYBTvJAx+MAK2lmv/uEvVZg4IJOhZ38lb5sZYYgTV+VaRlwWHTzIF9ZQVc4Fltqwzi6D0LM2NfSMtKFtgDE4C9cOclzqW6s7sWhvO/431PxQ4hPMyWz3JfQs/F3rHtknEPi22qpJ73sYkDG4wc+pMfIUeta9kXW3iam/W8QI7YWWhXEU7yH8g9oyqQ09i1sPPUO2sNNyUIkwYREj/D1Ax+2xcb9OI0yGnoGd0DOpN1AyopMYsYVEmBvbZQNQdNWKD1cOPZu+N/qmvdAzaW6gNjR+OkaMHCOuVOHEhrJmPkZv0lNCz3p67IaeDa7cUdpQTV63Sc8NYeLY/A65R6iPLcwNKruhZ9zw6LEzfagNDUQHDWGK/7OcEydHa07twC/99yH0TCxFVuLJkZVFlPppLRCw+19yOTG51IazU92P0DPhI+WgPiF1ybItrPvfSh186qyN3rAVeiZ0fayY5ITz1ntj28fyUo0wrM6NrMPvoP6FBhhtSoSf8CHxBEUyhrw88L11HfRHQfOpK9nQsztQaTn0TOhqb0ELhJB6JY7L61RFwPjxh5WX0h5fep36YG5+uw+tcC1pz91WG6FnnPDdas3GSY/H9yI2dk0jfQzRX+RAfwXmd+DzxoihZ17lyyUq7SDen4jBOxzZNhQZPMZ/BV+byGIYGjEMrRgGw1DFMLRiGAxDFcPQimEwDFUMQyuGwTBUMQytGAbDUMUwtGIYDENVgWDk18ED3lJKOX1B2iI4BX3OPNTizIWexcooFev00BbBydNJfWeMYr906JmXhZ5p9GvAEJIjNTU1Y6XY3DLj0DNUeMZpPfRMmFBS12pQ6pmedUURAYMPHPesj11e8Xg+o/dTyaFncmHroWdCMnMYAE4HL9dB9TrRe0KwvgzOtqC9aDFVF6f3U/V+UZmH0DPhonJsYe8t8iFapC3M81lbmJh6kRpDDT27aCf0THuIpMWzMMMfQKMSGBP6CtehRmlh2bQZW6FnPz3Sk3AdEQMa5tD85LGbwkYYoISMGaSVmcMISW1ZsOYZQZ8AtLhvHNFZaYxDz1rcqzZDz7InzAXebh3Aero2RVipsrllHZ3TVo70VAqXdNoKPZPNhk0l0LEwRPTIERfcUC63DJcHaLDg8puhZxdszw0+nLnSUW3RFobaMjxSJzflP7RGJLlwps526FluilfUQ3wXoUMI1pf/ysWGE4vYlC0ihljxpbYwoZ3mMORDJK2dvtj9Y9aS1X+FGkMNPeu3E3qmwbgK2CMgcyJg1GdPVUW5ZdQxW+1TamH7gwp5xYmHKJNsYZWvogaEE/UNmDxA49AzpXB7g40pzqPDh9FTPLUNotbOie2ub3YvDHmTGZ3cMoPeaHZPz3iTK3ZCz0R/Ei0S58admcNraeKDQx9j8Jt7o++6iot1zG1kDFT4mFTYVuhZ+FlXWSwWK3MVu54zsEX/Gr42EcUwNGIYWjEMhqGKYWjFMBiGKoahFcNgGKoYhlYMg2GoYhhaMQyGoYphaMUwGIYqhqFVgYWeNbsp1QydtEVw6qS/M0bNii2MczzsykufMuVP/wNi/O6dv1SNrQAAAABJRU5ErkJggg==" />
Penjelasan Tabel Kebenran Bimplikasi :
- Jika p benar & q benar maka (p⇔q) = benar
- Jika p benar & q salah maka (p⇔q) = salah
- Jika p salah & q benar maka (p⇔q) = salah
- Jika p salah & q salah maka (p⇔q) = benar
Pernyataan Logika Matematika
Dalam logika matematika memiliki 2 jenis pernyataan, sebagai berikut :
1. Pernyataan Tertutup (Kalimat Tertutup)
Pernyataan tertutup (kalimat tertutup) adalah Suatu pernyataan yang sudah memiliki nilai benar atau salah.
Contoh :
Pada angka 5 disebut sebagai “Bilangan Genap“. Kalimat pada pernyataan tersebut bernilai salah, karena yang benar adalah angka 5 merupakan sebuah “Bilangan Ganjil”.
2. Pernyataan Terbuka (Kalimat Terbuka)
Pernyataan terbuka (kalimat terbuka) adalah Suatu pernyataan yang belum diketahui nilai kebenarannya, karena adanya suatu perubahan variabel.
Contoh :
p(x) : 3x + 1 > 6, x ∈ R
Jika x = 1 maka p(1) : 3(1) + 1> 6 bernilai salah
Jika x = 2 maka p(2) : 3(2) + 1> 6 bernilai benar
Baca Juga : Kumpulan Contoh Soal Logika Matematika SMA Kelas 10
Demikianlah penjelasan mengenai tentang Logika Metematika beserta Pengertian, Pernyataan beserta contohnya, dan Pembagiannya yang disertai dengan tabel kebenaran.
Semoga dapat bermanfaat dan menjadi suatu pengetahuan yang berguna untuk kita semua.