Mantık

Question 1

Önerme nedir?

Answer 1

Doğru ya da yanlış kesin hüküm bildiren ifadeler

Question 2

Doğruluk değeri nedir?

Answer 2

Önermenin doğru ya da yanlış olma durumu

Question 3

n tane farklı önerme için doğruluk durumu nasıl bulunur?

Answer 3

2ⁿ

Question 4

Denk önermeler?

Answer 4

Doğruluk değeri aynı olan önermeler
- denk ise ≡
- denk değil ise ≢

Question 5

Önermenin değili?

Answer 5

Önermenin hükmünün değiştirilmesiyle elde edilen yeni önerme

Question 6

(p’)’

Answer 6

≡ p

Question 7

Ve bağlacı (∧) ?

Answer 7

En az bir tane 0 varsa sonuç 0, hepsi 1 ise sonuç 1

Question 8

p ∧ p

Answer 8

≡ p

Question 9

p ∧ p’

Answer 9

≡ 0

Question 10

p ∧ 1

Answer 10

≡ p

Question 11

p ∧ 0

Answer 11

≡ 0

Question 12

p ∧ q (Değişme özelliği)

Answer 12

≡ q ∧ p

Question 13

p ∧ (q ∧ r) (Birleşme özelliği)

Answer 13

≡ (p ∧ q) ∧ r

Question 14

Veya bağlacı (∨) ?

Answer 14

En az bir tane 1 varsa sonuç 1, hepsi 0 ise sonuç da sıfır

Question 15

p ∨ p

Answer 15

≡ p

Question 16

p ∨ p’

Answer 16

≡ 1

Question 17

p ∨ 1

Answer 17

≡ 1

Question 18

p ∨ 0

Answer 18

≡ p

Question 19

p ∨ q (Değişme özelliği)

Answer 19

≡ q ∨ p

Question 20

p ∨ (q ∨ r) (Birleşme özelliği)

Answer 20

≡ (p ∨ q) ∨ r

Question 21

De - Morgan kuralları?

Answer 21

• (p ∧ q)’ ≡ p’ ∨ q’
• (p ∨ q)’ ≡ p’ ∧ q’

Question 22

Ya da bağlacı (⊻) ?

Answer 22

İkisi birbirinden farklıysa 1, aynıysa 0

Question 23

p ⊻ p

Answer 23

≡ 0

Question 24

p ⊻ p’

Answer 24

≡ 1

Question 25

p ⊻ 1

Answer 25

≡ p'

Question 26

p ⊻ 0

Answer 26

≡ p

Question 27

İse bağlacı (⇒) ?

Answer 27

Birincisinin 1 ikincisinin 0 olduğu durumda 0, diğer tüm durumlarda ise 1

Question 28

p ⇒ p

Answer 28

≡ 1

Question 29

p ⇒ p'

Answer 29

≡ p'

Question 30

p ⇒ 1

Answer 30

≡ 1

Question 31

p ⇒ 0

Answer 31

≡ p'

Question 32

1 ⇒ p

Answer 32

≡ p

Question 33

0 ⇒ p

Answer 33

≡ 1

Question 34

p ⇒ q önermesinin doğruluk değeri 1 ise

Answer 34

Bu önermeye gerektirme denir

Question 35

p ⇒ q önermesinin veya bağlacına dönüştürülmesi

Answer 35

p' ∨ q

Question 36

p ⇒ q önermesinin karşıtı

Answer 36

≡ q ⇒ p

Question 37

p ⇒ q önermesinin tersi

Answer 37

≡ p' ⇒ q'

Question 38

p ⇒ q önermesinin karşıt tersi

Answer 38

≡ q' ⇒ p'

Question 39

p ⇒ q önermesinin değili

Answer 39

≡ p ∧ q'

Question 40

Ancak ve ancak bağlacı (⟺) ?

Answer 40

İkisi birbirinden farklı ise 0, ikisi de aynı ise 1

Question 41

p ⟺ p

Answer 41

≡ 1

Question 42

p ⟺ p'

Answer 42

≡ 0

Question 43

p ⟺ 1

Answer 43

≡ p

Question 44

p ⟺ 0

Answer 44

≡ p'

Question 45

p ⟺ q (Değişme özelliği)

Answer 45

≡ q ⟺ p

Question 46

p ⟺ q önermesinin doğruluk değeri 1 ise

Answer 46

Bu önermeye çift gerektirme denir

Question 47

Açık önerme?

Answer 47

İçinde en az bir değişken olan ve doğruluk değeri bu değişkene göre değişen önerme

Question 48

a sayısı P(x) önermesini sağlıyor ya da sağlamıyorsa?

Answer 48

- Sağlıyorsa - P(a) ≡ 1 - Sağlamıyorsa - P(a) ≡ 0

Question 49

Her niceleyicisi (∀) ?

Answer 49

- Evrensel - Bütün

Question 50

Bazı niceleyicisi (∃) ?

Answer 50

- Varlıksal - En az bir

Question 51

Açık önermenin değili?

Answer 51

- [∀x, P(x)]' ≡ ∃x, P'(x) - [∃x, P(x)]' ≡ ∀x, P'(x)