Diferència entre revisions de la pàgina «Prova Esquema lògic d'una reducció a l'absurd»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} L'esquema lògic d'una reducció a l'absurd és el següent: <center><math> p\\ .\\ .\\ .\\ q\wedge \neg q\\ \line(1,0){40}\\ \neg p </math></center>...».) |
|||
Línia 2: | Línia 2: | ||
L'esquema lògic d'una reducció a l'absurd és el següent: | L'esquema lògic d'una reducció a l'absurd és el següent: | ||
− | + | <math> | |
p\\ | p\\ | ||
.\\ | .\\ | ||
Línia 10: | Línia 10: | ||
\line(1,0){40}\\ | \line(1,0){40}\\ | ||
\neg p | \neg p | ||
− | </math> | + | </math> |
− | |||
Línia 17: | Línia 16: | ||
− | + | Una possibilitat és '''emprar taules''', però no queda bé: | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | < | + | {|class="wikitable" style="width: 10%;" |
+ | |- | ||
+ | | <math> p) </math> | ||
+ | |- | ||
+ | | <math> . </math> | ||
+ | |- | ||
+ | | <math> . </math> | ||
+ | |- | ||
+ | | <math> . </math> | ||
+ | |- | ||
+ | | <math> q\wedge \neg q </math> | ||
+ | |- | ||
+ | |__________ | ||
+ | |- | ||
+ | |<math> \neg p </math> | ||
+ | |} | ||
− | + | Etc., etc. aquí caldria incloure exemples de deducions amb LaTeX i línies verticals... | |
− | |||
− | |||
− |
Revisió del 16:36, 3 oct 2018
L'esquema lògic d'una reducció a l'absurd és el següent:
[math]\displaystyle{ p\\ .\\ .\\ .\\ q\wedge \neg q\\ \line(1,0){40}\\ \neg p }[/math]
Una possibilitat és emprar taules, però no queda bé:
[math]\displaystyle{ p) }[/math] |
[math]\displaystyle{ . }[/math] |
[math]\displaystyle{ . }[/math] |
[math]\displaystyle{ . }[/math] |
[math]\displaystyle{ q\wedge \neg q }[/math] |
__________ |
[math]\displaystyle{ \neg p }[/math] |
Etc., etc. aquí caldria incloure exemples de deducions amb LaTeX i línies verticals...