Pierādījums izmantojot atspēkošanu Flashcards
apgāzt apgalvojumu
1
Q
Kādos gadījumos noteikti var izmantot ATSPĒKOŠANU?
A
Ja šķiet, ka apgalvojums ir aplams.
2
Q
Atspēkošanas pieradījuma shēma:
A
Lai atspēkotu, ka P - patiess:
1) pierāda, ka ¬𝑃 - patiess
2) no tā var secināt, ka P - aplams
3
Q
Cik ir pietiekamais pieradījums - ATSPĒKOŠANĀ
A
Pietiek atrast VIENU pret-piemēru, lai apgāztu apgalvojumu
4
Q
Kā ATSPĒKOT nosacījuma tipa izteikumus: 𝑃(𝑥) ⟹ 𝑄(𝑥)
A
𝑃(𝑥) ⟹ 𝑄(𝑥) - ir aplams
ja pastāv tāds x, kuram:
1) 𝑃(𝑥) - patiess
2) 𝑄(𝑥) - aplams
5
Q
A
