Tautologies - TEST

1.

  What is the truth value of r or_0.gif ~r?


                                           Začátek formuláře

  (_) True
  (_) False
  (_) Not enough information was given.
  (_) None of the above.

  RESULTS BOX:
  _____________________________________________

                                            Konec formuláře


2.

  Is the following statement a tautology?  s conditional_transp.gif ~s


                                           Začátek formuláře

  (_) Yes
  (_) No
  (_) Not enough information was given.
  (_) None of the above.

  RESULTS BOX:
  _____________________________________________

                                            Konec formuláře


3.

  Is the following statement a tautology? [(p or_0.gif q) and_0.gif ~p] conditional_transp.gif q


                                           Začátek formuláře

  (_) Yes
  (_) No
  (_) Not enough information was given.
  (_) None of the above.

  RESULTS BOX:
  _____________________________________________

                                            Konec formuláře


4.

  Is the following statement a tautology? ~(x or_0.gif y) biconditional_transp_0.gif (~x and_0.gif
  ~y)


                                           Začátek formuláře

  (_) Yes
  (_) No
  (_) Not enough information was given.
  (_) None of the above.

  RESULTS BOX:
  _____________________________________________

                                            Konec formuláře


5.

  Is the following statement a tautology? a and_0.gif ~a


                                           Začátek formuláře

  (_) Yes
  (_) No
  (_) Not enough information was given
  (_) None of the above

  RESULTS BOX:
  _____________________________________________

                                            Konec formuláře