What is a single instance (row) of a truth table is called (an adventure solving a problem of terminology)

139 Views Asked by At

Just now, for whatever reason I'm having issues finding out the terminology of what name/s is given to a single instance (a row) from a truth table.

My question is focused on the (system and steps) in (solving the problem itself) -- in a generically-Λ-succinct way. I only have a GED's worth of formal schooling and was never taught a sophisticated/structured method of obtaining knowledge like in the unknown above. My strategy has always been solely intuition, then brute force through permutations. But when intuition fails, brute force fails likely.

I'm unsure if this should be asked on another exchange, I started here with desire to get the perspective of the structured-mathematician, and the original problem's relation to logic.

Back towards my original problem...

Here's where I've tried Googling and Wikipedia:

Googling of course brings up lots of info. Checking Wikipedia (Truth Table) my eyes get distracted with the amount that I don't understand yet. Ctrl-F'ing failed to match 'related words I could think of.

I did come across the term truth-value. I understand it's related to my answer, but I'm not able to verify it's scope of relationship.

.

(?)Possibly the study of Ontology would have provided me the skills to solve such a problem?

Example of the epoch question

Say for AND: What would a single line (i.e., False Λ False = False) be called?

  X |  Y
| F | F | = F
| F | T | = F
| T | F | = F
| T | T | = T
2

There are 2 best solutions below

4
On BEST ANSWER

Each line in the truth table is generally referred to as an "interpretation." This is what I've seen in lectures and in papers.

1
On

Each row in a truth table stands for one combinatorial possibility of assigning truth values to the propositional letters that occur in the formula. This is precisely a variable assignment function aka valuation function aka interpretation as defined in the semantics of propositional logic. You may refer to a row as this if you want to make explicit that a row in the truth table stands for one assignment, though more usually when you're talking about truth tables it's really just called "row x in the truth table".