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 logica mente 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.

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 e' 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

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 P

• V 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

Fosse una tabella di verit:

P Q P Q P Q

F V F V

F V F F

Quindi:

P

Q Q P

P

V F V

P

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)