Menarik Kesimpulan Dengan Logika Matematika

1. Modus Ponens

    Yaitu Pernyataan Majemuk Implikasi dan Pernyataan Tunggal.

    Rumus :

                 Premis 1 : p => q

                 Premis 2 : p

                Konklusi : q

2. Modus Tollens

   Yaitu Pernyataan Majemuk Implikasi dan Ingkaran dari Pernyataan Tunggal.

   Rumus :

                Premis 1 : p => q

                Premis 2 : ~q

               Konklusi : ~p

3. Modus Silogisme

    Yaitu Dua Pernyataan Majemuk Implikasi.

    Rumus :

                  Premis 1 : p => q

                  Premis 2 : q => r

                 Konklusi : p => r