a

true;

b

irrefutable;

c

constructive;

d

refutable.