Boolean Product of Zero-one Matrices Application to Truth Values of Logical Connectives of Several Propositions
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 21, Issue 5
Abstract
In this paper, the Boolean product of zero-one matrices are applied to obtain the truth values of several propositions with logical connectives. The propositional matrices are given in relation to the matrix algebric properties. We state and prove a theorem for which a given conditional connetives is a tautology.
Authors and Affiliations
Etop E. Ndiyo
On Skew Circulant Type Matrices Involving any Continuous Pell Numbers
In this paper, the invertibility of the skew circulant type matrices are discussed, the determinants and the inverse matrices of them are given. We present the four kinds of norms and bounds for the spread of these speci...
Estimated Numerical Results and Simulation of the Plant Disease Model Incorporating Wind Strength and Insect Vector at Equilibrium
Numerical simulations facilitate in the study of the behaviour of systems whose mathematical models are too complex to obtain analytical solutions. In this paper, we used assumed values of the model parameters and variab...
Determinants and Inverses of Symmetric Poeplitz and Qoeplitz Matrix
In this paper, we define symmetric Poeplitz and Qoeplitz matrices and give explicit formulae for the determinants and inverses of these matrices by constructing the transformation matrices.
Text Summarization versus CHI for Feature Selection
Text Classification is an important technique for handling the huge and increasing amount of text documents on the web. An important problem of text classification is features selection. Many feature selection techniques...
Using T2 Chart to Monitor the Quality of Ash Content in Flour Production
The quality of goods and services can be improved if data sets are collected to determine the causes of variation. In this consideration, the data sets will enable the analyst to evaluate the stability of the manufacturi...