# Formal Propositional Logic Statement

• February 4th 2009, 06:37 AM
Edbaseball17
Formal Propositional Logic Statement
Statements:

a) we will go if you go

b) if you don't eat your breakfast, you will be hungry

a) We -> You

b) L ^ ~B

Are these correct? I know they may seam simple to most of you, but I'm not very good at math and logic, but need this class for my major. Thanks for the help.
• February 4th 2009, 07:35 AM
clic-clac
a) "we will go if you go" that means "if you go, then we will go" i.e. "you go" $\Rightarrow$ "we go"

b) "if you don't eat your breakfast, you will be hungry" is "you don't eat" $\Rightarrow$ "you hungry" i.e. no("you eat") $\Rightarrow$ "you hungry"

By definition, $A\Rightarrow B$ is $\neg A \vee B$.

Therefore no("you eat") $\Rightarrow$ "you hungry" is the same as "you eat" $\vee$ "you hungry"