Diferència entre revisions de la pàgina «Prova Esquema lògic d'una reducció a l'absurd»
De Wikisofia
(line -> over) |
|||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
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> | <math> | ||
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.