Necessary truths are always true , so they are implied by any proposition , right ? In other words , is true iff either is false or is true . If really is a necessary truth , then is true , so must be true . So , it depends on whether or not is a necessary truth . EDIT I just wanted to add that I switched to metavariables '' and '' instead of regular variables ' P ' and ' Q ' because it is true that you wouldn ' t be able to derive Q from some P , because Q is not in the form of a tautology like QQ and it is not interpreted so we don ' t know whether it is a necessary truth . <| sep |> Every time I see her name , I swear it says Minase Iori and I have to remind myself that she ' s not a real person . This sucks , though .