Tautologies and positive solvability of linear homogeneous systems (Q1192331): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5679729 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic theory of linear inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5633672 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3710294 / rank | |||
Normal rank |
Latest revision as of 12:31, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tautologies and positive solvability of linear homogeneous systems |
scientific article |
Statements
Tautologies and positive solvability of linear homogeneous systems (English)
0 references
27 September 1992
0 references
Let \(A=[a_{ij}]\) be an \(m\times n\) real matrix, and let \[ L(a_{ij})=\begin{cases} p_ i, & a_{ij}>0,\\ \neg p_ i, & a_{ij}<0,\\ \text{true}, & a_{ij}=0,\end{cases} \] with propositional variables \(p_ 1,\dots,p_ m\). The main result: The system \(Ax=0\), \(x\geq 0\) has a nontrivial solution iff the formula \(L(A)\) is a tautology.
0 references
linear inequality
0 references
positive solution
0 references
propositional formula
0 references