- #1
Yankel
- 395
- 0
Hello all,
I am trying to find if the following two claims are true or false:
1) If
\[\alpha \models \left ( \beta \rightarrow \gamma \right )\]
then
\[\alpha ,\beta \models \gamma\]
2) If
\[\alpha \models \left ( \beta \rightarrow \gamma \right )\]
then
\[\alpha \vee \beta \models \gamma\]
where \[\models\] is logical implication, meaning that if everything on the left side of the operator is T, then whatever on the right side is also T.
I cannot build truth tables, because \[\alpha ,\beta ,\gamma\] are not necessarily atoms.
Thank you in advance.
I am trying to find if the following two claims are true or false:
1) If
\[\alpha \models \left ( \beta \rightarrow \gamma \right )\]
then
\[\alpha ,\beta \models \gamma\]
2) If
\[\alpha \models \left ( \beta \rightarrow \gamma \right )\]
then
\[\alpha \vee \beta \models \gamma\]
where \[\models\] is logical implication, meaning that if everything on the left side of the operator is T, then whatever on the right side is also T.
I cannot build truth tables, because \[\alpha ,\beta ,\gamma\] are not necessarily atoms.
Thank you in advance.