# Symbolic Logic - Symbols

### statement implies algebra word

In **algebra**, a letter such as x represents a number. Although the symbol gives no clue as to the value of the number, it can be used nevertheless in the formation of sums, products, etc. Similarly P, in **geometry**, stands for a point and can be used in describing segments, intersections, and the like.

In symbolic logic, a letter such as p stands for an entire statement. It may, for example, represent the statement, "A triangle has three sides." In algebra, the plus sign joins two numbers to form a third number. In symbolic logic, a sign such as V connects two statements to form a third statement. For example, V replaces the word "or" and Λ replaces the word "and." The following is a list of the symbols commonly encountered:

p, q, r,… | statements |

v | "or" |

Λ | "and" |

~ | "it is not the case that" |

=> | "implies" or "If..., then..." |

↔ | "implies and is implied by" or "....if and only if..." |

## User Comments

almost 4 years ago

I'm new to studying symbolic logic, so I'm sort of wondering why the ~ symbol is used for negation rather than just a - symbol?

over 5 years ago

mohadina

writing the symbolic form of the written expessions. thats what i need help on.

HELP PLEASE.....

Any info please send to my email.

Thanks You

over 5 years ago

mohadina

writing the symbolic form of the written expessions. thats what i need help on.

HELP PLEASE.....

Any info please send to my email.

Thanks You