Arboles de Forzamiento Semántico Trivalentes para el sistema deductivo paraconsistente P1

The semantics of trivalent truth tables for the paraconsistent logic system P1, is characterized by a visual inference tool called trivalent semantic forcing trees. Given a formula, with this tool the nodes of the corresponding tree are marked, and it is determined whether the formula is valid or not. In case the formula is invalid, the assignment of truth values that refutes it is determined by the marks of the leaves in its forcing tree.