Video solusi : Kalimat 'Jika x e P maka x e Q'' bernilai benar jika P c Q. Di sini terdapat 3 pernyataan, yaitu p: x e P, q: x e Q, dan p => q: x e P => x e Q. Selanjutnya, isilah kolom ketiga dari tabel berikut. Pada kolom ketiga, isilah B jika keadaan pada kolom 1 dan 2 memenuhi P c Q, tetapi jika tidak memenuhi, isilah dengan S. p: x e P q: x e Q p => q: x e p => x e q a e P(p bernilai B) a e Q(q bernilai B) b e P(p bernilai B) b e Q(q bernilai S) c e P(p bernilai S) c e Q(q bernilai B) d e P(p bernilai S) d e Q(q bernilai S)