Teórico de Sintaxis - Lógica de primer orden

Consultas sobre el teórico de lógica de primer orden

Mostrando 5 de 5 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Cantidad minima de constantes	Juan Andres Marin Almada 7 jun 2020	Fernando Carpani 10 jun 2020	1
Definicion de FV	Leonardo Nicolas Gonzalez Sureda 1 jun 2021	Juan Diego Campo 1 jun 2021	1
FV para formulas	Jose Agustin Bizio Piriz 5 may 2023	Jose Agustin Bizio Piriz 5 may 2023	0
ej Variables libres y ligadas	Juan Tomás Chimaylov Beloqui 12 may 2024	Juan Tomás Chimaylov Beloqui 12 may 2024	0
definiciones contradictorias de libre	Martín Fossatti Valetti 15 may 2024	Juan Diego Campo 16 may 2024	1