Lpl4802 Exam Portfolio Exam October November 2023 100% Pass

TW Possible: {Ans: if the sentence is true in some world that can be build using the program}TT Possible: {Ans: S is TT-possible if and only if AT LEAST ONE row of the truth table assigns as True}Does the conclusion of a logically valid arguement have to be true? {Ans: No. If one of the premises is false,the conclusion does not have to be true.}Individual constants {Ans: Symbols that are used to refer to fixed individual objects}What does the symbol v mean? {Ans: v means or The sentence P v Q is true only if P is true OR Q is true (or both) *** They both dont have to be true}What is DeMorgans law? {Ans: ~( P ^ Q ) <-> (~P v ~Q) ~( P v Q ) <-> (~P ^ ~Q )}What makes an arguement logically sound? {Ans: An arguement is logically sound if and only if it is logically valid and its pemises are all true}What is a proof of nonconsequence? {Ans: A proof that shows that it would be possible for the claim in question to be false even if the other information is true. ** aka