Reglas de indiferencia y +

Question 1

RI, Adicció

Answer 1

p

∴ p ∨ q

Question 2

Ri Simplificació

Answer 2

p ∧ q

∴ p

Question 3

RI Conjunció

Answer 3

p
q
∴ p ∧ q

Question 4

RI Modus Ponens

Answer 4

p → q
p
∴ q

Question 5

RI Modus tollens

Answer 5

p → q
¬q
∴ ¬p

Question 6

RI Sillogisme hipotetic

Answer 6

p → q
q → r
∴ p → r

Question 7

Sillogisme disjuntiu

Answer 7

p ∨ q
¬q
∴ p

Question 8

Particularización universal

Answer 8

∀xP(x)

∴ P(c)

Question 9

Generalización universal

Answer 9

P(c) per a c arbitrari

∴ ∀xP(x)

Question 10

Particularización existencial

Answer 10

∃xP(x)

∴ P(c) per a algun c

Question 11

Generalización existencial

Answer 11

P(c) per a algun c

∴ ∃xP(x)