Logique classique: réponse

Philosophie > sujets expliqués - Question simple

	LOGIQUE CLASSIQUE: réponse revenir au plan			docs
		Ce signe <-/- que je n'ai pas(...)
		N'étant moi-même pas prof de lire

Ce signe <-/- que je n'ai pas en effet sur le clavier est considéré comme la négation de l'implication converse par mon prof. p <-/- q a la même table de vérité que (désolée, je n'ai pas le signe de la négation sur le clavier!):
négation(q-->p). En fait, ce sont des signes d'implication que j'essaie de transcrire comme je peux!
Ce sujet est le sujet d'examen de Bordeaux de la session de juin 2002.
La suite était: montrer que les expressions suivantes st ds tautologies: p-->(q-->p),[p-->(q-->r)]
-->[(p-->q)-->(p-->r)] et montrer à l'aide de la règle de détachement qu'alors les expressions suivantes st aussi ds tautologies: p-->p, (q-->r)-->[(p-->q)-->(p-->r)].

Documents attachés :

aucun document joint.