6.3. Feladatok

  1. Bizonyítsuk be természetes technikával, hogy az alábbi szekvenciák megalapozhatók.

  2. Bizonyítsuk be természetes technikával, hogy az alábbi következményrelációk fennállnak.

  3. Készítsük el a természetes technika ekvivalenciajelre vonatkozó levezetési szabályait. (

    )

  4. Készítsük el a szekventkalkulus ekvivalenciajelre vonatkozó levezetési szabályait.

  5. Bizonyítsuk be, hogy az alábbi szekventek bizonyíthatók a szekventkalkulusban. Mit bizonyítottunk ezzel a szekvent által meghatározott formulákról?

  6. Bizonyítsuk be, hogy

    pontosan akkor kielégíthetetlen, ha az

    szekvent bizonyítható.

  7. Bizonyítsuk be, hogy

    pontosan akkor, ha az

    Equation 6.. 


    szekvent bizonyítható.

  8. Bizonyítsuk be a szekventkalkulus segítségével a következményreláció fennállását.