No 1
1. T → ( C ^ D )
2. T ^ B
3. ( F ^ F ) v ~ ( ~ W ^ B )
4. W → ~ ( C v D )      / ∴F

No 2
1.  H → ( L ^ R )
2.  ( L v W ) → P
3.  W v H         / ∴P

No 3
1.  M → ( ~ R → U )
2.  M ^ ~ R         / ∴U

No 4
1. ( S → Q ) → R
2. ( P ^ S ) → Q            / ∴P → R

No 5
1. [( P ^ Q ) v R ] → ~ S
2. S ^ Q         / ∴~ P

Saya mulai dari yg paling gampang dulu, ya. Yg no 3.
dari premis ke-2, M ^ ~ R bernilai benar. Artinya baik M maupun ~R adalah benar.
dari premis 1, jika M benar, maka berlaku ( ~ R → U )
dari hasil tersebut dan premis ke-2 (~ R bernilai benar), berlaku U.

kalau dinyatakan dengan angka
dari premis ke-2, M=1, R=0
dari premis ke-1, 1 → ( 1 → U ) 
1 → ( 0 v U ) 
1 → U
0 v U
/ ∴U

No 4
1. ( S → Q ) → R
2. ( P ^ S ) → Q            / ∴P → R

Yang nomor 4 agak beda dari yang lain, karena menggunakan metode syllogism.
premis no.2 bisa ditulis ulang sebagai berikut :
~( P ^ S ) v Q
dengan hukum deMorgan diperoleh
~P v ~S v Q
dengan sifat asosiatif, S dan Q diubah ke bentuk implikasi
~P v ( S → Q )
operasi di depan juga diubah ke bentuk implikasi
P → ( S → Q )

Jika kita misalkan  ( S → Q ) = T, kedua premis di atas dapat ditulis
1. T → R
2. P → T           

dengan penalaran syllogism, disimpulkan P → R

Kalau dinyatakan dalam kalimat
1. T adalah himpunan bagian dari R
2. P adalah himpunan bagian dari T
kesimpulannya, P adalah himpunan bagian dari R