arcenal 12/24/2007 |
0 (0) |
528 |
51 |
0 |
Spanish
Programación Lógica
rafael ramirez
rafael@iua.upf.es
Ocata 320
2
Logica proposicional
„ Una literal (proposicional) es una variable proposicional o la
negacion de una variable proposicional:
p, q , ¬r, .
„ Una cláusula (proposicional) es una disyuncion de literales
p ? q ? ¬r es una cláusula
¬(r ? q) no es una cláusula
„ Una cláusul ... more>>