oliviallanosj
commented
1 month ago Hola! Solo basta con demostrar para las variables que se dan en el enunciado (A y B de tamaño 2). Si lo haces para n arbitrario se complica.
Open JuanGuzman17 opened 1 month ago
oliviallanosj
commented
1 month ago Hola! Solo basta con demostrar para las variables que se dan en el enunciado (A y B de tamaño 2). Si lo haces para n arbitrario se complica.
En el enunciado se pide que se demuestre la consecuencia logica especificamente para el caso P de variables proposicionales? O se debe comprobar para cualquier dominio A y recorrido B de cualquier tamaño y que sean de igual tamaño?