Ciao! non capisco perchè al minuto 8:50 diamo la precedenza all'implicazione piuttosto che alla congiunzione, ci sono delle regole particolare per orientarsi e capire quale connettivo logico seguire?
Lo scarico dell'ipotesi viene effettuato da specifiche regole di derivazione (non tutte possono scaricare ipotesi). Da un punto di vista pratico lo scarico significa utilizzare l'ipotesi tramite una regola che lo permette. Dal punto di vista logico sono ipotesi che utilizzi nel momento in cui devi far valere la tua derivazione. Per capire meglio questo processo le derivazioni vanno lette dall'alto verso il basso: tu parti da delle ipotesi e arrivi alle conclusioni. Leggere le derivazioni dal basso verso l'alto è un pelo controintuitivo, perché da delle conclusioni vuoi risalire alle ipotesi.
Ciao! non capisco perchè al minuto 8:50 diamo la precedenza all'implicazione piuttosto che alla congiunzione, ci sono delle regole particolare per orientarsi e capire quale connettivo logico seguire?
L'ho spiegato nei video di questa playlist sul canale, penso tra i primi
puoi spiegare meglio (in due parole) che significa scaricare le ipotesi. Grazie e complimenti per l'esposizione. minuto 5:54.
Lo scarico dell'ipotesi viene effettuato da specifiche regole di derivazione (non tutte possono scaricare ipotesi).
Da un punto di vista pratico lo scarico significa utilizzare l'ipotesi tramite una regola che lo permette. Dal punto di vista logico sono ipotesi che utilizzi nel momento in cui devi far valere la tua derivazione.
Per capire meglio questo processo le derivazioni vanno lette dall'alto verso il basso: tu parti da delle ipotesi e arrivi alle conclusioni. Leggere le derivazioni dal basso verso l'alto è un pelo controintuitivo, perché da delle conclusioni vuoi risalire alle ipotesi.
ma sicuro di sapere la dx e la sx? scrivi sempre r a sinistra e l a destra