Càlcul lògic: diferència entre les revisions

Contingut suprimit Contingut afegit
m Robot posa sintaxi correcta al tag br, center, span, div o small
m Robot posa sintaxi correcta al tag br, center, span, div o small
Línia 765:
 
Tipus A : tot S són P. "Tots els homes són mortals", s'interpreta com:<ref> A la formalització gràfica dels silogismes aquesta relació d'inclusió, és a dir els judicis universals afirmatius tipus A, es representen interpretant la [[proposició]] com: "No hi ha cap S que no sigui P. Vegeu [[Sil·logisme]]
[[fitxer: Interpretación gráfica del juicio aristotélico afirmativo universal.JPG|thumbnail|Convenció per a la representació gràfica del Judici tipus A]] </ref> <br style = "{{clear; |both;" >}}
 
<math> \bigwedge x (x \in S \to x \in P) \leftrightarrow \quad S \subset P </math>