Anda di halaman 1dari 1

Nama : Robert Mahendra Setiawan

NRP : 171111120
UAS Logika SP

P^S
P→Q
S → ¬T
Q→R

Langkah 1

P^S≡P
P^S≡S

Langkah 2

P
P→Q
∴Q
Langkah 3

Q
Q→ R
∴R
Langkah 4

S
S → ¬T
∴ ¬T
Langkah 5

≡ R ^ ¬T (Valid)

Anda mungkin juga menyukai