Question:
Isomorfismo
Author: PAZ ARAMBURUAnswer:
Sean I1 e I2 dos interpretaciones con universos Ui1 y Ui2 F:Ui1->Ui2 función de dice isomorfismo si cumple: 1) F es biyectiva 2) F(ci1)=ci2 3) F(fi1k(t1,...,tk))=fi2k(F(t1),...,F(tk)) 4) (t1,...,tk)∈Pi1k ⇔ (F(t1),...,F(tk))∈Pi2k
0 / 5 (0 ratings)
1 answer(s) in total
Author
PAZ ARAMBURU