Luì

Luì è un software online relativo alla dimostrazione in matematica. Il software è utile per discutere alcune dinamiche relative al processo di prova nonché per trattare gli aspetti formali di tale processo.

Nel gioco Luì, i giocatori Proponent e Opponent si sfidano su un enunciato.

P pensa l'enunciato sia vero, mentre O pensa l'enunciato sia falso.

L'enunciato è scritto nella forma ∀x (H₁, ..., H_n → C), da leggersi:
se per x valgono le ipotesi H₁, ..., H_n, allora

Durante la partita P ed O dialogano sull'enunciato.
L'idea base del loro dialogo è questa: per dire che un enunciato della forma ∀x (H₁, ..., H_n → C) è falso <

Ad esempio, se si vuole sostenere che la frase \"tutti gli uccelli sanno volare\", che nella forma appena presentata è ∀x (UCCELLO(x) → VOLARE(x)), sia falsa bisogna trovare un uccello t che non sappia v

Nella partita, le ipotesi H sono indicate in arancione, mentre la conclusione C in blu.

P vince se riesce a lasciare O senza la possibilità di ribattere.
O vince se la partita dura all'infinito.

Scarica una guida completa al gioco facendo CLICK QUI!

Logica Proposizionale Logica Primo Ordine

In LOGICA PROPOSIZIONALE non compare il quantificatore ∀ e si discute su semplici enunciati con ipotesi e conclusione.
Una lettera (A, B, C, ...) indica un'affermazione qualsiasi.

Consigliamo di cominciare con la modalità SHORTCUT perché è più agevole. Le regole delle due modalità si trovano all'interno della guida.

Modalità Shortcut Modalità Standard

Proponent vs Opponent Proponent vs

GIUSEPPE PEANO

Giuseppe Peano nacque nel 1858 in una frazione di Cuneo. Si racconta che, da ragazzo, dovesse fare ogni giorno molti chilometri a piedi per andare a scuola, come tipico ancora oggi in molte parti del mondo. Continuò poi i suoi studi a Torino grazie all

AUOQUAMEL

Abū Kāmil Shujāʿ ibn Aslam, noto anche come al-Ḥāsib al-Miṣrī (\"Il Calcolatore Egiziano\") e in Occidente come Auoquamel, è stato un matematico egiziano vissuto intorno agli anni 850-930, durante l’epoca d'oro islamica. L’epoca d'oro islamica è un per

JEAN-LOUIS KRIVINE

Jean-Louis Krivine è uno studioso francese, nato nel 1939, che si è occupato di logica matematica, teoria degli insiemi, informatica teorica. È stato studente dell'École Normale Supérieure di Parigi e poi ha insegnato per molti anni all’Università “Par

GAME IN ON THE FORMULA

to play: click on formula you believe is false.

L'insieme $\"T\"$ contiene ciò che è vero per entrambi i giocatori.

L'insieme O_⊤ indica ciò che O pensa sia vero.

L'insieme P_⊤ indica ciò che P pensa sia vero.

L'insieme $\"T\"$ contiene ciò che è falso per entrambi i giocatori.

Mosse

Ancora nessuna mossa eseguita