Tabele de adevar
1
Tabele de adevăr: p q p → q p ≡ q p v q p · q p / q 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 Functori: ~ negaţie, non p → implicaţie, p implică q ≡ echivlenţă, p echivalent cu q · conjuncţie, p şi q v disjuncţie, p sau q / incompatibilitate, p incompatibil cu q Regulă: pentru a construi un tabel de adevăr trebuie să ştim că numărul maxim de combinaţii dintre valorile de adevăr care formează liniile din tabele se calculează cu ajutorul formulei 2 n , unde 2 este numărul valorilor de adevăr – adevărat (1) şi fals (0) –, iar n este numărul variabilelor. Exerciţii: 1. ((p → q) · p) → q 2. ((p → q) · ~q) → ~p 3. ((p ≡ q) · p) → q 4. ((p/q) · p) → ~q 5. ((p v q) · ~p) → q
-
Upload
alex-neberu -
Category
Documents
-
view
2.167 -
download
4
Transcript of Tabele de adevar
Tabele de adevăr:
p q p → q p ≡ q p v q p · q p / q
1 1 1 1 1 1 0
1 0 0 0 1 0 1
0 1 1 0 1 0 1
0 0 1 1 0 0 1
Functori:
~ negaţie, non p
→ implicaţie, p implică q
≡ echivlenţă, p echivalent cu q
· conjuncţie, p şi q
v disjuncţie, p sau q
/ incompatibilitate, p incompatibil cu q
Regulă: pentru a construi un tabel de adevăr trebuie să ştim că numărul maxim de
combinaţii dintre valorile de adevăr care formează liniile din tabele se calculează cu
ajutorul formulei 2n, unde 2 este numărul valorilor de adevăr – adevărat (1) şi fals (0) –,
iar n este numărul variabilelor.
Exerciţii:
1. ((p → q) · p) → q
2. ((p → q) · ~q) → ~p
3. ((p ≡ q) · p) → q
4. ((p/q) · p) → ~q
5. ((p v q) · ~p) → q