 Propositional Dependence Logic consider such atoms within the context of propositional logic. Propositional dependence logic teams are sets of valuations \(v\) from propositional atoms \(p_1 \ldots p_n\) to \(\{T, F\}\). Its semantic rules – and their justifications – mirror very closely the ones of first order team semantics, and the rule for dependence atoms is