Las 8 reglas de lógica para deducir

varuk

Hola.

Hace años en 1º de Bachiller me dieron 8 reglas de lógica para deducir una cosa a partir de otra.

Creo recordar que eran 8 reglas. Ahora me vendrían de perlas para una asígnatura de informática (Matemáticas discretas) y no las encuentro por ningún lado. Me acuerdo de algo y era algo así:

http://img163.imageshack.us/img163/6795/logica3uq.jpg

He buscado por Google bastante pero no he encontrado nada pues no me acuerdo de como se llamaban estas reglas. Si alguien supiera de donde conseguirlas se lo agradecería mucho.

Gracias. Saludos.

B

http://www.google.com/search?q=deduccion+natural

HybR

komooooo??? no m entero d nada dl dibujito XDDDD

Spachu_4Ever

Creo que te refieres a las falacias

karkoitz

mmm ¿ esto ?

¬ : contrario.
^ : y.
V : no.
<-> : Si o solo si.
-> : entonces.

Y ya a partir de estos "códigos" y según como sea la frase, organizarla en enunciados y enlazarlos. Esto es a lo que te refieres con el dibujo y que sea capaz de ayudarte... pero las 8 reglas como que no se a que te refieres o es que nunca lo llegué a estudiar.

George-Bush

pues yo creo q eso era filosofia, algo como la logica deductiva o algo asi

JuAn4k4

http://www.google.es/search?q=Logica+de+predicados

B

http://www.danielclemente.com/logica/dn-node16.html wins

varuk

Eso eso que dice Fuljencio.

Yo lo acababa de ver aquí:
http://www.clubdevelopers.com/prog/apuntes/logica/enunciados/2dednat/index.php

Venga pues muchas gracias a todos. Me habéis servido de gran ayuda. Gracias ^^

Usuarios habituales