Olimpiade Sains Provinsi (OSP) 2017 - Komputer, Nomor 28

P ^ ~Q -> R ^ S 

ini biar bener, harus True semua termasuk G dan L

Menurut saya G False, L True. Dengan begitu kita bisa berturut menarik kesimpulannya:

     Perny.1                   Perny.2                    Kesimpulan

K -> G.                           ~G.                             ~K. (Modus Tollens)

~P -> K.                         ~K.                          ~(~P)= P. (Modus Tollens)

L -> ~Q.                           L.                              ~Q. (Modus Ponens)

P ^ ~Q -> R  ^ S.         P ^ ~Q.                       R ^ S.(Modus Ponens)

*CMIIW