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>...».) |
|||
| (3 revisions intermèdies per 2 usuaris que no es mostren) | |||
| 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 8: | Línia 9: | ||
.\\ | .\\ | ||
q\wedge \neg q\\ | q\wedge \neg q\\ | ||
| − | \ | + | \over\\ |
\neg p | \neg p | ||
| − | </math> | + | </math> |
| − | |||
| Línia 17: | Línia 17: | ||
| − | + | 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 deduccions fets amb LaTeX i amb línies verticals.... dtc. però els comandaments de crear línies no es veuen bé a Wikisofia. | |
| − | |||
| − | |||
| − | |||
Revisió de 15:19, 7 oct 2018
L'esquema lògic d'una reducció a l'absurd és el següent:
[math]\displaystyle{
p\\
.\\
.\\
.\\
q\wedge \neg q\\
\over\\
\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 deduccions fets amb LaTeX i amb línies verticals.... dtc. però els comandaments de crear línies no es veuen bé a Wikisofia.