Contoh Proposisi Bersyarat seputar kata "Mobil"

Selamat siang semua!!!

Hello semuanya pada tahukan dengan mobil? Pastinya mobil ini merupakan alat transportasi yang sudah sering banget teman-teman semua tumpangi.

Mobil di zaman sekarang sudah banyak model dan warna yang menarik loh teman, dan dilengkapi dengan fasilitas yang mewah pula.

Pada postingan saya yang lalu saya sudah menjelaskan sedikit tentang kalimat pernyataan dan kalimat proposisi dan contohnya menggunakan kata "mobil" jika teman-teman lupa yuk kita Lihat Lagi!!!

Pada kesempatan ini saya akan membahas sedikit tentang proposisi bersyarat, yahhh yang sering disebut Implikasi.

Sebenarnya proposisi bersyarat merupakan proposisi yang memiliki syarat baru yang diperoleh dari mengkombinasikan dua atau lebih proposisi dengan operator logika.

Misal p dan q adalah proposisi. Proposisi majemuk “jika p maka q” disebut proposisi bersyarat (implikasi) dan dilambangkan dengan p -> q 

Proposisi p disebut anteseden (premis / hipotesa / kondisi) dan proposisi q disebut konsekuen (konklusi / kesimpulan).

Oke baiklah teman, agar teman-teman lebih paham. Saya akan memberikan contoh proposisi bersyarat berserta notasinya seputar kata "Mobil"

pertama-tama saya akan buat dua kalimat proposisi

p: mobil itu kotor

q: mobil akan dicuci

kalimat proposisi bersyarat

1. jika mobil itu kotor, maka mobil akan dicuci. notasinya (p -> q)

2. jika mobil akan dicuci, maka mobil itu kotor. notasinya (P -> q)

3. jika mobil itu tidak kotor, maka mobil tidak akan dicuci. notasinya (~p -> ~q)

4. jika mobil tidak akan dicuci, maka mobil itu tidak kotor. notasinya (~p -> ~q)

5. mobil akan dicuci ketika mobil itu kotor. notasinya (p -> q)

6. bilamana mobil itu kotor, maka mobil akan dicuci. notasinya (p -> q)

7. mobil akan dicuci dikarenakan mobil itu kotor. notasinya (p -> q)

8. mobil itu kotor syarat perlu mobil akan dicuci. notasinya (p -> q)

9. mobil itu kotor mengakibatkan mobil akan dicuci. notasinya (p -> q)

10. mobil tidak akan dicuci dikarenakan mobil itu tidak kotor. notasinya (~p -> ~q)

Nama : Asteria Marceline

Nim : D03112018