status: DONE
created: 2024-01-16T21:03
updated: 2024-06-11T01:14
publish: TrueDiscrete 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: