REGLAS BASICAS

Hoy en clase hemos dado las 3 últimas reglas basicas que son 3:

Ri ->

| x
| y
------
x->y


Ri ¬

|x
|y^¬y
-------
¬y


x^^ y

|x
|z

|y
|z
------
z


*^^ = contrario de ^

Tambien hicimos algunos ejercicios:

|- ¬t

1.P-> ¬q
2.q^r
3.q->p

|4.t
|5.q(Re^2)
|6.p(Re->3,5)
|7.¬q(Re->1,6)
|8.q^¬q(Ri^5,7)
9.¬t(Ri¬4,8)



|- ¬p

1.p->¬q
2.q^r
3.q->p
|4.p
|5.¬s(Re^3)
|6.q(Re^3)
|7.p^q(Ri4,6)
|8.r(Re->1,7)
|9.s(Re ->2,8)
|10.Si ¬s(Ri^5,9)
11.¬p(Ri¬4,10)

Y le hemos cantado el cumpleaños feliz a Sharon.



Jorge García Domínguez