Need help on this 

Let the formula σί be defined as follows: Now define a) Describe all truth assignments v that satisfy Σ (b) Prove that the set {α : Σ-a) of tautological consequences of Σ is decidable. Show transcribed image text
Expert Answer
An answer will be send to you shortly. . . . .