Teórico de Completitud - Lógica Proposicional

Mostrando 20 de 20 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Conjunto consistente maximal ¿Caracterizado por valuación?	Jerónimo Ismael Acosta Monteavaro 16 abr 2023	Fernando Carpani 18 abr 2023	1
Teorías	Nicolas Grosso San Roman 14 abr 2023	Fernando Carpani 18 abr 2023	2
Condicion suficiente de consistencia	Amalia Lucia Balestrazzi Silveira 2 may 2022	Guillermo Calderon - InCo 3 may 2022	1
Consistente si y solo si Completo	Gonzalo Sosa Lago 2 may 2022	Guillermo Calderon - InCo 3 may 2022	3
Conjuntos completos y consistentes maximales	Guillermo Alejo Mena Pastorino 21 abr 2022	Guillermo Calderon - InCo 22 abr 2022	1
Lema 1.6.10.3	Rodrigo Torrado Baluga 13 abr 2022	Rodrigo Torrado Baluga 19 abr 2022	2
Correcion - PI en la eliminación del or	Joel Cabrera Dechia 8 abr 2022	Guillermo Calderon - InCo 9 abr 2022	1
Consistencia maximal y teorías	Tomas Pasacual Sexenian Lopez 4 may 2021	Juan Diego Campo 4 may 2021	1
Faltante de definición en el teórico	Maria Magdalena Rubio Colucci 28 abr 2021	Juan Diego Campo 28 abr 2021	3
Relacion entre valuacion y consistencia	Adolfo Enrique Castelo Travieso 27 abr 2021	Juan Diego Campo 28 abr 2021	1
Construccion de teorias, conjuntos completos, maximales, etc	Tomas Pasacual Sexenian Lopez 28 abr 2021	Juan Diego Campo 28 abr 2021	1
Duda sobre contrareciproco de lema 1.6.3	Adolfo Enrique Castelo Travieso 27 abr 2021	Juan Diego Campo 27 abr 2021	1
Cm => completo	Dylan Thomas Smyth Corbellini 24 abr 2021	Juan Diego Campo 26 abr 2021	1
CONS(r)	Juan Manuel Tassino Chaparro 22 abr 2021	Juan Diego Campo 22 abr 2021	1
Teorema	Lucas Gabriel Sousa Silva Barreto 16 jul 2020	Fernando Carpani 16 jul 2020	1
DIFERENCIAS entre definiciones	Lucas Gabriel Sousa Silva Barreto 16 jul 2020	Daniel Eduardo Fernandez Galli 16 jul 2020	1
Conjunto Completo	Lucas Gabriel Sousa Silva Barreto 16 jul 2020	Lucas Gabriel Sousa Silva Barreto 16 jul 2020	0
Completitud de la logica proposicional.	Rafael Agustin Castelli Ottati 18 may 2020	Fernando Carpani 22 may 2020	2
Demostracion de Correccion, introduccion del implica	Alex Elenter Litwin 3 may 2020	Fernando Carpani 11 may 2020	1
Lema 1.6.4. Condición suficiente de consistencia	Juan Manuel Rodriguez Otormin 4 may 2020	Rodrigo Javier Vazquez Machado 4 may 2020	1