Jump to content

Mathematical Logic Basics


khaled

Recommended Posts

Here are the most basic Logic Operations:

 

AND ([math]\wedge[/math]): The intersection of two statements, [math]A \wedge B[/math] is TRUE when A is TRUE and B is TRUE

 

Example: "It's dark blue" = "It is dark [math]\wedge[/math] It is blue"

 

OR ([math]\vee[/math]): The union of two statements, [math]A \vee B[/math] is TRUE when A is TRUE or B is TRUE, or both

 

Example: "Xittenn drinks tea or coffee" = "Xittenn drinks tea [math]\vee[/math] Xittenn drinks coffee"

 

NOT (¬): The negation operator, ¬A is TRUE when A is FALSE

 

Example: "I am not a liar" = "¬ I am liar"

 

Implication ([math]\longrightarrow[/math]): One statement enforce another, [math]A \rightarrow B[/math]

 

Example: "A locked door cannot be opened" = "The door is locked \longrightarrow The door cannot be opened"

 

Equivalence ([math]\Leftrightarrow[/math]): Two statements are equivalent, [math]A \Leftrightarrow B[/math]

 

Example: "Jon and Monica go out together, or don't" = "Jon goes out [math]\Leftrightarrow[/math] Monica goes out"

 

Here is a truth table for more operations, which are easy to understand with the Venn diagram:

 

25eya1k.png

Edited by khaled
Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.