top of page

PROPOSITIONAL LOGIC

  • CONJUCTION  p ∧ q

 

        It’s sunny and It’s windy                       P                 Q

 

 

 

      

 

 

 

 

 

 

 

EXAMPLES:

 

      He’s ugly and He has girlfriend                P                   Q                          

 

P ∧ Q: F                                                                                                                                                                          

        It’s hot and It’s summer                       P              Q                                        

 

P ∧ Q: T                                                                                                                                                                                            She is angry and she is sad.                   P                  Q                                                                          

P ∧ Q: T  

 

 

 

 

  • EQUIVALENCE:    IFF

 

    She is a woman iff she is female.                P                     Q                                                            

 

 

 

 

 

 

 

 

 

EXAMPLES

 

     He is a teacher  iff  He is a man.              P                       Q                      

P ≡ Q: F

 

 

             I cry iff I lose the game.                    P                Q                                                          

 

P ≡  Q: T                                                                                                                                                                                                       

          I study iff I listen to music.                   P                 Q                                        

 

 P ≡ Q: F                                                                                     

 

  • IMPLICATION:   If, then

 

     If it rains then I go to bed .                     P                 Q                                                                 

 

      

 

 

 

 

 

 

 

 

 

EXAMPLE

 

   If  I go to school then I go to sleep.                  P                     Q                                  

 

 P c  Q: T: F                                                                                                             

    If I read then I learn new things                P                Q                                             

 

 P c  Q: T                                                                                                                                                                                         If I run then I go to  dance.                    P                Q                                                    

 

 

P c Q: F                                         

  • DISJUNTION:   OR

 

I went to Melgar or I went to Tocaima        P                        Q                                                                         

 

     

 

 

 

 

 

 

 

EXAMPLES

 

  They’re bored and They are dancing            P                   Q                                                                                                                   P OR Q: T                                                                                                                     

          It's rain and’ It’s cold                          P             Q                                           

 

 P or Q: T                                                                                                                                                                                      She is happy and she is smiling.

          P                    Q

 

 

 

P or Q: T                                           

 

 

 

  • NEGATION: ¬p, ~p

 

                She is my sister

 

 

 

 

 

 

 

 

 

 

 

EXAMPLE

   

                                                                                                                         ¬P            P

He runs so fast        T                F   She is beautiful        F               T     It's raining today      F               T

bottom of page