Accions

Diferència entre revisions de la pàgina «Proveslatex»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} {| class="wikitable" |- | '''columna 1:''' tautologia <math>(p\vee ¬p)\wedge (q \vee ¬q)</math> || '''columna 2: '''disjunció inclusiva <mat...».)
 
 
Línia 22: Línia 22:
 
<math>(p\wedge q)</math>
 
<math>(p\wedge q)</math>
 
|-
 
|-
| '''columna 9: '''incompatibilitat (p/q) Escombri o functor de Scheffer
+
| '''columna 9: '''incompatibilitat (p/q) Barra o functor de Scheffer
 
<math>(¬p\vee ¬q), ¬(p\wedge q), o (p\rightarrow ¬q)</math>
 
<math>(¬p\vee ¬q), ¬(p\wedge q), o (p\rightarrow ¬q)</math>
 
  || '''columna 10: '''disjunció exclusiva
 
  || '''columna 10: '''disjunció exclusiva

Revisió de 21:52, 21 feb 2018

columna 1: tautologia

[math]\displaystyle{ (p\vee ¬p)\wedge (q \vee ¬q) }[/math]

columna 2: disjunció inclusiva

[math]\displaystyle{ (p\vee q) }[/math]

columna 3: condicional material inversa

[math]\displaystyle{ (q\rightarrow p) }[/math]

columna 4: afirmació de

p [math]\displaystyle{ (p) }[/math]

columna 5: condicional material

[math]\displaystyle{ (p\rightarrow q) }[/math]

columna 6: afirmació de

q [math]\displaystyle{ (q) }[/math]

columna 7: bicondicional

[math]\displaystyle{ (p\leftrightarrow q) }[/math]

columna 8: conjunció

[math]\displaystyle{ (p\wedge q) }[/math]

columna 9: incompatibilitat (p/q) Barra o functor de Scheffer

[math]\displaystyle{ (¬p\vee ¬q), ¬(p\wedge q), o (p\rightarrow ¬q) }[/math]

columna 10: disjunció exclusiva

[math]\displaystyle{ p\veebar q }[/math]

columna 11: negació de

q [math]\displaystyle{ (¬q) }[/math]

columna 12: afirmació de q i negació de

p [math]\displaystyle{ ¬(q\rightarrow p)= (q\wedge ¬p) }[/math]

columna 13: negació de

p [math]\displaystyle{ (¬p) }[/math]

columna 14: afirmació de q i afirmació de

p [math]\displaystyle{ ¬(p\rightarrow q)= (p\wedge ¬q) }[/math]

columna 15: [math]\displaystyle{ (p\downarrow q) }[/math] negació de la disjunció, o functor de Peirce

[math]\displaystyle{ ¬(p\vee q), (¬p\wedge ¬q) }[/math] "solament és veritable si tots dos enunciats són falsos"

columna 16: contradicció

[math]\displaystyle{ (p\wedge ¬p)\vee (q\wedge ¬q) }[/math]