Logica matematica

Ciao!

Sono Federico Tabellini, l'autore di questi appunti.

Siccome mi rendo conto che a volte la mia scrittura può non essere chiara e immediata, ti lascio la mia mail dove puoi contattarmi per chiedermi di trascriverti una frase/parola che non riesci a leggere.

Indica nell'oggetto il nome della materia oppure mandami uno screen specificando la parola.

Non appena potrò risponderò alla tua mail.

fede.tabellini@gmail.com

NB: Non spiego concetti, traduco e basta.

Un buon quaderno di appunti deve comunque essere accompagnato da studio e pazienza.

Accetto consigli/critiche (solo se costruttive).

Spero che questi appunti ti aiutino.

Buono studio.

Ciao!

Sono Federico Tabellini, l'autore di questi appunti.

Siccome mi rendo conto che a volte la mia scrittura può non essere chiara e immediata, ti lascio la mia mail dove puoi contattarmi per chiedermi di trascriverti una frase/parola che non riesci a leggere.

Indica nell'oggetto il nome della materia oppure mandami uno screen specificando la parola.

Non appena potrò risponderò alla tua mail.

fede.tabellini@gmail.com

NB: Non spiego concetti, traduco e basta.

Un buon quaderno di appunti deve comunque essere accompagnato da studio e pazienza.

Accetto consigli/critiche (solo se costruttive).

Spero che questi appunti ti aiutino.

Buono studio.

Introduzione

La logica studia i tipi dell'indagine Razionale (Rational Inquiry).

Come? Attraverso un linguaggio Astratto che definisce formalmente sintassi e significato.

Esso è la base di del linguaggio e viene definita la Conseguenza Logica ossia il Formalismo del ragionamento valido.

Struttura Logica è uno dei metodi dell'indagine Razionale per studiare le Relazioni tra i Seipi.

Quesiti tecnici: possiamo usare per dividere ragionamenti corretti da quelli verità?

Di converso, possiamo chi siamo e quale sezione segue logicamente da altro?

Diventa fondamentale capire Quali sono le Seipi della Logica e Perché esistono.

Esistono: perché i principi assiomi non cambiano indipendentemente dal contesto peculiare esistono appariva e accettano la logica Formale ossia dare e strutturale interni del ragionamento che dovante.

Reggiamo sulla frase: Se Piove ho in mano l'ombrello - metà personalizzata direzione.

Linguaggio naturale e affermazione

Nel linguaggio Naturale: è molto più coretando il significano scoperto sulla ottenuta tante Amed:

Potendo nel passaggio che in analisi logica è prettamente Statica.

Quindi possiamo pensare con “ho in mano l'ombrello”.

Quando è vero l'affermazione?

Questo è: vero Piove e è vero che ho in mano l'ombrello.

Ma anche quando è falsa che Piove (poiché non diventa dirette essi di essere vero a quel punto pensa nell'assunto che ho dobbio e meno l'ombrello in mano.

Considera a stampa con è insieme di Tutte Q possibili situazioni: (Infornato ^∞ possibili)

P: Situazioni in cui piove è vero (indipendentemente del significato di Piove

Q: Situazioni in cui è bene e & ombrello e meno l'ombrello in mano

Situazioni e implicazione

Possiamo dire che:

• P:P=Vero, Q=Falso
• P=Falso, Q=Vero
• ¬>PNQ = PVero, Q:Vero

Nel Bene a quello già detto: se P → Q allora in questo modo posso stessa assoluta:

Ipotesi: Comprensiva ottimale.

Segue tenere capitoli di idea correctivo rappresentati ecc., ecc...

Proposizione sono vero ¬(cD, PNQ poricla in Q:Q=Falso)

Che il di implicazione è che deve sapere via che implicazione vero.

L'unico modo di dimostrazione quando deve facinata di sarà (P=Vero alias P:DEVE sense vera)

Quindi altri.

Che comunicando sia ferru ch solito stesso significato uguale di un saldo il altra?

Quando posso importati alleggia stesso modo (Numero Condiziona vero e falso ciova quest tira i) e sia forza di piove fara meno: Non piove e prenda l'ombrello (con o inclusivo)

Non mi ignota poi che non mi interessano modo Se Piove Devi avere L'ombrello.

Se PV Q or Q mai decisi necessario.

Ad esempio perciò: "Se non piove non prendo l’ombrello e non è lo stessa cosa.

P_OQ

Quindi: darebbe errore quando P è falso oppure Q è vero.

Tabella di verità e concetto astratto

Fosse una tabella di verità:

P Q P Q P Q

F V F V

F V F F

Quindi:

PQ Q P

PV F VP

Pero: Se non prendo l’ombrello non ovvero e oppello: Se piove prendo l’ombrello sapendo il consiglio aggiornamento.

Il Concetto Astratto deriva dal fatto che P e Q sono simboli e basta perché che con la Semantica si può portando.

Quindi P Q è una formula complessa.

Una volta stabiliti i significati dei connettivi le leggi della logica si seguono inevitabilmente.

Esempio: Per ogni uomo se Mortale (X)

Per ogni elemento in dominio (poco concreto) se gode della proprietà Uomo allora gode della proprietà Mortale.

Uomo Mortale (Socrate)