Nella testa devo avere solo memoria a breve termine e cestino, perchè, a parte quello di Innergal, mi sono già dimenticato tutti i nomi dei partecipanti, a parte questo mi sono sentito in buona compagnia
Durante il raduno uno dei partecipanti mi ha chiesto i principi del calcolo proposizionale. Siccome non ho potuto accontentarlo, lo faccio qui
Alfabeto del calcolo proposizionale:
< >
P Q R '
eo => non
[ ]
Elenco delle regole del calcolo proposizionale:
Atomi: P,Q e R si chiamano atomi. Per formare nuovi atomi si aggiungono apici alla destra di atomi già acquisiti (esempi: R', Q'', P''', etc...)
Regole di formazione delle stringhe: se x e y sono stringhe ben formate, allora sono ben formate anche le quattro stringhe seguenti:
1) non x
2) <x o y>
3) <x e y>
4) <x=>y>
Regola di congiunzione: se x e y sono teoremi, allora la stringa <x e y> è un teorema
Regola di separazione: se <x e y> è un teorema, allora sia x che y sono teoremi
Regola del doppio gancio: la stringa "non non" può essere cancellata ogni volta che compare in un teorema. La stessa stringa può anche essere inserita in qualsiasi teorema, purchè la stringa che si ottiene risulti ben formata
Regola di fantasia: se è possibile derivare y in base all'ipotesi che x sia un teorema, allora <x=>y> è un teorema;
per segnalare che si entra in una fantasia o che se ne esce, si usano rispettivamente le parentesi quadre "[" e "]";
esempio di applicazione della regola di fantasia:
[ (fantasia)
P (premessa)
non non P (conclusione (regola del doppio gancio))
] (uscita dalla fantasia)
<P=>non non P>(regola di fantasia)
l'interpretazione di questa dimostrazione è "se P fosse un teorema, allora non non P è un teorema"
Regola del trasferimento: all'interno di una fantasia si può inserire e usare qualsiasi teorema appartenente alla "realtà" del livello immediatamente superiore
Regola del distacco, o modus ponens: se sia x sia <x=>y> sono teoremi, allora lo è anche y
Regola della contrapposizione: <x=>y> e <non y=>non x> sono intercambiabili
Regola di De Morgan: <non x e non y> e non<x o y> sono intercambiabili
Regola di Smisteru: <x o y> e <non x=>y> sono intercambiabili.
Proprietà del calcolo proposizionale: Godel ha dimostrato che questo sistema chiamato calcolo proposizionale è semanticamente completo e coerente (non soggetto alle limitazioni del teorema di Godel, quindi affidabile per analizzare la coerenza o altre proprietà dei linguaggi semanticamente indeterminati, per esempio i linguaggi umani).
Comunque volevo farvi i complimenti!
1) trovavate sempre il momento adatto per intervenire
2) nessun vizio nella modulazione della voce
3) nessun vizio nella dizione
3) nessun vizio nella comunicazione di sguardi
4) nessun vizio nella gestualità
Che razza di socialfobici siete? Dovrò farvi un corso di bassa autostima e disabilità sociale
Aoooo raga me dovete ridi i nomi che senno non me li ricordo xD
Cmq tutta brava gente... all'inizio pensavo sarebbe stato uno di quei raduni dove nessuno parla, ma noto con piacere che così non è stato.
per harvest io dicevo lui :
http://it.youtube.com/watch?v=nVuUfTNFNhk papa roach
Tutti i fusi orari sono GMT + 1 ora Vai a Precedente1, 2, 3, 4
Pagina 4 di 4
Non puoi inserire nuovi argomenti Non puoi rispondere a nessun argomento Non puoi modificare i tuoi messaggi Non puoi cancellare i tuoi messaggi Non puoi votare nei sondaggi
FAQ
Cerca
Profilo
Messaggi privati
Log in
