Teórico de Deducción Natural - Lógica Proposicional

Mostrando 12 de 12 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Uso de teoremas en la deducción natural	Jerónimo Ismael Acosta Monteavaro 14 abr 2023	Fernando Carpani 18 abr 2023	4
Sobre la definicion de teorema	Camilo Ferrero Alvarez 14 abr 2023	Camilo Ferrero Alvarez 2 may 2023	2
Definición de demostración	Jerónimo Ismael Acosta Monteavaro 13 abr 2023	Jerónimo Ismael Acosta Monteavaro 14 abr 2023	2
Cancelación de hipótesis	Ramon Rafael Silva Ramirez 30 abr 2021	Ramon Rafael Silva Ramirez 1 may 2021	2
Introducción del entonces	Nicolás Perez Quintero 2 may 2024	Fernando Carpani 2 may 2024	1
Hipotesis cancelada vs sin cancelar	Juan Tomás Chimaylov Beloqui 10 abr 2024	Fernando Carpani 10 abr 2024	1
Eliminacion de bottom	JoaquãN AndrãS Silva VãZquez 17 abr 2022	Juan Diego Campo 19 abr 2022	1
Interpretación de eliminación de bottom	Damian Alberto Castro Martirena 14 abr 2021	Juan Diego Campo 26 abr 2021	1
Sintaxis de prop(parentesis)	Federico Gutierrez Scampini 14 abr 2021	Juan Diego Campo 26 abr 2021	1
Como saber cuando usar introducción y cuando usar eliminación	Tomas Pasacual Sexenian Lopez 13 abr 2021	Juan Diego Campo 26 abr 2021	1
Eliminación del or	Lucia Thais De Oliveira Gude 18 abr 2020	Fernando Carpani 19 abr 2020	1
Hipotesis y cancelación	Nicolas Grosso San Roman 15 abr 2023	Nicolas Grosso San Roman 15 abr 2023	0