Propositional Logic

Question 1

Define “Proposition”

Answer 1

a “proposition” is a statement that has one and only one of the truth values True(t) and False(f)

Question 2

propositional logic uses variables, this is called and has it’s own symbols called:

Answer 2

propositional variables & connectives

Question 3

explain “p and q”

Answer 3

This is a conjunction statement: when p is true and q is true then p and q are true.

Question 4

explain “p or q” (not the conjunction version)

Answer 4

in logic the “or” we’re using is inclusive so meaning one or the other, or both. So p and q are false when both are false.

Question 5

explain “not p”

Answer 5

“it is not the case that p” This is a negation so when p is true then “not p” is false and when p is false “not p” is true