Metadata
Author: Literature
Data
Hungarian[hu]
Az elsőrendű logika szemszögéből van ennek értelme, mivel a P ⇐ ¬Q a P ∨ Q-val ekvivalens.
Russian[ru]
С точки зрения логиL ки первого порядка в этом есть смысл, поскольку выражение P ⇐ ¬Q эквивалентно P ∨ Q.