W3C-validity not checked.

A partially built propositional tableau for the set ${\displaystyle \{a\wedge b,\neg a\vee c,\neg c\vee \neg b\}}$

Jo, el titular dels drets d'autor d'aquest treball, el public sota la següent llicència:

	Aquest fitxer està subjecte a la llicència de Creative Commons Reconeixement i Compartir Igual 3.0 No adaptada. Subjecte a l'avís legal.
	Sou lliure de: compartir – copiar, distribuir i comunicar públicament l'obra adaptar – fer-ne obres derivades Amb les condicions següents: reconeixement – Heu de donar la informació adequada sobre l'autor, proporcionar un enllaç a la llicència i indicar si s'han realitzat canvis. Podeu fer-ho amb qualsevol mitjà raonable, però de cap manera no suggereixi que l'autor us dóna suport o aprova l'ús que en feu. compartir igual – Si modifiqueu, transformeu, o generareu amb el material, haureu de distribuir les vostres contribucions sota una llicència similar o una de compatible com l'original
	Aquest avís de llicència s'ha afegit a aquest fitxer d'acord amb l'actualització de la llicència GFDL.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

S'autoritza la còpia, la distribució i la modificació d'aquest document sota els termes de la llicència de documentació lliure GNU versió 1.2 o qualsevol altra versió posterior que publiqui la Free Software Foundation; sense seccions invariants, ni textos de portada, ni textos de contraportada. S'inclou una còpia d'aquesta llicència en la secció titulada GNU Free Documentation License. Subjecte a l'avís legal.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue