P, Q, R మరియు S అనేవి ఏ విధమైన ప్రకటనలు అంటే P సత్యం అయితే, అప్పుడు Q సత్యం మరియు P అబద్ధం అయితే, Q అనేది అబద్ధం అనే ప్రకటనలు. P మరియు Q అనేవి ఏ విధమైన ప్రకటనలు:

​P, Q, R మరియు S అనేవి ఏ విధమైన ప్రకటనలు అంటే P సత్యం అయితే, అప్పుడు Q సత్యం మరియు P అబద్ధం అయితే, Q అనేది అబద్ధం అనే ప్రకటనలు సమానమైనవి.

సమానమైనవి: 

• రెండు వ్యక్తీకరణలు తార్కికంగా సమానంగా ఉంటాయి, అవి రెండు వ్యక్తీకరణలలో కనిపించే అన్ని వేరియబుల్స్ కోసం సత్య విలువల యొక్క సాధ్యమయ్యే అన్ని కలయికలకు ఒకే సత్య విలువను కలిగి ఉంటాయి.
• q నిజం అయినప్పుడల్లా p నిజమైతే p మరియు q తార్కికంగా సమానం అయినప్పుడు ప్రతిపాదనలు సమానం లేదా తార్కికంగా సమానం, మరియు దీనికి విరుద్ధంగా, మరియు p తప్పు అయినప్పుడు q తప్పు, మరియు వైస్ వెర్సా.
• p మరియు q తార్కికంగా సమానమైనట్లయితే, మేము p = q అని వ్రాస్తాము.

ఉప-విరుద్ధం: రెండూ కలిసి నిజం అయినప్పటికీ రెండూ తప్పుగా ఉండటం అసాధ్యం అయినప్పుడు ప్రతిపాదనలు ఉపవిరుద్ధంగా ఉంటాయి. ఉదాహరణకు "కొన్ని భోజనాలు ఉచితం" అనేది తప్పు, "కొన్ని భోజనాలు ఉచితం కాదు" తప్పక నిజం.

వైరుధ్యం: సాంప్రదాయిక తర్కంలో, వైరుధ్యం అనేది రెండు లేదా అంతకంటే ఎక్కువ ప్రతిపాదనల మధ్య తార్కిక అననుకూలత లేదా అసమానతను కలిగి ఉంటుంది. ప్రతిపాదనలు, కలిసి తీసుకున్నప్పుడు, తార్కిక, సాధారణంగా ఒకదానికొకటి వ్యతిరేక విలోమాలను ఏర్పరిచే రెండు ముగింపులను అందించినప్పుడు ఇది సంభవిస్తుంది. కనుక P నిజమైతే F తప్పుగా ఉండాలి.