Matematické Fórum

Dobrý den,

potřeboval bych poradit, jak dokázat formuli "fi" v teorii T v prikladu 2b niže na obrázku.



Postupoval jsem následovně v obrázku níže:



Bylo mi řečeno, že kanonický model z tabla nesestavím, tak jsem zkusil aplikovat axiomy rovnost, ale moc netuším jak. Není to tak, že by se mi je nikdy nepodařilo použít, ale nevím, jak mám na tuhle ulohu jeden z těch axiomů vhodně použít.