Thread: Formal Propositional Logic Statement

Statements:

a) we will go if you go

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

My answers:

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.

a) "we will go if you go" that means "if you go, then we will go" i.e. "you go" "we go"

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

By definition, is .

Therefore no("you eat") "you hungry" is the same as "you eat" "you hungry"