Derive e logica degli insiemi
E' possibile con il software Derive analizzare enunciati composti di logica degli insiemi?
Ad esempio, se io volessi assegnare un valore di verità all'implicazione logica "se A è un sottoinsieme di C e B è un sottoinsieme di C allora l'unione di A e B è un sottoinsieme di C", come dovrei fare?
Grazie
Emil
PS
Ci sono eventualmente altri programmi?
Ad esempio, se io volessi assegnare un valore di verità all'implicazione logica "se A è un sottoinsieme di C e B è un sottoinsieme di C allora l'unione di A e B è un sottoinsieme di C", come dovrei fare?
Grazie
Emil
PS
Ci sono eventualmente altri programmi?
Risposte
se intendi logica come solo gli operatori (unione, intersezione, differenza) allora non saprei risponderti per Derive.
Se invece intendi anche analizzare proposizioni logiche allora esistono software appositi: Interactive theorem prover
Isabelle è quello meno allucinato per inserire le varie proposizioni, ipotesi, teoremi per poi applicare qualche tipo di induzione o testare qualche valore di verità.... cmq son tool un po' tediosi.
Se invece intendi anche analizzare proposizioni logiche allora esistono software appositi: Interactive theorem prover
Isabelle è quello meno allucinato per inserire le varie proposizioni, ipotesi, teoremi per poi applicare qualche tipo di induzione o testare qualche valore di verità.... cmq son tool un po' tediosi.
Grazie per la risposta.
Ho provato a dare uno sguardo a Isabelle, ma credo che sia un programma attualmente bel al di là delle mie esigenze.
In Derive, inoltre, non riesco a trovare il simbolo di appartenenza ad un insieme, mentre è presente quello di sottoinsieme.
Se qualche amico del Forum ha esperienza di Derive gli sarei grato se volesse aiutarmi a capire di più.
Emil
Ho provato a dare uno sguardo a Isabelle, ma credo che sia un programma attualmente bel al di là delle mie esigenze.
In Derive, inoltre, non riesco a trovare il simbolo di appartenenza ad un insieme, mentre è presente quello di sottoinsieme.
Se qualche amico del Forum ha esperienza di Derive gli sarei grato se volesse aiutarmi a capire di più.
Emil
Nessun suggerimento?
Salve EmiLask,
che io sappia non puoi, però andrò a vedere sul programma, hai provato con questo ??
Cordiali saluti
"EmilLask":
E' possibile con il software Derive analizzare enunciati composti di logica degli insiemi?
Ad esempio, se io volessi assegnare un valore di verità all'implicazione logica "se A è un sottoinsieme di C e B è un sottoinsieme di C allora l'unione di A e B è un sottoinsieme di C", come dovrei fare?
Grazie
Emil
PS
Ci sono eventualmente altri programmi?
che io sappia non puoi, però andrò a vedere sul programma, hai provato con questo ??
Cordiali saluti
Grazie per il suggerimento.
Se trovi qualcosa con derive, fammelo sapere.
Da qualche giorno sto provando la trial di Maple, che mi pare un buon software.
Sai se ci sono guide complete e al tempo stesso progressive all'uso di questo software?
Emil
Se trovi qualcosa con derive, fammelo sapere.
Da qualche giorno sto provando la trial di Maple, che mi pare un buon software.
Sai se ci sono guide complete e al tempo stesso progressive all'uso di questo software?
Emil
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo