defs.
precedence simplification
conversions
random
true of false
100

what must the values of p and q(true or false) be for the conjunction of p and q to be true?

the conjuction is p and q, which means both p and q must be TRUE for p and q to be true!

100

This is given first order or precedence in ¬p∨q∧r


the negation 

100

negate the value of x is not 7

the value of x is 7


100

q if p is the same as 

p -> q

100

if 10 is odd, then apples are red 

classic p -> q since p is false whole thing will automatically be true !!

200

Saxons are 

LIARS :/

200

Translate to prop logic : i am happy only when you are not.

only when = implies therefore

 if i am happy u are unhappy 

p-> not q + always mention p and q 

200

p V not p is a 

tautology 

200

if p and q are bi-conditional and they both are false ; p<->q is 

true ! This is the if and only if 

300

the opposite of a tautology is 

a contradiction ... ( something that is always false)


300

in 

you will succeed if you dont run . 

what is the necessary condition :p

in p-> q ; q is the necessary condition hence in this not running is the nessary condition 

300

if p->q is false, the contrapositive is 

*Contrapositive will always have the same value and hence is logically equivalent


400

if something is logically equivalent, it is also a _____________and to prove the following we must ____________

a tautology!

Prove always true using a truth table 

400

simplify : ¬[p∨¬(p∧q)]


¬[p ∨¬p V ¬q)] 
not (TRUE) which is false 

500

is the opposite of p-> q its inverse or converse 

+ are inverse and converse logially equivalent ?

inverse and yes !

M
e
n
u