Bizonyítsuk be természetes technikával, hogy az alábbi szekvenciák megalapozhatók.
Bizonyítsuk be természetes technikával, hogy az alábbi következményrelációk fennállnak.
Készítsük el a természetes technika ekvivalenciajelre vonatkozó levezetési szabályait. (
)
Készítsük el a szekventkalkulus ekvivalenciajelre vonatkozó levezetési szabályait.
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?
Bizonyítsuk be, hogy
pontosan akkor kielégíthetetlen, ha az
szekvent bizonyítható.
Bizonyítsuk be, hogy
pontosan akkor, ha az
szekvent bizonyítható.Bizonyítsuk be a szekventkalkulus segítségével a következményreláció fennállását.
