MATEMATIKA

I RAZRED GIMNAZIJE
ISKAZNE FORMULE. TAUTOLOGIJA

TANJA SAVOVIĆ
ISKAZNE FORMULE
• Osnovne logičke operacije su: konjunkcija, disjunkcija, implikacija,
ekvivalencija i negacija.
• Koristeći te logičke operacije i iskaze p, q, r… mogu se formirati
složeni logički iskazi kao npr:𝑝⋁𝑞 ⇒ 𝑟, ¬ 𝑝 ∧ 𝑞 ⇔ ¬𝑟 ⇒ 𝑝 i slično.
Ove složene iskaze zovemo ISKAZNE FORMULE, a slova p,q i r iskazne
promjenljive.
1. Neka je p netačan i q tačan iskaz. Odredi istinitosnu vrijednost
formule: ¬ 𝑝 ∧ 𝑞 ⇔ 𝑝 ∨ ¬𝑞
¬ 𝑝 ∧ 𝑞 ⇔ 𝑝 ∨ ¬𝑞
¬ ⊥∧ T ⇔ ⊥∨ ¬T
¬⊥⇔ ⊥∨⊥
T⇔⊥
⊥
2. Napisati istinitosnu tablicu za formulu 𝑝 ∧ ¬𝑞 ⇒ ¬𝑝

𝑝 𝑞 ¬𝑞 𝑝 ∧ ¬𝑞 ¬𝑝 F
T T ⊥ ⊥ ⊥ T
T ⊥ T T ⊥ ⊥
⊥ T ⊥ ⊥ T T
⊥ ⊥ T ⊥ T T

3. Napisati istinitosnu tablicu za formulu ¬(𝑝 ∧ 𝑞) ⇔ ¬𝑝 ∨ ¬𝑞

𝑝 𝑞 𝑝∧𝑞 L ¬𝑝 ¬𝑞 D F
T T T ⊥ ⊥ ⊥ ⊥ T
T ⊥ ⊥ T ⊥ T T T
⊥ T ⊥ T T ⊥ T T
⊥ ⊥ ⊥ T T T T T
TAUTOLOGIJA
• Tautologija je iskazna formula koja je tačna za sve vrijednosti iskaznih slova
• Da li su formule iz prethodnih primjera tautologije?
3. Dokaži da je sledeća formula tautologija: (p ⇒ 𝑞) ⇒ (𝑝 ∧ 𝑟) ⇒ (𝑞 ∧ 𝑟)
L
p 𝑞 𝑟 p⇒𝑞 𝑝∧𝑟 𝑞∧𝑟 D F
T T T T T T T T
T T ⊥ T ⊥ ⊥ T T
T ⊥ T ⊥ T ⊥ ⊥ T
T ⊥ ⊥ ⊥ ⊥ ⊥ T T
⊥ T T T ⊥ T T T
⊥ T ⊥ T ⊥ ⊥ T T
⊥ ⊥ T T ⊥ T
⊥ T
⊥ ⊥ ⊥ ⊥ ⊥ T
T T
• Metoda “diskusije po slovu”
Ova metoda se sastoji u tome da se u formuli izabere jedna iskazna
promjenljiva (najčešće biramo onu koja se najviše puta pojavljuje) i provjeri
istinitost date formule kada je ta promjenljiva tačna, odnosno netačna. Ako se u
oba slučaja dobije da je formula tačna onda je ta formula tautologija.

• Metoda “svođenja na apsurd”

U ovom slučaju polazimo od pretpostavke da data formula nije tautologija.

Ako se na osnovu ove pretpostavke dobije neka protivurečnost, npr. da jedan
iskaz ima dvije istinitosne vrijednosti, tada se odbacuje pretpostavka i
kažemo da je formula tautologija.
OSNOVNI ZAKONI LOGIKE:
1) 𝑝 ∧ 𝑞 ⇔ 𝑞 ∧ 𝑝 (zakon komutacije za konjunkciju)
2) 𝑝 ∨ 𝑞 ⇔ 𝑞 ∨ 𝑝 (zakon komutacije za disjunkciju)
3) 𝑝 ∧ 𝑞 ∧ 𝑟 ⇔ 𝑝 ∧ 𝑞 ∧ 𝑟 (zakon asocijacije za konjunkciju)
4) 𝑝 ∨ 𝑞 ∨ 𝑟 ⇔ 𝑝 ∨ 𝑞 ∨ 𝑟 (zakon asocijacije za disjunkciju)
5) 𝑝 ∧ 𝑞 ∨ 𝑟 ⇔ (𝑝 ∧ 𝑞) ∨ 𝑝 ∧ 𝑟 (zakon distribucije konjunkcije prema disjunkciji)
6) 𝑝 ∨ 𝑞 ∧ 𝑟 ⇔ (𝑝 ∨ 𝑞) ∧ 𝑝 ∨ 𝑟 (zakon distribucije disjunkcije prema konjunkciji)

¬ 𝑝 ∧ 𝑞 ⇔ ¬𝑝 ∨ ¬𝑞
7) ൠ De Morganovi zakoni
¬ 𝑝 ∨ 𝑞 ⇔ ¬𝑝 ∧ ¬𝑞
8) ¬ ¬𝑝 = 𝑝 zakon dvojne negacije
𝑝∧𝑝 ⇔𝑝
9) 𝑝 ∨ 𝑝 ⇔ 𝑝ൠ zakon idempotencije za konjunkciju i disjunkciju
• Domaći zadatak:
• Koristeći tablicu istinitosti dokazati zakon komutacije za disjunkciju i zakon
distribucije konjunkcije prema disjunkciji.
HVALA NA PAŽNJI