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

Mostrando 12 de 12 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Eliminación del or	Lucia Thais De Oliveira Gude 18 abr 2020	Fernando Carpani 19 abr 2020	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
Sintaxis de prop(parentesis)	Federico Gutierrez Scampini 14 abr 2021	Juan Diego Campo 26 abr 2021	1
Interpretación de eliminación de bottom	Damian Alberto Castro Martirena 14 abr 2021	Juan Diego Campo 26 abr 2021	1
Cancelación de hipótesis	Ramon Rafael Silva Ramirez 30 abr 2021	Ramon Rafael Silva Ramirez 1 may 2021	2
Eliminacion de bottom	JoaquãN AndrãS Silva VãZquez 17 abr 2022	Juan Diego Campo 19 abr 2022	1
Definición de demostración	Jerónimo Ismael Acosta Monteavaro 13 abr 2023	Jerónimo Ismael Acosta Monteavaro 14 abr 2023	2
Hipotesis y cancelación	Nicolas Grosso San Roman 15 abr 2023	Nicolas Grosso San Roman 15 abr 2023	0
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
Hipotesis cancelada vs sin cancelar	Juan Tomás Chimaylov Beloqui 10 abr 2024	Fernando Carpani 10 abr 2024	1
Introducción del entonces	Nicolás Perez Quintero 2 may 2024	Fernando Carpani 2 may 2024	1