La matematica ha molti simboli. Alcuni potrebbero dire troppi simboli. Quindi facciamo un po 'di matematica con le immagini.
Diamo un foglio su cui attingeremo. Per iniziare il foglio è vuoto, diremo che equivale a o .
Se scriviamo altre cose sul foglio, saranno vere.
Per esempio
Indica che le rivendicazioni e sono vere.
Ora diciamo che se tracciamo un cerchio attorno ad un'affermazione tale affermazione è falsa. Questo rappresenta logicamente no.
Per esempio:
Indica che è falso e Q è vero.
Possiamo persino posizionare il cerchio attorno a più sotto-dichiarazioni:
Poiché lo spazio vuoto era vero, allora la negazione del vero è falsa.
Ora usando questo semplice metodo visivo possiamo effettivamente rappresentare qualsiasi affermazione nella logica proposizionale.
prove
Il prossimo passo dopo essere stati in grado di rappresentare le dichiarazioni è riuscire a dimostrarle. Per le prove abbiamo 4 regole diverse che possono essere utilizzate per trasformare un grafico. Iniziamo sempre con un foglio vuoto che, come sappiamo, è una verità vacua e quindi usiamo queste diverse regole per trasformare il nostro foglio di carta vuoto in un teorema.
La nostra prima regola di inferenza è Insertion .
Inserimento
Chiameremo il numero di negazioni tra un sotto-grafico e il livello superiore è "profondità". L'inserimento ci consente di presentare qualsiasi affermazione desideriamo a una profondità dispari.
Ecco un esempio di noi che eseguiamo l'inserimento:
cancellatura
La prossima regola di inferenza è la cancellazione . La cancellazione ci dice che se abbiamo un'affermazione a una profondità uniforme possiamo rimuoverla del tutto.
Ecco un esempio di cancellazione applicata:
Doppio taglio
Double Cut è un'equivalenza. Ciò significa che, a differenza delle inferenze precedenti, può anche essere invertito. Double Cut ci dice che possiamo disegnare due cerchi attorno a qualsiasi sotto-grafico e se ci sono due cerchi attorno a un sotto-grafico possiamo rimuoverli entrambi.
Ecco un esempio del Double Cut utilizzato
Iterazione
Anche l'iterazione è un'equivalenza. 1 Il suo contrario si chiama Deiterazione Se abbiamo un'istruzione e un taglio sullo stesso livello, possiamo copiare quell'istruzione all'interno di un taglio.
Per esempio:
La deiterazione ci consente di invertire un'iterazione . Una dichiarazione può essere rimossa tramite Deiterazione se ne esiste una copia al livello successivo.
Questo formato di rappresentazione e prova non è di mia invenzione. Sono una modifica minore di una logica schematica sono chiamati Alpha Existential Graphs . Se vuoi leggere di più su questo, non c'è un sacco di letteratura, ma l'articolo collegato è un buon inizio.
Compito
Il tuo compito sarà dimostrare il seguente teorema:
Questo, quando tradotto in simbolizzazione logica tradizionale è
.
Conosciuto anche come Łukasiewicz-Tarski Axiom .
Può sembrare coinvolto, ma i grafici esistenziali sono molto efficienti quando si tratta della lunghezza della prova. Ho selezionato questo teorema perché penso che sia una lunghezza appropriata per un puzzle divertente e stimolante. Se hai problemi con questo, ti consiglio di provare prima alcuni teoremi di base per ottenere il blocco del sistema. Un elenco di questi può essere trovato in fondo al post.
Questo è il golf di prova, quindi il tuo punteggio sarà il numero totale di passaggi nella prova dall'inizio alla fine. L'obiettivo è ridurre al minimo il tuo punteggio.
Formato
Il formato di questa sfida è flessibile e puoi inviare le risposte in qualsiasi formato chiaramente leggibile, inclusi i formati disegnati a mano o renderizzati. Tuttavia, per chiarezza, suggerisco il seguente formato semplice:
Rappresentiamo un taglio tra parentesi, qualunque cosa stiamo tagliando viene messa all'interno delle parentesi. Il taglio vuoto sarebbe solo
()
per esempio.Rappresentiamo gli atomi con solo le loro lettere.
A titolo di esempio, ecco la dichiarazione obiettivo in questo formato:
(((A((B(A))))(((((C)((D((E)))))(((C((D(F))))(((E(D))((E(F))))))))(G))))((H(G))))
Questo formato è bello perché è leggibile sia dall'uomo che dalla macchina, quindi includerlo nel tuo post sarebbe bello.
Per quanto riguarda il tuo lavoro effettivo, ti consiglio di usare carta e matita quando ti alleni. Trovo che il testo non sia intuitivo quanto la carta quando si tratta di grafici esistenziali.
Esempio di prova
In questo esempio dimostreremo il seguente teorema:
Prova:
Teoremi di pratica
Ecco alcuni semplici teoremi che puoi usare per esercitarti nel sistema:
Secondo assioma di Łukasiewicz
L'assioma di Meredith
1: La maggior parte delle fonti utilizza una versione più sofisticata e potente di Iteration , ma per mantenere questa sfida semplice sto usando questa versione. Sono funzionalmente equivalenti.