Idee per una presentazione matematica Logica

Logica matematica o logica simbolica , i tentativi di riscrivere rivendicazioni argomentative come equazioni. Come suggerisce il nome , la logica matematica utilizza diversi simboli per sostituire gli elementi di un credito , in particolare gli elementi esistenziali o congiuntive come "e ", "o " e " no". Perché la logica matematica sposa i principi di argomentazione con i principi di formule matematiche , è importante stabilire rapidamente in udienza la comprensione di base di ciascuno, prima di tentare di risolvere i problemi di logica matematica , o utilizzare la logica matematica per determinare la logica di un argomento . Stabilire contenuto Polemico base

rivendicazioni semplici argomentativi , esistenziali costituiscono la base di matematica o logica simbolica . Esistenziale si riferisce alle dichiarazioni di qualcosa come esiste nel mondo . Per esempio ; " John è scapolo " è una affermazione esistenziale sul mondo , in quanto pone una teoria o un argomento di qualche elemento del mondo , vale a dire lo stato di matrimonio di John . Premesse e conclusioni costruire semplici affermazioni argomentativi . Quando la congiunzione , premesse sono le dichiarazioni che dimostrano una conclusione , che è la comprovata verità di un numero di sedi . Per esempio ; " 1 . Laurea sono uomini non sposati . 2 . John è un Bachelor . 3. Pertanto , John è un uomo non sposato ". In questa frase , "1" e " 2" rappresentano premesse , mentre " 3 " rappresenta la conclusione .
Campo Base Simbolismo

Su introducendo gli elementi più semplici di un argomento - premesse e conclusioni - è importante stabilire i simboli di base più spesso distribuite e compreso dai logici matematici , in questo caso " P " e " Q " "P ", giustamente , simboleggia la " premessa ", mentre " Q ", confusamente , simboleggia la " conclusione ". Inoltre , i locali tendono includere numeri a fianco del P , mentre le conclusioni tendono a ricevere aggiuntivi, lettere successive . Per esempio ; P1 , P2 , P3 per primo, secondo e terzo premessa , e Q , R , S per prima , seconda e terza conclusione . Anche se esistono molte teorie sul significato etimologico di P e Q , come le lettere comuni della logica matematica - dalla dichiarazione " mente tua Ps e Qs " ad eventuali abbreviazioni dei termini latini " per " e " quod " - nessuno veramente conti o spiega perché P e Q sono così comunemente considerati il simbolismo di base della premessa e la conclusione .
Alterare Polemico Form

matematica e logica simbolica tende a fare affidamento su If /Then collegato strutture per gli argomenti , piuttosto semplici asserzioni dei locali . Per esempio ; piuttosto che " P1 : gli scapoli sono uomini non sposati P2 : . John è un Bachelor D: . John è un uomini celibi ", una matematica o la rappresentazione logica simbolica dello stesso argomento sarebbe sostituire di conseguenza: "P1 : Se gli scapoli sono uomini non sposati , e P2 : Se John è scapolo , allora Q : John è un uomo non sposato P1 e P2 è vero è vero, quindi Q " Questo ulteriore sostituti come se P1 e P2 , poi Q. P1 e P2 , quindi Q.
.
introduzione di nuovi simboli

la fase finale a introdurre matematica o logica simbolica richiede la sostituzione di ulteriori simboli , in modo da eliminare completamente tutte le parole scritte . Mentre alcuni logici matematici o simbolici impiegano semplici simboli matematici come " + ", " - " e " = ", altri impiegano simboli altamente specifici unici per la matematica o logica simbolica come disciplina . Ai fini della presentazione , considerare l'utilizzo di simboli con cui il pubblico è già familiare. Per esempio ; riscrivere "Se P1 e P2 , poi Q. P1 e P2 , quindi Q" come " P1 + P2 = Q. P1 . P2 . Q. " Utilizzo di maiuscole per sottolineare il significato di questa argomentazione logica simbolica , questi simboli legge: "Se gli scapoli sono uomini non sposati , e John è scapolo , ALLORA John è un uomo non sposato gli scapoli sono uomini non sposati John è scapolo QUINDI , John . . . è un uomo sposato. "