|
Categorie
Winzipedia Uso dell'wiki |
AL /
FAQAL.FAQ VersioniNascondi le modifiche minori - Mostra le modifiche da evidenziare 08/07/2006 ore 19:40 CEST
di - correzioni qua e la, ma piu' sotto
Modificate le linee 12-13: da:
|= indica la deduzione semantica ovvero se ho un 1 in P devo averlo assolutamente in Q, dove P e Q sono delle fbf. a:
|= indica la deduzione semantica ovvero se ho un 1 in P devo averlo assolutamente in Q, dove P e Q sono due fbf. Viene introdotta nella logica proposizionale insieme al teorema di deduzione semantica: P |= Q sse |= P->Q Modificate le linee 19-20: da:
|- indica la deduzione astratta che partendo da un insime di regole di dedurne altre. a:
|- indica la deduzione naturale che spiega come dedurre delle tesi da ipotesi di fbf. Modificata la linea 39: da:
not A notA -> B a:
notA notA -> B Modificate le linee 43-45: da:
False
________
A
a:
False [notA]
__________
A [notB]
Modificate le linee 47-48: da:
not B -> A a:
notB -> A Modificata la linea 58: da:
a:
Modificate le linee 82-91: da:
a:
Aggiunte le linee 90-91:
27/06/2006 ore 22:44 CEST
di - conferma intervento di ste, approfondimento regole condizionali
Modificate le linee 50-79: da:
a:
27/06/2006 ore 20:20 CEST
di - risposta alla domanda |- e |=
Modificate le linee 12-13: da:
|= indica la deduzione semantica ovvero se ho un 1 in P devo averlo assolutamente in Q, dove P eQ sono delle fbf. a:
|= indica la deduzione semantica ovvero se ho un 1 in P devo averlo assolutamente in Q, dove P e Q sono delle fbf. Modificate le linee 16-18: da:
a:
27/06/2006 ore 20:00 CEST
di - risposta alla domanda |- e |= 27/06/2006 ore 17:47 CEST
di - Creazione della pagina
Aggiunte le linee 1-8:
|