Page 11 - UAS Media Pembelajaran Berbasis IT e-modul Evri Sariati Pakpahan 4183111061
P. 11

  : The hero monument is located in Jakarta (statement with false values)

                           ∨   : The sum of 2 and 5 is 7 or the Hero Monument is located at Jakarta
                               (statement is true)

                    3.  Implication

                        Implication  is  a  compound  statement  with  the  conjunction  "if  ...,  then  ...".  The
                    implications of the statements p and q are denoted by p ⇒ q which read "if p then q" or "p

                    if only if q" or "p is necessary for q" or "q is sufficient for p". From the implication p ⇒ q,
                    p is called the antecedent or cause or hypothesis, q is called a consequence or conclusion

                    or conclusion. The truth table of Implication    ⇒   :

                                                                ⇒   

                                                                 
                                                                 

                                                                 

                                                                 

                        From this table, it appears that the implication is always false if the cause is right and

                    the result is wrong.
                        Example 9:

                          : 5 + 4 = 7 (false statement)

                          : Indonesia in continental Europe (wrong statement)
                           ⇒   : If 5 + 4 = 7 then Indonesia is in continental Europe (statement correct)

               4.  Biimplication
                    A biimplication is a compound statement with the conjunction "... if and only if ..." and

               denoted ⇔.

                    The implication of the statement p and q is written p ⇔ q which reads p if and only if q or
               if p then q and if q then p.

                    The Truth table of Biimplication p ⇔ q:

                                                                ⇔   

                                                                 

                                                                 

                                                                 
                                                                 
   6   7   8   9   10   11   12   13   14   15