Buktikan kesahan argumen-argumen di bawah ini dengan BTL. (1). 1. avee (bwedge c) 2 aarrow c/ therefore c (2) 1. (harrow i)wedge (jarrow k) 2 (ivee k)arrow 1 3 bar (I)/ddot (I)-(hvee j) (3)) 1. (d ve)arrow (farrow g) 2 sim (gvee h)arrow (dwedge f) / :g (4). 1. (mVn)arrow (owedge p) 2 (0Vg)arrow (bar (r)wedge s) 3 (rvee t)arrow (mvee u)//:F (5). 1. (varrow overline (w))wedge (xarrow y) 2 (bar (w)arrow z)wedge (yarrow bar (a)) 3 (aarrow overline (b))wedge (overline (a)arrow c) 4 vwedge x/:overline (b)wedge c

Mari kita buktikan kebenaran argumen-argumen tersebut menggunakan tabel kebenaran (BTL).### Argumen (1)1. \( a \vee (b \wedge c) \)2. 3. Tabel kebenaran untuk \( a \vee (b \wedge c) \): Tabel kebenaran untuk : Karena selalu benar ketika benar, maka harus benar jika benar. Jadi, benar.### Argumen (2)1. \( (h \rightarrow i) \wedge (j \rightarrow k) \)2. \( (i \vee k) \rightarrow 1 \)3. 4. \(\ddot{I} - (h \vee j) \)Tabel kebenaran untuk \( (h \rightarrow i) \wedge (j \rightarrow k) \): Tabel kebenaran untuk \( (i \vee k) \rightarrow 1 \): Karena adalah negasi dari , maka adalah salah jika benar. Jadi, adalah salah.### Argumen (3)1. \( (d \vee e) \rightarrow (f \rightarrow g) \)2. \( \sim (g \vee h) \rightarrow (d \wedge f) \)3. Tabel kebenaran untuk \( (d \vee e) \rightarrow (f \rightarrow g) \):\[\begin{array}{|c|c|c|c|}\hlined & e & f & g & (d \vee e) \rightarrow (f \rightarrow g) \\\hlineT & T & T & T & T \\T & T & T & F & F \\T & T & F & T & F \\T & T & F & F & F \\T & F & T & T & T \\T & F & T & F & F \\T & F & F & T & F \\T & F & F & F & F \\F & T & T & T & T \\F & T & T & F