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>
<math> \bigwedge x (x \in S \to x \in P) \leftrightarrow \quad S \subset P </math>
|