KB and S1 are two propositional logic statements, that are constructed using symbols A, B, C, and using various connectives. The above truth table shows, for each combination of values of A, B, C, whether KB and S1 are true or false. Part a: Given the above information, does KB entail S1? Justify your answer. Part b: Given the above information, does statement NOT(KB) entail statement NOT(S1)? Justify your answer.

Find the explanation in the attachment. Also I have attached the figure of the question

see explanation

step-by-step explanation:

since the sequence is geometric there is a common ratio r between consecutive terms, that is

r = 4 ÷ - 2 = - 2

r = - 8 ÷ 4 = - 2

r = 16 ÷ 8 = - 2

the next term - 13 must be incorrect as it should be - 32 for the sequence to be geometric.

the first 4 terms are therefore geometric with common ratio r = - 2

the system of inequity is

step-by-step explanation:

from the given graph it is noticed that we have two related lines. one is solid and another is dashed.

if a line passing through two points, then the equation of line is

the solid line passing through the points (0,4) and (4,0).

the related equation of solid line is .

similarly, find the related equation of dashed line. the dashed liune passing through the points (0,0) and (3,1).

the related equation of dashed line is

from the given graph it is noticed that the point (0,1) lies on the shaded region, therefore the point (0,1) must be satisfied by the related equations.

check the related equations by the point (0,1).

this statement is true if the sign of inequality is < instead of equality. since it is an solid line therefore the sign of inequality will be . the required inequality is

similarly, check the second related equation.

it is a dashed line, so this statement is true if the sign of inequality is > . the required inequality is