status: DONE
created: 2024-01-16T21:03
updated: 2024-06-11T01:14
Discrete-mathematics-Assignment-2
a)
p | q | |||
---|---|---|---|---|
T | T | T | T | T |
T | F | T | F | F |
F | T | F | T | T |
F | F | T | T | T |
it's clear that
b)
p | q | |||
---|---|---|---|---|
T | T | T | T | T |
T | F | F | F | T |
F | T | F | T | T |
F | F | T | T | T |
c)
p | q | |||
---|---|---|---|---|
T | T | F | T | F |
T | F | F | T | F |
F | T | T | F | F |
F | F | F | T | F |
a)
b)
c)
a) False
Reason:
if
b) False
Reason:
however if
y must be less than x, so the predicates must be wrong
c) True
Reason:
d) True
Reason:
if y=x+1 y must larger than x
e) True False
Reason:
if x=y+1 x must larger than x
f) True False
Reason:
if y=x-1 y must be less than x
Prove: