If the goal is a consequence of the premises construct a for

If the goal is a consequence of the premises, construct a formal proof that would be acceptable in F. Be sure to number your step and include the justification for each step, and be sure to box each subproof.

You may apply AnaCon to predicates, but only to establish an analytic consequene that is not logical consequence, and you may only cite 2 premises at a time. You may not use TautCon.

If the goal is not a consequence of the premises, then show the non-consequnce by constructing a counter example world.

Symbolize the following statements If b is a tetrahedron then C is not a amass doduclerem C is in front of futures is a adjoist b and c only if b c are net large. 6 or d is a cube if either a are is a tetrahedron a is larger than b if an only if b is smaller than c. C and b are not do decahedrons if in small. H is not a tetrahedron or dodecahedron, but it is large. K is not smaller than h when g adjoins i

Solution

note : only one question per submission is allowed according to chegg rules.

7.if b is a tetrahedron , then e is not a small dodecahedron

let p: b is a tetrahedron,let q be : e is a small dodecahedron

now according to propsitional logic this is

p--->not q