| V I S U A L I Z Z A D I S C U S S I O N E |
| vampire |
Inserito il - 10/09/2009 : 23:16:21
Ragazzi come mai in questo esercizio, dove c'è il cerchio rosso,
[URL=http://img25.imageshack.us/i/tableaurg.jpg/] [/URL]
NOT R si divide in due percorsi che sono Q e NOT P?
e come mai dopo,
Q si divide in due percorsi che sono [Q->R] e NOT P?
poi perchè vicino ad alcune formule c'è la spunta?
Grazie.. |
| 5 U L T I M E R I S P O S T E (in alto le più recenti) |
| Mauro84 |
Inserito il - 11/09/2009 : 10:51:33
Citazione:
Messaggio inserito da rel
la spunta vicino alle formule la metti tu quando hai finito di risolvere quella singola formula (se non ricordo male)
VERO |
| rel |
Inserito il - 11/09/2009 : 10:30:36
la spunta vicino alle formule la metti tu quando hai finito di risolvere quella singola formula (se non ricordo male) |
| Mauro84 |
Inserito il - 11/09/2009 : 10:23:47
Citazione:
Messaggio inserito da vampire
quindi la regola dei tableau è stata applicata a [P->Q] o mi sbaglio?
SI |
| vampire |
Inserito il - 11/09/2009 : 10:17:19
quindi la regola dei tableau è stata applicata a [P->Q] o mi sbaglio? |
| oldboy |
Inserito il - 11/09/2009 : 09:43:51
Non è not(R) che si divide in 2 percorsi, ma è perchè è stata applicata una regola dei tableau (anche tenendo presenti le formule precedenti) che fanno dividere in 2 il cammino......hai presente il principio di risoluzione?  |
