Ley Bicondicional
Enviado por Lauraaguilar198 • 12 de Septiembre de 2014 • 299 Palabras (2 Páginas) • 414 Visitas
1) Demostrar : PVS
Pq
QvR
R S
PQ (LB-1)
QP (LB-1)
PvS (SD-2,5,3)
2)DEMOSTRAR: PVS
1) PQ
2) Q&R
3)PQ (LB-1)
4)QP (LB-1)
5)Q (S-2)
6) P (PP-4,5)
7)PVS (A-6)
3)DEMOTRAR: ∼P
1) PQ
2)R
3)Q~R
4)PQ (LB-1)
5)QP (LB-1)
6) ~Q (TT-2,3)
7) ~ P (TT-4,6)
4) DEMOSTRAR: QP
1) PQ
2) PR
3) PQ (LB-1)
4) QP (LB-1)
5) QR (HS-4,2)
5) DEMOSTRAR: PR
1) PQ
2) QR
3) PQ (LB-1)
4) QP (LB-1)
5) QR (LB-2)
6) RQ (LB-2)
7) PR (HS-3,5)
8) RP (HS-6,4)
9) PR (LB-7,8)
6)DEMOSTRAR QR
1) PQ
2) PR
3) PQ (LB-1)
4) QP (LB-1)
5) QR (HS-4,2)
DEMOSTRAR: X<Y & Y=6
1) X<Y Y>4
2) Y=6 X+Y=10
3) X>4 & ~(X+Y≠10)
4) X<Y Y>4 (LB-1)
5) Y>4 X<Y (LB-1)
6) Y=6 X+Y=10 (LB-2)
7) X+Y=10 Y=6 (LB-2)
8) Y>4 (S-3)
9) X<Y (PP-5,8)
10) ~(X+Y ≠10) (S-3)
11) X+Y=10 (DL-10)
12) Y=6 (PP-7,11)
13) X<Y & Y=6 (A-9,12)
DEMOSTRAR: XY≠0
Y>X X=0
XY=0 X=0
Y≯X
Y>X X=0 (LB-1)
X=0 Y>X (LB-1)
XY=0 X=0 (LB-2)
X=0 XY=0 (LB-2)
X≠0 (TT-3,5)
XY≠0 (TT-6,8)
DEMOSTRAR: ~(X<Y & X=1)
X=Y X≮Y
Y=0 X≮Y
(X=0 V XY=0) Y=0
(X=Y Y=0) X=0 0
Y=0 X≮Y (LB-2)
X≮Y Y=0 (LB-2)
(X=Y Y=0) (HS-1,6)
X=0 (PP 4,7)
X=0 V XY=0 (A-8)
Y=0 (PP-3,9)
X≮Y (PP-5,10)
...