|
La deduzione logica (da non confondere assolutamente con l'implicazione materiale) e' il ragionamento che e' base della dimostrazione di ogni teorema. Non e' un connettivo logico e pertanto non ha una tavola di verita' 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 L'ipotesi e' sempre vera perche' non ha significato parlare di un teorema la cui ipotesi sia falsa. Inoltre gli argomenti di Ipotesi e Tesi devono essere correlati ed omogenei Ad esempio e' valido dire Se un triangolo ha due lati uguali allora ha due angoli uguali mentre non ha senso dire Se un triangolo ha due lati uguali allora l'ombrello e' aperto In alcuni testi si usa il simbolo -> (una linea sola) per indicare l'implicazione materiale ed il simbolo => (con doppia linea) per la deduzione logica ma in altri testi viene indicato diversamente. Tu cerca di usare gli stessi simboli che usa il tuo Insegnante |
|
|
|
|