- 1. p V q
- 2. p --> r |- r V w
- 3. q --> s
- 4. t ^ ¬s
5 ¬(¬p ^ ¬q) Df V por ^ en 1
6 p ^ q E¬¬ 5
7 p E^6
8 q E^6
9 r E-->2,7
10 r V w IV9
MªConcepción Gómez de Membrillera 1º BACH A
- 1. p V q
- 2. p --> r |- r V w
- 3. q --> s
- 4. t ^ ¬s
5 ¬(¬p ^ ¬q) Df V por ^ en 1
6 p ^ q E¬¬ 5
7 p E^6
8 q E^6
9 r E-->2,7
10 r V w IV9
MªConcepción Gómez de Membrillera 1º BACH A