1. Consider the following argument. Av (Bv (Cv (Dv (EvF)))) ~A ~B ~C ~E F (20%)...

  

Transcribed Image Text:

1. Consider the following argument. Av (Bv (Cv (Dv (EvF)))) ~A ~B ~C ~E F (20%) Provide a derivation, with only primitive rules of inference, to show that the above argument is valid. (10%) To show that this argument is valid, an alternative is to construct a truth table for it. This truth table has many rows-so please don't draw it. Calculate the number of its rows. 1. Consider the following argument. Av (Bv (Cv (Dv (EvF)))) ~A ~B ~C ~E F (20%) Provide a derivation, with only primitive rules of inference, to show that the above argument is valid. (10%) To show that this argument is valid, an alternative is to construct a truth table for it. This truth table has many rows-so please don't draw it. Calculate the number of its rows.