1)
2)
Non riesco a capire da dove viene w e che cosa è w, avrei bisogno di una spiegazione. Grazie mille!
2 messaggi
• Pagina 1 di 1
Forma normale prenessa congiuntiva
da valerimartohan » 09/08/2023, 18:08
Voglio trasformare alfa, in forma normale prenessa congiuntiva.
1)
2)
Non riesco a capire da dove viene w e che cosa è w, avrei bisogno di una spiegazione. Grazie mille!
1)
2)
Non riesco a capire da dove viene w e che cosa è w, avrei bisogno di una spiegazione. Grazie mille!
- valerimartohan
- Starting Member
- Messaggio: 9 di 18
- Iscritto il: 18/09/2022, 17:25
Re: Forma normale prenessa congiuntiva
da megas_archon » 12/08/2023, 10:35
le formule in 2 sono \(\alpha\)-equivalenti https://ncatlab.org/nlab/show/alpha-equivalence
-
megas_archon - Senior Member
- Messaggio: 850 di 1318
- Iscritto il: 13/06/2021, 20:57
2 messaggi
• Pagina 1 di 1
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Chi c’è in linea
Visitano il forum: Nessuno e 1 ospite