Definire implicazione logica
Implicazione logica
La Implicazione logica ha una tabella di verità? Ha senso dire che se premessa falsa implicazione è vera, come accade per la implicazione materiale?
Grazie e buongiorno a tutti Voi
La Implicazione logica ha una tabella di verità? Ha senso dire che se premessa falsa implicazione è vera, come accade per la implicazione materiale?
Grazie e buongiorno a tutti Voi
Risposte
Ciao,
prova a dare una lettura a questo allegato.
Spero di esseri stato di aiuto.
Saluti :-)
prova a dare una lettura a questo allegato.
Spero di esseri stato di aiuto.
Saluti :-)
Questa mi sembra la definizione di implicazione a materiale. Grazie
Ciao,
quindi tu ti riferisci alla "deduzione logica".
Comunque é il ragionamento che é base della dimostrazione di ogni teorema.
Non e' un connettivo logico e pertanto non ha una tavola di verità.
Un teorema viene sempre enunciato nel seguente modo:
Da Ipotesi segue Tesi
cioe'
Se vale l' Ipotesi allora vale la Tesi
Ma, contrariamente all'implicazione materiale, stavolta abbiamo una relazione di causa nel senso che l'Ipotesi (considerata sempre vera) e' causa della verita' della Tesi
Saluti :-)
quindi tu ti riferisci alla "deduzione logica".
Comunque é il ragionamento che é base della dimostrazione di ogni teorema.
Non e' un connettivo logico e pertanto non ha una tavola di verità.
Un teorema viene sempre enunciato nel seguente modo:
Da Ipotesi segue Tesi
cioe'
Se vale l' Ipotesi allora vale la Tesi
Ma, contrariamente all'implicazione materiale, stavolta abbiamo una relazione di causa nel senso che l'Ipotesi (considerata sempre vera) e' causa della verita' della Tesi
Saluti :-)
Ok, quindi contrariamente alla materiale non ha una tabella vero funzionale e non ha senso porsi se ipotesi falsa cosa possa succedere. Se ho ben capito.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo