Uvod u Logiku i Osnovni Pojmovi

TL;DR

Logika je temelj rasuđivanja koji nam pomaže razumjeti istinitost tvrdnji kroz tri osnovne operacije: negaciju, konjunkciju i disjunkciju. Negacija mijenja istinitosnu vrijednost tvrdnje, dok konjunkcija zahtijeva da obje tvrdnje budu istinite, a disjunkcija da barem jedna bude istinita. Ove operacije su ključne za konstruiranje složenijih logičkih izraza i donošenje zaključaka.

1. The Mental Model

Zamislite logiku kao set pravila za slaganje LEGO kockica. Svaka izjava je kockica, a negacija, konjunkcija i disjunkcija su načini na koje ih spajate ili mijenjate, kako biste izgradili nešto veće i vidjeli je li cijela konstrukcija stabilna (istinita).

2. The Core Material

U logici, radimo s izjavama (ili propozicijama), koje su rečenice koje mogu biti ili istinite (T, True) ili lažne (F, False), ali nikada oboje. Na primjer, "Nebo je plavo" je izjava. "Jesi li gladan?" nije, jer nije ni istinito ni lažno.

Tri osnovne logičke operacije su:

Negacija (NE, NOT)

Photo by Elīna Arāja on Pexels

Negacija jednostavno obrće istinitosnu vrijednost izjave. Ako je izjava P istinita, njena negacija (ne P) je lažna i obrnuto.
Simbol za negaciju je često ¬ ili !.

Tablica istinitosti za negaciju:

Primjer:
* P: "Pada kiša." (Pretpostavimo da je istinito.)
* ¬P: "Ne pada kiša." (Onda je ovo lažno.)

Konjunkcija (I, AND)

Photo by Anna Tarazevich on Pexels

Konjunkcija spaja dvije izjave, P i Q. Izraz "P i Q" je istinit samo ako su obje izjave, P i Q, istinite. Ako je barem jedna lažna, cijela konjunkcija je lažna.
Simbol za konjunkciju je često ∧ ili &&.

Tablica istinitosti za konjunkciju:

Primjer:
* P: "Imam kruha." (Istinito)
* Q: "Imam mlijeka." (Istinito)
* P ∧ Q: "Imam kruha i imam mlijeka." (Istinito)

• P: "Imam kruha." (Istinito)
• Q: "Imam jaja." (Lažno)
• P ∧ Q: "Imam kruha i imam jaja." (Lažno)

Disjunkcija (ILI, OR)

Photo by Božo Gunjajević on Pexels

Disjunkcija također spaja dvije izjave, P i Q. Izraz "P ili Q" je istinit ako je barem jedna od izjava, P ili Q, istinita. Disjunkcija je lažna samo ako su obje izjave lažne.
Simbol za disjunkciju je često ∨ ili ||. Ovo je inkluzivno ILI, što znači da može biti istinito ako su obje tvrdnje istinite.

Tablica istinitosti za disjunkciju:

Primjer:
* P: "Idem u kino." (Istinito)
* Q: "Idem u šetnju." (Lažno)
* P ∨ Q: "Idem u kino ili idem u šetnju." (Istinito)

• P: "Idem na posao." (Lažno)
• Q: "Idem spavati." (Lažno)
• P ∨ Q: "Idem na posao ili idem spavati." (Lažno)

graph TD
    start("Početak logičke analize") --> is_statement{"Je li izjava P?"}
    is_statement -- Da --> p_value{"Istinitosna vrijednost P?"}
    is_statement -- Ne --> not_statement("Nije logička izjava (npr. pitanje)")
    p_value -- Istina --> neg_p_false("¬P je Laž")
    p_value -- Laž --> neg_p_true("¬P je Istina")

    p_value -- Istina --> and_or_start_p("P = Istina")
    p_value -- Laž --> and_or_start_p("P = Laž")

    and_or_start_p --> is_statement_q{"Je li izjava Q?"}
    is_statement_q -- Da --> q_value{"Istinitosna vrijednost Q?"}
    is_statement_q -- Ne --> not_statement_q("Nije logička izjava Q")

    q_value -- Istina --> and_true_q("Q = Istina")
    q_value -- Laž --> and_false_q("Q = Laž")

    and_true_q -- P = Istina --> P_AND_Q_true("P ∧ Q je Istina")
    and_true_q -- P = Laž --> P_AND_Q_false("P ∧ Q je Laž")

    and_false_q -- P = Istina --> P_AND_Q_false
    and_false_q -- P = Laž --> P_AND_Q_false

    and_true_q -- P = Istina --> P_OR_Q_true("P ∨ Q je Istina")
    and_true_q -- P = Laž --> P_OR_Q_true

    and_false_q -- P = Istina --> P_OR_Q_true
    and_false_q -- P = Laž --> P_OR_Q_false("P ∨ Q je Laž")

3. Worked Example

Uzmimo sljedeće izjave i procijenimo složeni izraz:
* A: "Studenti su na predavanju." (Pretpostavimo da je Istina)
* B: "Laptop je napunjen." (Pretpostavimo da je Laž)

Procijenimo izraz: (¬A ∨ B) ∧ A

1. Izračunajmo ¬A: Budući da je A istinito, ¬A je Laž.
2. Izračunajmo ¬A ∨ B: Imamo Laž ∨ Laž. Prema tablici istinitosti za disjunkciju, Laž ∨ Laž je Laž.
3. Izračunajmo (¬A ∨ B) ∧ A: Sada imamo Laž ∧ Istina. Prema tablici istinitosti za konjunkciju, Laž ∧ Istina je Laž.

Dakle, cijeli izraz (¬A ∨ B) ∧ A je Lažan.

4. Key Takeaways

• Logičke izjave mogu biti samo istinite ili lažne.
• Negacija (¬) obrće istinitosnu vrijednost izjave.
• Konjunkcija (∧) je istinita samo ako su sve uključene izjave istinite.
• Disjunkcija (∨) je istinita ako je barem jedna uključena izjava istinita.
• Tablice istinitosti su ključne za razumijevanje i evaluaciju logičkih izraza.
• Ove tri operacije su osnovni građevni blokovi za složenije logičke konstrukcije.

Uobičajene pogreške koje treba izbjegavati:
- Brkanje konjunkcije (I) s disjunkcijom (ILI).
- Zaboravljanje da je disjunkcija (ILI) inkluzivna (može biti istinita i ako su obje izjave istinite).
- Pogrešna procjena negacije (npr. negiranje "nije Laž" u "nije Istina", umjesto samo "Istina").
- Ne obraćanje pažnje na zagrade pri procjeni složenih izraza, što može promijeniti redoslijed operacija.

5. Now Try It

Procijenite istinitosnu vrijednost sljedećeg izraza: ¬(P ∧ Q) ∨ (¬P ∨ Q)
Pretpostavimo da je P Laž i Q Istina.
Što učiniti: Koristite tablice istinitosti korak po korak za svaku logičku operaciju unutar izraza, počevši od najunutarnjijih zagrada.
Što uspjeh izgleda: Dobit ćete konačnu istinitosnu vrijednost (Istina ili Laž) za cijeli izraz.